Index of /repo_desktop_1.0/pool/Universe/c/coq/

../
coq-theories_8.3.pl4+dfsg-2_all.deb                26-Dec-2014 20:59            54375698
coq_8.3.pl4+dfsg-2.debian.tar.gz                   26-Dec-2014 22:25               16306
coq_8.3.pl4+dfsg-2.dsc                             26-Dec-2014 22:25                2343
coq_8.3.pl4+dfsg-2_i386.deb                        26-Dec-2014 20:59             4968608
coq_8.3.pl4+dfsg.orig.tar.gz                       26-Dec-2014 22:25             3154721
coqide_8.3.pl4+dfsg-2_i386.deb                     26-Dec-2014 20:59             5104178
libcoq-ocaml-dev_8.3.pl4+dfsg-2_i386.deb           26-Dec-2014 22:25             5748142
libcoq-ocaml_8.3.pl4+dfsg-2_i386.deb               26-Dec-2014 22:25             1783864