ftp://ftp.mimuw.edu.pl/mirror/ftp.inria.fr/INRIA/coq/V6.2/  direct

3.78 MB  1997-05-12v6-2-win.zip  2 mirrors
[DIR]doc/  direct  65535+ twin directories
886.29 KB  1997-05-07coq-6.2.tar.gz  2 mirrors
7.24 MB  1997-05-07coq-6.2-solaris-sparc.tar.gz  2 mirrors
6.25 MB  1997-05-07coq-6.2-linux-i386.tar.gz  2 mirrors
8.69 MB  1997-05-08coq-6.2-OSF1.tar.gz  2 mirrors
6.22 MB  1997-05-05coq-6.2-1.i386.rpm  2 mirrors
[DIR]contrib/  direct  54605+ twin directories
2.39 KB  1997-05-04README  231+ mirrors