portsurvey log for http://cristal.inria.fr

> http://cristal.inria.fr/~ddr/camlp5/ ok
> http://cristal.inria.fr/~ddr/ledit/ ok
> http://cristal.inria.fr/~ddr/ledit/distrib/src/ledit-2.00.tgz ok
> http://cristal.inria.fr/~fpottier/menhir 301 Moved Permanently - new location: http://cristal.inria.fr/~fpottier/menhir/ - ok
> http://cristal.inria.fr/~fpottier/menhir/menhir-20071212.tar.gz ok
> http://cristal.inria.fr/~xleroy/software.html ok
> http://cristal.inria.fr/~xleroy/software/spamoracle-1.4.tar.gz ok