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

../
coq-theories_8.3.pl4+dfsg-2_all.deb                06-Jun-2012 06:32            54416126
coq-theories_8.4pl2dfsg-4_all.deb                  03-Dec-2013 20:05            32156380
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-4.debian.tar.gz                     03-Dec-2013 20:05               17870
coq_8.4pl2dfsg-4.dsc                               03-Dec-2013 20:05                2356
coq_8.4pl2dfsg-4_armhf.deb                         12-Dec-2013 23:11             6905118
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-4_armhf.deb                      12-Dec-2013 23:11             1151772
libcoq-ocaml-dev_8.3.pl4+dfsg-2_armhf.deb          23-Jun-2012 02:56             2535814
libcoq-ocaml-dev_8.4pl2dfsg-4_armhf.deb            12-Dec-2013 23:11             7009942
libcoq-ocaml_8.3.pl4+dfsg-2_armhf.deb              23-Jun-2012 02:56              533226
libcoq-ocaml_8.4pl2dfsg-4_armhf.deb                12-Dec-2013 23:11             2416358