Index of /debian-archive/debian/pool/main/c/coq/
../
coq-libs_8.0pl2-2_all.deb 30-Apr-2005 11:54 3735984
coq-libs_8.0pl3-2_all.deb 19-Feb-2006 12:32 3737024
coq-libs_8.1.pl3+dfsg-1_all.deb 05-Jan-2008 09:32 12591954
coq-theories_8.2.pl2+dfsg-1_all.deb 02-Jul-2010 15:19 18387420
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_armhf.deb 30-Dec-2016 03:12 22844830
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-theories_8.6-4_s390x.deb 30-Dec-2016 05:27 22853880
coq7-libs_8.0pl2-2_all.deb 31-Mar-2005 22:17 3811428
coq7-libs_8.0pl3-2_all.deb 19-Feb-2006 12:32 3812424
coq_7.2-9.diff.gz 15-Feb-2002 19:24 4657
coq_7.2-9.dsc 15-Feb-2002 19:15 614
coq_7.2-9_i386.deb 15-Feb-2002 19:24 8177822
coq_7.2.orig.tar.gz 18-Jan-2002 21:26 1154813
coq_8.0pl2-2.diff.gz 30-Apr-2005 11:54 11086
coq_8.0pl2-2.dsc 30-Apr-2005 11:54 919
coq_8.0pl2-2_i386.deb 31-Mar-2005 22:17 6036590
coq_8.0pl2.orig.tar.gz 30-Apr-2005 11:54 2285855
coq_8.0pl3-2.diff.gz 19-Feb-2006 12:32 16289
coq_8.0pl3-2.dsc 19-Feb-2006 12:32 891
coq_8.0pl3-2_amd64.deb 31-Mar-2006 15:02 6548422
coq_8.0pl3-2_i386.deb 19-Feb-2006 12:32 6111850
coq_8.0pl3.orig.tar.gz 23-Jan-2006 22:02 2309002
coq_8.1.pl3+dfsg-1+b2_amd64.deb 23-May-2008 16:17 9037734
coq_8.1.pl3+dfsg-1+b2_i386.deb 26-May-2008 14:17 8462404
coq_8.1.pl3+dfsg-1.diff.gz 05-Jan-2008 09:32 15578
coq_8.1.pl3+dfsg-1.dsc 05-Jan-2008 09:32 1070
coq_8.1.pl3+dfsg.orig.tar.gz 05-Jan-2008 09:32 2534628
coq_8.2.pl2+dfsg-1.debian.tar.gz 02-Jul-2010 15:19 16779
coq_8.2.pl2+dfsg-1.dsc 02-Jul-2010 15:19 2157
coq_8.2.pl2+dfsg-1_amd64.deb 02-Jul-2010 15:19 15354950
coq_8.2.pl2+dfsg-1_i386.deb 02-Jul-2010 17:03 13715098
coq_8.2.pl2+dfsg-1_kfreebsd-amd64.deb 04-Jul-2010 13:48 15349872
coq_8.2.pl2+dfsg-1_kfreebsd-i386.deb 04-Jul-2010 13:18 13711196
coq_8.2.pl2+dfsg.orig.tar.gz 02-Jul-2010 15:19 3142575
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_armhf.deb 06-Jun-2012 15:32 1815196
coq_8.3.pl4+dfsg-2_i386.deb 06-Jun-2012 07:32 5070304
coq_8.3.pl4+dfsg-2_kfreebsd-amd64.deb 06-Jun-2012 20:48 5682974
coq_8.3.pl4+dfsg-2_kfreebsd-i386.deb 06-Jun-2012 10:17 5064382
coq_8.3.pl4+dfsg-2_s390x.deb 06-Jun-2012 11:17 1816018
coq_8.3.pl4+dfsg.orig.tar.gz 27-Mar-2012 07:02 3154721
coq_8.4pl4dfsg-1+b1_s390x.deb 27-Aug-2014 02:42 1161338
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_arm64.deb 11-Sep-2014 03:27 1159102
coq_8.4pl4dfsg-1_armhf.deb 27-Jul-2014 21:28 3922284
coq_8.4pl4dfsg-1_i386.deb 27-Jul-2014 16:57 3806642
coq_8.4pl4dfsg-1_kfreebsd-amd64.deb 27-Jul-2014 16:57 4197244
coq_8.4pl4dfsg-1_kfreebsd-i386.deb 27-Jul-2014 17:12 3931892
coq_8.4pl4dfsg-1_ppc64el.deb 06-Sep-2014 17:57 1159222
coq_8.4pl4dfsg.orig.tar.gz 27-Jul-2014 15:26 3527076
coq_8.6-4.debian.tar.xz 30-Dec-2016 00:56 21972
coq_8.6-4.dsc 30-Dec-2016 00:56 2396
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_armhf.deb 30-Dec-2016 03:12 13919146
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
coq_8.6-4_s390x.deb 30-Dec-2016 05:27 19121390
coq_8.6.orig.tar.gz 28-Dec-2016 13:44 5008604
coqide_8.0pl2-2_i386.deb 31-Mar-2005 22:17 4060380
coqide_8.0pl3-2_amd64.deb 31-Mar-2006 15:02 3661384
coqide_8.0pl3-2_i386.deb 19-Feb-2006 12:32 3441578
coqide_8.1.pl3+dfsg-1+b2_amd64.deb 23-May-2008 16:17 5231298
coqide_8.1.pl3+dfsg-1+b2_i386.deb 26-May-2008 14:17 4927074
coqide_8.2.pl2+dfsg-1_amd64.deb 02-Jul-2010 15:19 6553352
coqide_8.2.pl2+dfsg-1_i386.deb 02-Jul-2010 17:03 6026786
coqide_8.2.pl2+dfsg-1_kfreebsd-amd64.deb 04-Jul-2010 13:48 6551596
coqide_8.2.pl2+dfsg-1_kfreebsd-i386.deb 04-Jul-2010 13:18 6025296
coqide_8.3.pl4+dfsg-2_amd64.deb 06-Jun-2012 06:32 5622922
coqide_8.3.pl4+dfsg-2_armhf.deb 06-Jun-2012 15:32 2540494
coqide_8.3.pl4+dfsg-2_i386.deb 06-Jun-2012 07:32 5235222
coqide_8.3.pl4+dfsg-2_kfreebsd-amd64.deb 06-Jun-2012 20:48 5622352
coqide_8.3.pl4+dfsg-2_kfreebsd-i386.deb 06-Jun-2012 10:17 5232086
coqide_8.3.pl4+dfsg-2_s390x.deb 06-Jun-2012 11:17 2540582
coqide_8.4pl4dfsg-1+b1_s390x.deb 27-Aug-2014 02:42 255620
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_armhf.deb 27-Jul-2014 21:28 822990
coqide_8.4pl4dfsg-1_i386.deb 27-Jul-2014 16:57 730768
coqide_8.4pl4dfsg-1_kfreebsd-amd64.deb 27-Jul-2014 16:57 796020
coqide_8.4pl4dfsg-1_kfreebsd-i386.deb 27-Jul-2014 17:12 729110
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_armhf.deb 30-Dec-2016 03:12 1472834
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
coqide_8.6-4_s390x.deb 30-Dec-2016 05:27 1891480
libcoq-ocaml-dev_8.2.pl2+dfsg-1_amd64.deb 02-Jul-2010 15:19 6085774
libcoq-ocaml-dev_8.2.pl2+dfsg-1_i386.deb 02-Jul-2010 17:03 5933320
libcoq-ocaml-dev_8.2.pl2+dfsg-1_kfreebsd-amd64.deb 04-Jul-2010 13:48 6045384
libcoq-ocaml-dev_8.2.pl2+dfsg-1_kfreebsd-i386.deb 04-Jul-2010 13:18 5892802
libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb 06-Jun-2012 06:32 5916580
libcoq-ocaml-dev_8.3.pl4+dfsg-2_armhf.deb 06-Jun-2012 15:32 2527808
libcoq-ocaml-dev_8.3.pl4+dfsg-2_i386.deb 06-Jun-2012 07:32 5792696
libcoq-ocaml-dev_8.3.pl4+dfsg-2_kfreebsd-amd64.deb 06-Jun-2012 20:48 5886576
libcoq-ocaml-dev_8.3.pl4+dfsg-2_kfreebsd-i386.deb 06-Jun-2012 10:17 5756858
libcoq-ocaml-dev_8.3.pl4+dfsg-2_s390x.deb 06-Jun-2012 11:17 2534718
libcoq-ocaml-dev_8.4pl4dfsg-1+b1_s390x.deb 27-Aug-2014 02:42 1301882
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_armhf.deb 27-Jul-2014 21:28 4016816
libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb 27-Jul-2014 16:57 3773636
libcoq-ocaml-dev_8.4pl4dfsg-1_kfreebsd-amd64.deb 27-Jul-2014 16:57 3672530
libcoq-ocaml-dev_8.4pl4dfsg-1_kfreebsd-i386.deb 27-Jul-2014 17:12 3683282
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_armhf.deb 30-Dec-2016 03:12 14154936
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-dev_8.6-4_s390x.deb 30-Dec-2016 05:27 10055160
libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb 06-Jun-2012 06:32 2100528
libcoq-ocaml_8.3.pl4+dfsg-2_armhf.deb 06-Jun-2012 15:32 536742
libcoq-ocaml_8.3.pl4+dfsg-2_i386.deb 06-Jun-2012 07:32 1858594
libcoq-ocaml_8.3.pl4+dfsg-2_kfreebsd-amd64.deb 06-Jun-2012 20:48 2100014
libcoq-ocaml_8.3.pl4+dfsg-2_kfreebsd-i386.deb 06-Jun-2012 10:17 1862212
libcoq-ocaml_8.3.pl4+dfsg-2_s390x.deb 06-Jun-2012 11:17 536962
libcoq-ocaml_8.4pl4dfsg-1+b1_s390x.deb 27-Aug-2014 02:42 382896
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_armhf.deb 27-Jul-2014 21:28 1580148
libcoq-ocaml_8.4pl4dfsg-1_i386.deb 27-Jul-2014 16:57 1489658
libcoq-ocaml_8.4pl4dfsg-1_kfreebsd-amd64.deb 27-Jul-2014 16:57 1639262
libcoq-ocaml_8.4pl4dfsg-1_kfreebsd-i386.deb 27-Jul-2014 17:12 1490390
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_armhf.deb 30-Dec-2016 03:12 3564510
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
libcoq-ocaml_8.6-4_s390x.deb 30-Dec-2016 05:27 2375540