Homepage http://lipforge.ens-lyon.fr/www/pff/ |
Curl:7 HTTP:0 Couldn't connect to server Failed to connect to lipforge.ens-lyon.fr port 80: No route to host |
Vcs-Git git://anonscm.debian.org/pkg-ocaml-maint/packages/coq-float.git |
fatal: unable to connect to anonscm.debian.org: anonscm.debian.org[0: 194.177.211.202]: errno=Connection refused anonscm.debian.org[1: 2001:648:2ffc:deb::211:202]: errno=Network is unreachable |
Homepage http://lipforge.ens-lyon.fr/www/pff/ |
Curl:7 HTTP:0 Couldn't connect to server Failed to connect to lipforge.ens-lyon.fr port 80: No route to host |
Vcs-Git git://anonscm.debian.org/pkg-ocaml-maint/packages/coq-float.git |
fatal: unable to connect to anonscm.debian.org: anonscm.debian.org[0: 194.177.211.202]: errno=Connection refused anonscm.debian.org[1: 2001:648:2ffc:deb::211:202]: errno=Network is unreachable |
Homepage http://lipforge.ens-lyon.fr/www/pff/ |
Curl:7 HTTP:0 Couldn't connect to server Failed to connect to lipforge.ens-lyon.fr port 80: No route to host |
Vcs-Git git://anonscm.debian.org/pkg-ocaml-maint/packages/coq-float.git |
fatal: unable to connect to anonscm.debian.org: anonscm.debian.org[0: 194.177.211.202]: errno=Connection refused anonscm.debian.org[1: 2001:648:2ffc:deb::211:202]: errno=Network is unreachable |