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

../
coq-theories_8.3.pl4+dfsg-2_all.deb                06-Jun-2012 06:32            54416126
coq-theories_8.4pl3dfsg-1_all.deb                  19-Jan-2014 16:34            32108044
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.4pl3dfsg-1.debian.tar.xz                     19-Jan-2014 16:34               15800
coq_8.4pl3dfsg-1.dsc                               19-Jan-2014 16:34                2356
coq_8.4pl3dfsg-1_armhf.deb                         26-Jan-2014 11:08             3843076
coq_8.4pl3dfsg.orig.tar.gz                         19-Jan-2014 16:34             3521338
coqide_8.3.pl4+dfsg-2_armhf.deb                    23-Jun-2012 02:56             2538778
coqide_8.4pl3dfsg-1_armhf.deb                      26-Jan-2014 11:08              798614
libcoq-ocaml-dev_8.3.pl4+dfsg-2_armhf.deb          23-Jun-2012 02:56             2535814
libcoq-ocaml-dev_8.4pl3dfsg-1_armhf.deb            26-Jan-2014 11:08             3984636
libcoq-ocaml_8.3.pl4+dfsg-2_armhf.deb              23-Jun-2012 02:56              533226
libcoq-ocaml_8.4pl3dfsg-1_armhf.deb                26-Jan-2014 11:08             1539376