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.5-2+b1_amd64.deb 09-Jun-2016 13:00 32946754
coq-theories_8.5-2+b1_armel.deb 09-Jun-2016 15:42 24066706
coq-theories_8.5-2+b1_i386.deb 09-Jun-2016 12:50 31854198
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_amd64.deb 06-Jun-2012 06:32 5687430
coq_8.3.pl4+dfsg-2_armel.deb 06-Jun-2012 10:47 6114800
coq_8.3.pl4+dfsg-2_i386.deb 06-Jun-2012 07:32 5070304
coq_8.3.pl4+dfsg.orig.tar.gz 27-Mar-2012 07:02 3154721
coq_8.4pl4dfsg-1.debian.tar.xz 27-Jul-2014 15:26 15712
coq_8.4pl4dfsg-1.dsc 27-Jul-2014 15:26 2374
coq_8.4pl4dfsg-1_amd64.deb 27-Jul-2014 15:26 4047862
coq_8.4pl4dfsg-1_armel.deb 27-Jul-2014 18:28 3831960
coq_8.4pl4dfsg-1_i386.deb 27-Jul-2014 16:57 3806642
coq_8.4pl4dfsg.orig.tar.gz 27-Jul-2014 15:26 3527076
coq_8.5-2+b1_amd64.deb 09-Jun-2016 13:00 12893726
coq_8.5-2+b1_armel.deb 09-Jun-2016 15:42 12653444
coq_8.5-2+b1_i386.deb 09-Jun-2016 12:50 12621462
coq_8.5-2.debian.tar.xz 28-Jan-2016 16:58 16660
coq_8.5-2.dsc 28-Jan-2016 16:58 2396
coq_8.5.orig.tar.gz 26-Jan-2016 16:43 4824349
coqide_8.3.pl4+dfsg-2_amd64.deb 06-Jun-2012 06:32 5622922
coqide_8.3.pl4+dfsg-2_armel.deb 06-Jun-2012 10:47 6143660
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_armel.deb 27-Jul-2014 18:28 798386
coqide_8.4pl4dfsg-1_i386.deb 27-Jul-2014 16:57 730768
coqide_8.5-2+b1_amd64.deb 09-Jun-2016 13:00 1140880
coqide_8.5-2+b1_armel.deb 09-Jun-2016 15:42 1147490
coqide_8.5-2+b1_i386.deb 09-Jun-2016 12:50 1089656
libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb 06-Jun-2012 06:32 5916580
libcoq-ocaml-dev_8.3.pl4+dfsg-2_armel.deb 06-Jun-2012 10:47 7593138
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_armel.deb 27-Jul-2014 18:28 4119678
libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb 27-Jul-2014 16:57 3773636
libcoq-ocaml-dev_8.5-2+b1_amd64.deb 09-Jun-2016 13:00 13354358
libcoq-ocaml-dev_8.5-2+b1_armel.deb 09-Jun-2016 15:42 13826976
libcoq-ocaml-dev_8.5-2+b1_i386.deb 09-Jun-2016 12:50 13369558
libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb 06-Jun-2012 06:32 2100528
libcoq-ocaml_8.3.pl4+dfsg-2_armel.deb 06-Jun-2012 10:47 533858
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_armel.deb 27-Jul-2014 18:28 1538216
libcoq-ocaml_8.4pl4dfsg-1_i386.deb 27-Jul-2014 16:57 1489658
libcoq-ocaml_8.5-2+b1_amd64.deb 09-Jun-2016 13:00 3436780
libcoq-ocaml_8.5-2+b1_armel.deb 09-Jun-2016 15:42 3368314
libcoq-ocaml_8.5-2+b1_i386.deb 09-Jun-2016 12:50 3336630