Obteniendo libstdc ++ – v3 / python

Estoy intentando download libstdc ++ – v3 / python para habilitar la printing bonita de contenedores stl. Sin embargo, mi proveedor devuelve: svn: Error de nombre de host desconocido 'gcc.gnu.org' . Este es el command:

svn co svn://gcc.gnu.org/svn/gcc/trunk/libstdc++-v3/python 

¿Hay alguna forma alternativa de get este package?

intente con http: // en lugar de svn: // que sería: svn co http://gcc.gnu.org/svn/gcc/trunk/libstdc++-v3/python

Tuve el mismo problema con el que funcionó

https://gcc.gnu.org/svn/gcc/trunk/libstdc++-v3/python/