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.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 36501836
coq-theories_8.12.0-3+b3_i386.deb 25-Nov-2020 07:18 35237680
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_i386.deb 30-Dec-2016 01:57 30400702
coq-theories_8.6-4_s390x.deb 30-Dec-2016 05:27 22853880
coq-theories_8.9.0-1_amd64.deb 06-Feb-2019 18:49 29737672
coq-theories_8.9.0-1_i386.deb 06-Feb-2019 20:21 28414968
coq-theories_8.9.0-1_s390x.deb 06-Feb-2019 20:00 20367660
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_arm.deb 16-Feb-2002 11:41 8445312
coq_7.2-9_i386.deb 15-Feb-2002 19:24 8177822
coq_7.2-9_m68k.deb 18-Feb-2002 11:12 7139572
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_arm.deb 09-Apr-2005 00:18 2806890
coq_8.0pl2-2_i386.deb 31-Mar-2005 22:17 6036590
coq_8.0pl2-2_m68k.deb 02-Apr-2005 10:17 2733018
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_arm.deb 20-Feb-2006 02:47 2853944
coq_8.0pl3-2_i386.deb 19-Feb-2006 12:32 6111850
coq_8.0pl3-2_m68k.deb 23-Feb-2006 18:02 2777462
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_arm.deb 25-May-2008 09:02 4189792
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.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 90453192
coq_8.12.0-3+b3_i386.deb 25-Nov-2020 07:18 87886220
coq_8.12.0-3.debian.tar.xz 10-Sep-2020 06:38 37772
coq_8.12.0-3.dsc 10-Sep-2020 06:38 2483
coq_8.12.0.orig.tar.gz 22-Aug-2020 09:26 6008211
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_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_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.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_i386.deb 30-Dec-2016 01:57 13593774
coq_8.6-4_s390x.deb 30-Dec-2016 05:27 19121390
coq_8.6.orig.tar.gz 28-Dec-2016 13:44 5008604
coq_8.9.0-1.debian.tar.xz 06-Feb-2019 18:49 27816
coq_8.9.0-1.dsc 06-Feb-2019 18:49 2417
coq_8.9.0-1_amd64.deb 06-Feb-2019 18:49 58990560
coq_8.9.0-1_i386.deb 06-Feb-2019 20:21 56195896
coq_8.9.0-1_s390x.deb 06-Feb-2019 20:00 59188972
coq_8.9.0.orig.tar.gz 06-Feb-2019 18:49 5395769
coqide_8.0pl2-2_arm.deb 09-Apr-2005 00:18 1947512
coqide_8.0pl2-2_i386.deb 31-Mar-2005 22:17 4060380
coqide_8.0pl2-2_m68k.deb 02-Apr-2005 10:17 1957718
coqide_8.0pl3-2_amd64.deb 31-Mar-2006 15:02 3661384
coqide_8.0pl3-2_arm.deb 20-Feb-2006 02:47 1328978
coqide_8.0pl3-2_i386.deb 19-Feb-2006 12:32 3441578
coqide_8.0pl3-2_m68k.deb 23-Feb-2006 18:02 1342426
coqide_8.1.pl3+dfsg-1+b2_amd64.deb 23-May-2008 16:17 5231298
coqide_8.1.pl3+dfsg-1+b2_arm.deb 25-May-2008 09:02 2411068
coqide_8.1.pl3+dfsg-1+b2_i386.deb 26-May-2008 14:17 4927074
coqide_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 1879212
coqide_8.12.0-3+b3_i386.deb 25-Nov-2020 07:18 1723020
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_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_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.6-4_amd64.deb 30-Dec-2016 00:56 1406016
coqide_8.6-4_i386.deb 30-Dec-2016 01:57 1313916
coqide_8.6-4_s390x.deb 30-Dec-2016 05:27 1891480
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 18727404
libcoq-ocaml-dev_8.12.0-3+b3_i386.deb 25-Nov-2020 07:18 18658564
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_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_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.6-4_amd64.deb 30-Dec-2016 00:56 13289600
libcoq-ocaml-dev_8.6-4_i386.deb 30-Dec-2016 01:57 13323506
libcoq-ocaml-dev_8.6-4_s390x.deb 30-Dec-2016 05:27 10055160
libcoq-ocaml-dev_8.9.0-1_amd64.deb 06-Feb-2019 18:49 13703936
libcoq-ocaml-dev_8.9.0-1_i386.deb 06-Feb-2019 20:21 13728788
libcoq-ocaml-dev_8.9.0-1_s390x.deb 06-Feb-2019 20:00 13779508
libcoq-ocaml_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 7758156
libcoq-ocaml_8.12.0-3+b3_i386.deb 25-Nov-2020 07:18 7575772
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.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_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.6-4_amd64.deb 30-Dec-2016 00:56 3502166
libcoq-ocaml_8.6-4_i386.deb 30-Dec-2016 01:57 3401658
libcoq-ocaml_8.6-4_s390x.deb 30-Dec-2016 05:27 2375540
libcoq-ocaml_8.9.0-1_amd64.deb 06-Feb-2019 18:49 5463112
libcoq-ocaml_8.9.0-1_i386.deb 06-Feb-2019 20:21 5186088
libcoq-ocaml_8.9.0-1_s390x.deb 06-Feb-2019 20:00 5549064