Index of /old/debian/pool/main/c/coq/

../
coq-theories_8.3.pl4+dfsg-2_all.deb                03-Apr-2019 01:46            54416126
coq-theories_8.4pl4dfsg-1_all.deb                  24-Aug-2017 09:41            32177364
coq_8.3.pl4+dfsg-2.debian.tar.gz                   03-Apr-2019 02:01               16306
coq_8.3.pl4+dfsg-2.dsc                             03-Apr-2019 02:01                2343
coq_8.3.pl4+dfsg-2_amd64.deb                       03-Apr-2019 01:59             5687430
coq_8.3.pl4+dfsg-2_i386.deb                        03-Apr-2019 02:11             5070304
coq_8.3.pl4+dfsg.orig.tar.gz                       03-Apr-2019 02:01             3154721
coq_8.4pl4dfsg-1.debian.tar.xz                     03-Oct-2017 12:47               15712
coq_8.4pl4dfsg-1.dsc                               03-Oct-2017 12:47                2374
coq_8.4pl4dfsg-1_amd64.deb                         24-Aug-2017 09:29             4047862
coq_8.4pl4dfsg-1_i386.deb                          24-Aug-2017 09:21             3806642
coq_8.4pl4dfsg.orig.tar.gz                         03-Oct-2017 12:47             3527076
coqide_8.3.pl4+dfsg-2_amd64.deb                    03-Apr-2019 01:22             5622922
coqide_8.3.pl4+dfsg-2_i386.deb                     03-Apr-2019 02:07             5235222
coqide_8.4pl4dfsg-1_amd64.deb                      24-Aug-2017 09:20              797340
coqide_8.4pl4dfsg-1_i386.deb                       24-Aug-2017 09:53              730768
libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb          03-Apr-2019 02:25             5916580
libcoq-ocaml-dev_8.3.pl4+dfsg-2_i386.deb           03-Apr-2019 01:57             5792696
libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb            24-Aug-2017 09:57             3780318
libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb             24-Aug-2017 09:38             3773636
libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb              03-Apr-2019 01:43             2100528
libcoq-ocaml_8.3.pl4+dfsg-2_i386.deb               03-Apr-2019 01:24             1858594
libcoq-ocaml_8.4pl4dfsg-1_amd64.deb                24-Aug-2017 09:30             1637886
libcoq-ocaml_8.4pl4dfsg-1_i386.deb                 24-Aug-2017 09:41             1489658