Index of /201309171121/raspbian/pool/main/c/coq/

../
coq-theories_8.3.pl4+dfsg-2_all.deb                06-Jun-2012 06:32            54416126
coq-theories_8.4pl2dfsg-1_all.deb                  08-May-2013 16:55            58894970
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_armhf.deb                       23-Jun-2012 02:56             1813420
coq_8.3.pl4+dfsg.orig.tar.gz                       19-Apr-2012 00:00             3154721
coq_8.4pl2dfsg-1+b1_armhf.deb                      31-May-2013 11:38             1925634
coq_8.4pl2dfsg-1.debian.tar.gz                     08-May-2013 16:55               17375
coq_8.4pl2dfsg-1.dsc                               08-May-2013 16:55                2344
coq_8.4pl2dfsg.orig.tar.gz                         08-May-2013 16:55             3528138
coqide_8.3.pl4+dfsg-2_armhf.deb                    23-Jun-2012 02:56             2538778
coqide_8.4pl2dfsg-1+b1_armhf.deb                   31-May-2013 11:38              331062
libcoq-ocaml-dev_8.3.pl4+dfsg-2_armhf.deb          23-Jun-2012 02:56             2535814
libcoq-ocaml-dev_8.4pl2dfsg-1+b1_armhf.deb         31-May-2013 11:38             2194622
libcoq-ocaml_8.3.pl4+dfsg-2_armhf.deb              23-Jun-2012 02:56              533226
libcoq-ocaml_8.4pl2dfsg-1+b1_armhf.deb             31-May-2013 11:38              571072