Index of /debian-archive/debian-amd64/pool/main/c/coq/

../
coq-libs_8.0pl2-2_all.deb                          30-Apr-2005 11:54      4M
coq7-libs_8.0pl2-2_all.deb                         31-Mar-2005 22:17      4M
coq_8.0pl2-2.diff.gz                               30-Apr-2005 11:54     11K
coq_8.0pl2-2.dsc                                   30-Apr-2005 11:54     919
coq_8.0pl2-2_amd64.deb                             30-Apr-2005 11:54      6M
coq_8.0pl2.orig.tar.gz                             30-Apr-2005 11:54      2M
coqide_8.0pl2-2_amd64.deb                          30-Apr-2005 11:54      4M

mirror server hosted at Truenetwork, Russian Federation.