I don´t have access to my machine at the moment but I don´t think the version is particularly old. It came with the latest ubuntu distribution i downloaded a couple of months ago. You are not really doing what I was trying to do though. I had no problem with unnested explicit specializations and nested partial specializations of classes, but the problem is extremely annoying with nested specializations, that is of template member functions (perhaps they may work in non template classes, but as such they would be useless to me)
Try doing a template <class X> int foo() and a template <> foo<int>()
also try template <class X,class Y> int foo2() and template <class X> int foo2<int>()
Thanks for trying to be helpful though.