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

../
coq-libs_8.0pl2-2_all.deb                          09-Feb-2010 15:20                  63
coq7-libs_8.0pl2-2_all.deb                         09-Feb-2010 15:20                  64
coq_8.0pl2-2.diff.gz                               09-Feb-2010 15:20                  58
coq_8.0pl2-2.dsc                                   09-Feb-2010 15:20                  54
coq_8.0pl2-2_amd64.deb                             30-Apr-2005 11:54             6472292
coq_8.0pl2.orig.tar.gz                             09-Feb-2010 15:20                  60
coqide_8.0pl2-2_amd64.deb                          30-Apr-2005 11:54             4286234