I am trying to download libstdc++-v3/python to enable pretty printing of stl containers. However, my provider returns: svn: Unknown hostname 'gcc.gnu.org' error. This is the command:
svn co svn://gcc.gnu.org/svn/gcc/trunk/libstdc++-v3/python
Is there an alternative way to get this package?