Index of /debian/pool/main/c/coq/
../
coq-theories_8.3.pl4+dfsg-2_all.deb 06-Jun-2012 06:32 54416126
coq_8.3.pl4+dfsg-2.debian.tar.gz 06-Jun-2012 06:32 16306
coq_8.3.pl4+dfsg-2.dsc 06-Jun-2012 06:32 2343
coq_8.3.pl4+dfsg-2_amd64.deb 06-Jun-2012 06:32 5687430
coq_8.3.pl4+dfsg.orig.tar.gz 27-Mar-2012 07:02 3154721
coqide_8.3.pl4+dfsg-2_amd64.deb 06-Jun-2012 06:32 5622922
libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb 06-Jun-2012 06:32 5916580
libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb 06-Jun-2012 06:32 2100528