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

> http://coq.inria.fr/ ok
> http://coq.inria.fr/V8.1pl3/files/coq-8.1pl3.tar.gz ok