Index of /debian/pool/main/c/coq/
../
coq-theories_8.3.pl4+dfsg-2_all.deb 06-Jun-2012 06:32 54416126
coq-theories_8.4pl4dfsg-1_all.deb 27-Jul-2014 15:26 32177364
coq-theories_8.6-4_amd64.deb 30-Dec-2016 00:56 31441296
coq-theories_8.6-4_arm64.deb 30-Dec-2016 01:57 22857022
coq-theories_8.6-4_i386.deb 30-Dec-2016 01:57 30400702
coq-theories_8.6-4_mips64el.deb 30-Dec-2016 14:29 22853882
coq-theories_8.6-4_ppc64el.deb 30-Dec-2016 03:57 22853882
coq_8.3.pl4+dfsg-2_amd64.deb 06-Jun-2012 06:32 5687430
coq_8.3.pl4+dfsg-2_i386.deb 06-Jun-2012 07:32 5070304
coq_8.4pl4dfsg-1.debian.tar.xz 27-Jul-2014 15:26 15712
coq_8.4pl4dfsg-1_amd64.deb 27-Jul-2014 15:26 4047862
coq_8.4pl4dfsg-1_arm64.deb 11-Sep-2014 03:27 1159102
coq_8.4pl4dfsg-1_i386.deb 27-Jul-2014 16:57 3806642
coq_8.4pl4dfsg-1_ppc64el.deb 06-Sep-2014 17:57 1159222
coq_8.6-4.debian.tar.xz 30-Dec-2016 00:56 21972
coq_8.6-4_amd64.deb 30-Dec-2016 00:56 13953402
coq_8.6-4_arm64.deb 30-Dec-2016 01:57 13825574
coq_8.6-4_i386.deb 30-Dec-2016 01:57 13593774
coq_8.6-4_mips64el.deb 30-Dec-2016 14:29 19119940
coq_8.6-4_ppc64el.deb 30-Dec-2016 03:57 19118778
coqide_8.3.pl4+dfsg-2_amd64.deb 06-Jun-2012 06:32 5622922
coqide_8.3.pl4+dfsg-2_i386.deb 06-Jun-2012 07:32 5235222
coqide_8.4pl4dfsg-1_amd64.deb 27-Jul-2014 15:26 797340
coqide_8.4pl4dfsg-1_arm64.deb 11-Sep-2014 03:27 255318
coqide_8.4pl4dfsg-1_i386.deb 27-Jul-2014 16:57 730768
coqide_8.4pl4dfsg-1_ppc64el.deb 06-Sep-2014 17:57 255434
coqide_8.6-4_amd64.deb 30-Dec-2016 00:56 1406016
coqide_8.6-4_arm64.deb 30-Dec-2016 01:57 1423986
coqide_8.6-4_i386.deb 30-Dec-2016 01:57 1313916
coqide_8.6-4_mips64el.deb 30-Dec-2016 14:29 1891524
coqide_8.6-4_ppc64el.deb 30-Dec-2016 03:57 1891522
libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb 06-Jun-2012 06:32 5916580
libcoq-ocaml-dev_8.3.pl4+dfsg-2_i386.deb 06-Jun-2012 07:32 5792696
libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb 27-Jul-2014 15:26 3780318
libcoq-ocaml-dev_8.4pl4dfsg-1_arm64.deb 11-Sep-2014 03:27 1299350
libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb 27-Jul-2014 16:57 3773636
libcoq-ocaml-dev_8.4pl4dfsg-1_ppc64el.deb 06-Sep-2014 17:57 1299032
libcoq-ocaml-dev_8.6-4_amd64.deb 30-Dec-2016 00:56 13289600
libcoq-ocaml-dev_8.6-4_arm64.deb 30-Dec-2016 01:57 13517276
libcoq-ocaml-dev_8.6-4_i386.deb 30-Dec-2016 01:57 13323506
libcoq-ocaml-dev_8.6-4_mips64el.deb 30-Dec-2016 14:29 10051066
libcoq-ocaml-dev_8.6-4_ppc64el.deb 30-Dec-2016 03:57 10055118
libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb 06-Jun-2012 06:32 2100528
libcoq-ocaml_8.3.pl4+dfsg-2_i386.deb 06-Jun-2012 07:32 1858594
libcoq-ocaml_8.4pl4dfsg-1_amd64.deb 27-Jul-2014 15:26 1637886
libcoq-ocaml_8.4pl4dfsg-1_arm64.deb 11-Sep-2014 03:27 380256
libcoq-ocaml_8.4pl4dfsg-1_i386.deb 27-Jul-2014 16:57 1489658
libcoq-ocaml_8.4pl4dfsg-1_ppc64el.deb 06-Sep-2014 17:57 381146
libcoq-ocaml_8.6-4_amd64.deb 30-Dec-2016 00:56 3502166
libcoq-ocaml_8.6-4_arm64.deb 30-Dec-2016 01:57 3479538
libcoq-ocaml_8.6-4_i386.deb 30-Dec-2016 01:57 3401658
libcoq-ocaml_8.6-4_mips64el.deb 30-Dec-2016 14:29 2373916
libcoq-ocaml_8.6-4_ppc64el.deb 30-Dec-2016 03:57 2374188