Index of /debian-archive/debian/pool/main/c/coq/
../
coq-libs_8.0pl2-2_all.deb 30-Apr-2005 19:54 3735984
coq-libs_8.0pl3-2_all.deb 19-Feb-2006 20:32 3737024
coq-libs_8.1.pl3+dfsg-1_all.deb 05-Jan-2008 17:32 12591954
coq-theories_8.2.pl2+dfsg-1_all.deb 02-Jul-2010 23:19 18387420
coq-theories_8.3.pl4+dfsg-2_all.deb 06-Jun-2012 14:32 54416126
coq-theories_8.4pl4dfsg-1_all.deb 27-Jul-2014 23:26 32177364
coq-theories_8.6-4_amd64.deb 30-Dec-2016 08:56 31441296
coq-theories_8.6-4_arm64.deb 30-Dec-2016 09:57 22857022
coq-theories_8.6-4_armel.deb 30-Dec-2016 11:12 22844230
coq-theories_8.6-4_armhf.deb 30-Dec-2016 11:12 22844830
coq-theories_8.6-4_i386.deb 30-Dec-2016 09:57 30400702
coq-theories_8.6-4_mips.deb 30-Dec-2016 15:57 22842806
coq-theories_8.6-4_mips64el.deb 30-Dec-2016 22:29 22853882
coq-theories_8.6-4_mipsel.deb 30-Dec-2016 15:57 22842810
coq-theories_8.6-4_ppc64el.deb 30-Dec-2016 11:57 22853882
coq-theories_8.6-4_s390x.deb 30-Dec-2016 13:27 22853880
coq-theories_8.9.0-1_amd64.deb 07-Feb-2019 02:49 29737672
coq-theories_8.9.0-1_arm64.deb 07-Feb-2019 04:26 20367676
coq-theories_8.9.0-1_armel.deb 07-Feb-2019 09:44 20356976
coq-theories_8.9.0-1_armhf.deb 08-Feb-2019 05:15 20351780
coq-theories_8.9.0-1_i386.deb 07-Feb-2019 04:21 28414968
coq-theories_8.9.0-1_mips.deb 07-Feb-2019 11:15 20356988
coq-theories_8.9.0-1_mips64el.deb 09-Feb-2019 16:29 20360508
coq-theories_8.9.0-1_mipsel.deb 07-Feb-2019 08:59 20357060
coq-theories_8.9.0-1_ppc64el.deb 07-Feb-2019 04:00 20367644
coq-theories_8.9.0-1_s390x.deb 07-Feb-2019 04:00 20367660
coq7-libs_8.0pl2-2_all.deb 01-Apr-2005 06:17 3811428
coq7-libs_8.0pl3-2_all.deb 19-Feb-2006 20:32 3812424
coq_7.2-9.diff.gz 16-Feb-2002 03:24 4657
coq_7.2-9.dsc 16-Feb-2002 03:15 614
coq_7.2-9_alpha.deb 17-Feb-2002 02:22 8892520
coq_7.2-9_arm.deb 16-Feb-2002 19:41 8445312
coq_7.2-9_hppa.deb 17-Feb-2002 02:11 7311624
coq_7.2-9_i386.deb 16-Feb-2002 03:24 8177822
coq_7.2-9_ia64.deb 17-Feb-2002 02:11 9913178
coq_7.2-9_m68k.deb 18-Feb-2002 19:12 7139572
coq_7.2-9_mips.deb 17-Feb-2002 02:33 7232596
coq_7.2-9_mipsel.deb 17-Feb-2002 02:32 7228090
coq_7.2-9_powerpc.deb 17-Feb-2002 02:36 7202830
coq_7.2-9_s390.deb 16-Feb-2002 22:14 7207838
coq_7.2-9_sparc.deb 17-Feb-2002 02:32 7232914
coq_7.2.orig.tar.gz 19-Jan-2002 05:26 1154813
coq_8.0pl2-2.diff.gz 30-Apr-2005 19:54 11086
coq_8.0pl2-2.dsc 30-Apr-2005 19:54 919
coq_8.0pl2-2_alpha.deb 01-Apr-2005 11:17 2957850
coq_8.0pl2-2_arm.deb 09-Apr-2005 08:18 2806890
coq_8.0pl2-2_hppa.deb 01-Apr-2005 09:32 7302358
coq_8.0pl2-2_i386.deb 01-Apr-2005 06:17 6036590
coq_8.0pl2-2_ia64.deb 01-Apr-2005 09:47 3115068
coq_8.0pl2-2_m68k.deb 02-Apr-2005 18:17 2733018
coq_8.0pl2-2_mips.deb 05-Apr-2005 02:02 2863124
coq_8.0pl2-2_mipsel.deb 01-Apr-2005 11:02 2852156
coq_8.0pl2-2_powerpc.deb 01-Apr-2005 08:02 6892466
coq_8.0pl2-2_s390.deb 01-Apr-2005 16:32 2917776
coq_8.0pl2-2_sparc.deb 01-Apr-2005 10:17 6973870
coq_8.0pl2.orig.tar.gz 30-Apr-2005 19:54 2285855
coq_8.0pl3-2.diff.gz 19-Feb-2006 20:32 16289
coq_8.0pl3-2.dsc 19-Feb-2006 20:32 891
coq_8.0pl3-2_alpha.deb 21-Feb-2006 01:02 3001872
coq_8.0pl3-2_amd64.deb 31-Mar-2006 23:02 6548422
coq_8.0pl3-2_arm.deb 20-Feb-2006 10:47 2853944
coq_8.0pl3-2_hppa.deb 20-Feb-2006 01:47 2966628
coq_8.0pl3-2_i386.deb 19-Feb-2006 20:32 6111850
coq_8.0pl3-2_ia64.deb 20-Feb-2006 01:47 3150492
coq_8.0pl3-2_m68k.deb 24-Feb-2006 02:02 2777462
coq_8.0pl3-2_mips.deb 21-Feb-2006 01:02 2928348
coq_8.0pl3-2_mipsel.deb 21-Feb-2006 01:02 2919320
coq_8.0pl3-2_powerpc.deb 21-Feb-2006 01:02 6949524
coq_8.0pl3-2_s390.deb 20-Feb-2006 05:47 2972826
coq_8.0pl3-2_sparc.deb 20-Feb-2006 10:47 7047766
coq_8.0pl3.orig.tar.gz 24-Jan-2006 06:02 2309002
coq_8.1.pl3+dfsg-1+b2_alpha.deb 25-May-2008 02:02 4340136
coq_8.1.pl3+dfsg-1+b2_amd64.deb 24-May-2008 00:17 9037734
coq_8.1.pl3+dfsg-1+b2_arm.deb 25-May-2008 17:02 4189792
coq_8.1.pl3+dfsg-1+b2_armel.deb 25-May-2008 07:17 4215114
coq_8.1.pl3+dfsg-1+b2_hppa.deb 29-May-2008 20:32 4280344
coq_8.1.pl3+dfsg-1+b2_i386.deb 26-May-2008 22:17 8462404
coq_8.1.pl3+dfsg-1+b2_ia64.deb 27-May-2008 20:32 4475450
coq_8.1.pl3+dfsg-1+b2_mips.deb 28-May-2008 00:17 4244448
coq_8.1.pl3+dfsg-1+b2_mipsel.deb 25-May-2008 02:02 4231274
coq_8.1.pl3+dfsg-1+b2_powerpc.deb 29-May-2008 01:47 9458428
coq_8.1.pl3+dfsg-1+b2_s390.deb 26-May-2008 02:47 4327428
coq_8.1.pl3+dfsg-1+b2_sparc.deb 24-May-2008 17:02 9467546
coq_8.1.pl3+dfsg-1.diff.gz 05-Jan-2008 17:32 15578
coq_8.1.pl3+dfsg-1.dsc 05-Jan-2008 17:32 1070
coq_8.1.pl3+dfsg.orig.tar.gz 05-Jan-2008 17:32 2534628
coq_8.2.pl2+dfsg-1.debian.tar.gz 02-Jul-2010 23:19 16779
coq_8.2.pl2+dfsg-1.dsc 02-Jul-2010 23:19 2157
coq_8.2.pl2+dfsg-1_amd64.deb 02-Jul-2010 23:19 15354950
coq_8.2.pl2+dfsg-1_armel.deb 04-Jul-2010 04:17 3672400
coq_8.2.pl2+dfsg-1_i386.deb 03-Jul-2010 01:03 13715098
coq_8.2.pl2+dfsg-1_ia64.deb 04-Jul-2010 04:47 3674122
coq_8.2.pl2+dfsg-1_kfreebsd-amd64.deb 04-Jul-2010 21:48 15349872
coq_8.2.pl2+dfsg-1_kfreebsd-i386.deb 04-Jul-2010 21:18 13711196
coq_8.2.pl2+dfsg-1_mips.deb 04-Jul-2010 20:48 3669694
coq_8.2.pl2+dfsg-1_mipsel.deb 03-Jul-2010 14:32 3671134
coq_8.2.pl2+dfsg-1_powerpc.deb 04-Jul-2010 00:42 15379668
coq_8.2.pl2+dfsg-1_s390.deb 04-Jul-2010 00:42 3671858
coq_8.2.pl2+dfsg-1_sparc.deb 04-Jul-2010 21:18 15448118
coq_8.2.pl2+dfsg.orig.tar.gz 02-Jul-2010 23:19 3142575
coq_8.3.pl4+dfsg-2.debian.tar.gz 06-Jun-2012 14:32 16306
coq_8.3.pl4+dfsg-2.dsc 06-Jun-2012 14:32 2343
coq_8.3.pl4+dfsg-2_amd64.deb 06-Jun-2012 14:32 5687430
coq_8.3.pl4+dfsg-2_armel.deb 06-Jun-2012 18:47 6114800
coq_8.3.pl4+dfsg-2_armhf.deb 06-Jun-2012 23:32 1815196
coq_8.3.pl4+dfsg-2_i386.deb 06-Jun-2012 15:32 5070304
coq_8.3.pl4+dfsg-2_ia64.deb 08-Jun-2012 03:03 1814536
coq_8.3.pl4+dfsg-2_kfreebsd-amd64.deb 07-Jun-2012 04:48 5682974
coq_8.3.pl4+dfsg-2_kfreebsd-i386.deb 06-Jun-2012 18:17 5064382
coq_8.3.pl4+dfsg-2_mips.deb 08-Jun-2012 23:19 1814058
coq_8.3.pl4+dfsg-2_mipsel.deb 06-Jun-2012 20:32 1814598
coq_8.3.pl4+dfsg-2_powerpc.deb 06-Jun-2012 17:02 5561510
coq_8.3.pl4+dfsg-2_s390.deb 06-Jun-2012 18:17 1813750
coq_8.3.pl4+dfsg-2_s390x.deb 06-Jun-2012 19:17 1816018
coq_8.3.pl4+dfsg-2_sparc.deb 06-Jun-2012 18:32 5420652
coq_8.3.pl4+dfsg.orig.tar.gz 27-Mar-2012 15:02 3154721
coq_8.4pl4dfsg-1+b1_s390x.deb 27-Aug-2014 10:42 1161338
coq_8.4pl4dfsg-1.debian.tar.xz 27-Jul-2014 23:26 15712
coq_8.4pl4dfsg-1.dsc 27-Jul-2014 23:26 2374
coq_8.4pl4dfsg-1_amd64.deb 27-Jul-2014 23:26 4047862
coq_8.4pl4dfsg-1_arm64.deb 11-Sep-2014 11:27 1159102
coq_8.4pl4dfsg-1_armel.deb 28-Jul-2014 02:28 3831960
coq_8.4pl4dfsg-1_armhf.deb 28-Jul-2014 05:28 3922284
coq_8.4pl4dfsg-1_i386.deb 28-Jul-2014 00:57 3806642
coq_8.4pl4dfsg-1_kfreebsd-amd64.deb 28-Jul-2014 00:57 4197244
coq_8.4pl4dfsg-1_kfreebsd-i386.deb 28-Jul-2014 01:12 3931892
coq_8.4pl4dfsg-1_mips.deb 31-Jul-2014 22:58 1159540
coq_8.4pl4dfsg-1_mipsel.deb 28-Jul-2014 10:14 1161922
coq_8.4pl4dfsg-1_powerpc.deb 28-Jul-2014 01:28 3541356
coq_8.4pl4dfsg-1_ppc64el.deb 07-Sep-2014 01:57 1159222
coq_8.4pl4dfsg.orig.tar.gz 27-Jul-2014 23:26 3527076
coq_8.6-4.debian.tar.xz 30-Dec-2016 08:56 21972
coq_8.6-4.dsc 30-Dec-2016 08:56 2396
coq_8.6-4_amd64.deb 30-Dec-2016 08:56 13953402
coq_8.6-4_arm64.deb 30-Dec-2016 09:57 13825574
coq_8.6-4_armel.deb 30-Dec-2016 11:12 13837218
coq_8.6-4_armhf.deb 30-Dec-2016 11:12 13919146
coq_8.6-4_i386.deb 30-Dec-2016 09:57 13593774
coq_8.6-4_mips.deb 30-Dec-2016 15:57 19122308
coq_8.6-4_mips64el.deb 30-Dec-2016 22:29 19119940
coq_8.6-4_mipsel.deb 30-Dec-2016 15:57 19119318
coq_8.6-4_ppc64el.deb 30-Dec-2016 11:57 19118778
coq_8.6-4_s390x.deb 30-Dec-2016 13:27 19121390
coq_8.6.orig.tar.gz 28-Dec-2016 21:44 5008604
coq_8.9.0-1.debian.tar.xz 07-Feb-2019 02:49 27816
coq_8.9.0-1.dsc 07-Feb-2019 02:49 2417
coq_8.9.0-1_amd64.deb 07-Feb-2019 02:49 58990560
coq_8.9.0-1_arm64.deb 07-Feb-2019 04:26 63337232
coq_8.9.0-1_armel.deb 07-Feb-2019 09:44 50026616
coq_8.9.0-1_armhf.deb 08-Feb-2019 05:15 57327100
coq_8.9.0-1_i386.deb 07-Feb-2019 04:21 56195896
coq_8.9.0-1_mips.deb 07-Feb-2019 11:15 50024004
coq_8.9.0-1_mips64el.deb 09-Feb-2019 16:29 50027828
coq_8.9.0-1_mipsel.deb 07-Feb-2019 08:59 50022696
coq_8.9.0-1_ppc64el.deb 07-Feb-2019 04:00 60343172
coq_8.9.0-1_s390x.deb 07-Feb-2019 04:00 59188972
coq_8.9.0.orig.tar.gz 07-Feb-2019 02:49 5395769
coqide_8.0pl2-2_alpha.deb 01-Apr-2005 11:17 1996090
coqide_8.0pl2-2_arm.deb 09-Apr-2005 08:18 1947512
coqide_8.0pl2-2_hppa.deb 01-Apr-2005 09:32 4758962
coqide_8.0pl2-2_i386.deb 01-Apr-2005 06:17 4060380
coqide_8.0pl2-2_ia64.deb 01-Apr-2005 09:47 2014130
coqide_8.0pl2-2_m68k.deb 02-Apr-2005 18:17 1957718
coqide_8.0pl2-2_mips.deb 05-Apr-2005 02:02 1964058
coqide_8.0pl2-2_mipsel.deb 01-Apr-2005 11:02 1953174
coqide_8.0pl2-2_powerpc.deb 01-Apr-2005 08:02 4518872
coqide_8.0pl2-2_s390.deb 01-Apr-2005 16:32 2006342
coqide_8.0pl2-2_sparc.deb 01-Apr-2005 10:17 4593526
coqide_8.0pl3-2_alpha.deb 21-Feb-2006 01:02 1373320
coqide_8.0pl3-2_amd64.deb 31-Mar-2006 23:02 3661384
coqide_8.0pl3-2_arm.deb 20-Feb-2006 10:47 1328978
coqide_8.0pl3-2_hppa.deb 20-Feb-2006 01:47 1366816
coqide_8.0pl3-2_i386.deb 19-Feb-2006 20:32 3441578
coqide_8.0pl3-2_ia64.deb 20-Feb-2006 01:47 1398014
coqide_8.0pl3-2_m68k.deb 24-Feb-2006 02:02 1342426
coqide_8.0pl3-2_mips.deb 21-Feb-2006 01:02 1355080
coqide_8.0pl3-2_mipsel.deb 21-Feb-2006 01:02 1345776
coqide_8.0pl3-2_powerpc.deb 21-Feb-2006 01:02 3893270
coqide_8.0pl3-2_s390.deb 20-Feb-2006 05:47 1388278
coqide_8.0pl3-2_sparc.deb 20-Feb-2006 10:47 3976640
coqide_8.1.pl3+dfsg-1+b2_alpha.deb 25-May-2008 02:02 2468442
coqide_8.1.pl3+dfsg-1+b2_amd64.deb 24-May-2008 00:17 5231298
coqide_8.1.pl3+dfsg-1+b2_arm.deb 25-May-2008 17:02 2411068
coqide_8.1.pl3+dfsg-1+b2_armel.deb 25-May-2008 07:17 2416304
coqide_8.1.pl3+dfsg-1+b2_hppa.deb 29-May-2008 20:32 2446578
coqide_8.1.pl3+dfsg-1+b2_i386.deb 26-May-2008 22:17 4927074
coqide_8.1.pl3+dfsg-1+b2_ia64.deb 27-May-2008 20:32 2499366
coqide_8.1.pl3+dfsg-1+b2_mips.deb 28-May-2008 00:17 2437054
coqide_8.1.pl3+dfsg-1+b2_mipsel.deb 25-May-2008 02:02 2425922
coqide_8.1.pl3+dfsg-1+b2_powerpc.deb 29-May-2008 01:47 5502946
coqide_8.1.pl3+dfsg-1+b2_s390.deb 26-May-2008 02:47 2498854
coqide_8.1.pl3+dfsg-1+b2_sparc.deb 24-May-2008 17:02 5512680
coqide_8.2.pl2+dfsg-1_amd64.deb 02-Jul-2010 23:19 6553352
coqide_8.2.pl2+dfsg-1_armel.deb 04-Jul-2010 04:17 2415730
coqide_8.2.pl2+dfsg-1_i386.deb 03-Jul-2010 01:03 6026786
coqide_8.2.pl2+dfsg-1_ia64.deb 04-Jul-2010 04:47 2414104
coqide_8.2.pl2+dfsg-1_kfreebsd-amd64.deb 04-Jul-2010 21:48 6551596
coqide_8.2.pl2+dfsg-1_kfreebsd-i386.deb 04-Jul-2010 21:18 6025296
coqide_8.2.pl2+dfsg-1_mips.deb 04-Jul-2010 20:48 2417016
coqide_8.2.pl2+dfsg-1_mipsel.deb 03-Jul-2010 14:32 2416978
coqide_8.2.pl2+dfsg-1_powerpc.deb 04-Jul-2010 00:42 6594842
coqide_8.2.pl2+dfsg-1_s390.deb 04-Jul-2010 00:42 2414068
coqide_8.2.pl2+dfsg-1_sparc.deb 04-Jul-2010 21:18 6638150
coqide_8.3.pl4+dfsg-2_amd64.deb 06-Jun-2012 14:32 5622922
coqide_8.3.pl4+dfsg-2_armel.deb 06-Jun-2012 18:47 6143660
coqide_8.3.pl4+dfsg-2_armhf.deb 06-Jun-2012 23:32 2540494
coqide_8.3.pl4+dfsg-2_i386.deb 06-Jun-2012 15:32 5235222
coqide_8.3.pl4+dfsg-2_ia64.deb 08-Jun-2012 03:03 2537104
coqide_8.3.pl4+dfsg-2_kfreebsd-amd64.deb 07-Jun-2012 04:48 5622352
coqide_8.3.pl4+dfsg-2_kfreebsd-i386.deb 06-Jun-2012 18:17 5232086
coqide_8.3.pl4+dfsg-2_mips.deb 08-Jun-2012 23:19 2537176
coqide_8.3.pl4+dfsg-2_mipsel.deb 06-Jun-2012 20:32 2537114
coqide_8.3.pl4+dfsg-2_powerpc.deb 06-Jun-2012 17:02 5641354
coqide_8.3.pl4+dfsg-2_s390.deb 06-Jun-2012 18:17 2538698
coqide_8.3.pl4+dfsg-2_s390x.deb 06-Jun-2012 19:17 2540582
coqide_8.3.pl4+dfsg-2_sparc.deb 06-Jun-2012 18:32 5495184
coqide_8.4pl4dfsg-1+b1_s390x.deb 27-Aug-2014 10:42 255620
coqide_8.4pl4dfsg-1_amd64.deb 27-Jul-2014 23:26 797340
coqide_8.4pl4dfsg-1_arm64.deb 11-Sep-2014 11:27 255318
coqide_8.4pl4dfsg-1_armel.deb 28-Jul-2014 02:28 798386
coqide_8.4pl4dfsg-1_armhf.deb 28-Jul-2014 05:28 822990
coqide_8.4pl4dfsg-1_i386.deb 28-Jul-2014 00:57 730768
coqide_8.4pl4dfsg-1_kfreebsd-amd64.deb 28-Jul-2014 00:57 796020
coqide_8.4pl4dfsg-1_kfreebsd-i386.deb 28-Jul-2014 01:12 729110
coqide_8.4pl4dfsg-1_mips.deb 31-Jul-2014 22:58 255270
coqide_8.4pl4dfsg-1_mipsel.deb 28-Jul-2014 10:14 255266
coqide_8.4pl4dfsg-1_powerpc.deb 28-Jul-2014 01:28 695646
coqide_8.4pl4dfsg-1_ppc64el.deb 07-Sep-2014 01:57 255434
coqide_8.6-4_amd64.deb 30-Dec-2016 08:56 1406016
coqide_8.6-4_arm64.deb 30-Dec-2016 09:57 1423986
coqide_8.6-4_armel.deb 30-Dec-2016 11:12 1434024
coqide_8.6-4_armhf.deb 30-Dec-2016 11:12 1472834
coqide_8.6-4_i386.deb 30-Dec-2016 09:57 1313916
coqide_8.6-4_mips.deb 30-Dec-2016 15:57 1891224
coqide_8.6-4_mips64el.deb 30-Dec-2016 22:29 1891524
coqide_8.6-4_mipsel.deb 30-Dec-2016 15:57 1891696
coqide_8.6-4_ppc64el.deb 30-Dec-2016 11:57 1891522
coqide_8.6-4_s390x.deb 30-Dec-2016 13:27 1891480
libcoq-ocaml-dev_8.2.pl2+dfsg-1_amd64.deb 02-Jul-2010 23:19 6085774
libcoq-ocaml-dev_8.2.pl2+dfsg-1_armel.deb 04-Jul-2010 04:17 1974452
libcoq-ocaml-dev_8.2.pl2+dfsg-1_i386.deb 03-Jul-2010 01:03 5933320
libcoq-ocaml-dev_8.2.pl2+dfsg-1_ia64.deb 04-Jul-2010 04:47 1959594
libcoq-ocaml-dev_8.2.pl2+dfsg-1_kfreebsd-amd64.deb 04-Jul-2010 21:48 6045384
libcoq-ocaml-dev_8.2.pl2+dfsg-1_kfreebsd-i386.deb 04-Jul-2010 21:18 5892802
libcoq-ocaml-dev_8.2.pl2+dfsg-1_mips.deb 04-Jul-2010 20:48 1961684
libcoq-ocaml-dev_8.2.pl2+dfsg-1_mipsel.deb 03-Jul-2010 14:32 1972174
libcoq-ocaml-dev_8.2.pl2+dfsg-1_powerpc.deb 04-Jul-2010 00:42 7045796
libcoq-ocaml-dev_8.2.pl2+dfsg-1_s390.deb 04-Jul-2010 00:42 1959626
libcoq-ocaml-dev_8.2.pl2+dfsg-1_sparc.deb 04-Jul-2010 21:18 6737102
libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb 06-Jun-2012 14:32 5916580
libcoq-ocaml-dev_8.3.pl4+dfsg-2_armel.deb 06-Jun-2012 18:47 7593138
libcoq-ocaml-dev_8.3.pl4+dfsg-2_armhf.deb 06-Jun-2012 23:32 2527808
libcoq-ocaml-dev_8.3.pl4+dfsg-2_i386.deb 06-Jun-2012 15:32 5792696
libcoq-ocaml-dev_8.3.pl4+dfsg-2_ia64.deb 08-Jun-2012 03:03 2517172
libcoq-ocaml-dev_8.3.pl4+dfsg-2_kfreebsd-amd64.deb 07-Jun-2012 04:48 5886576
libcoq-ocaml-dev_8.3.pl4+dfsg-2_kfreebsd-i386.deb 06-Jun-2012 18:17 5756858
libcoq-ocaml-dev_8.3.pl4+dfsg-2_mips.deb 08-Jun-2012 23:19 2532442
libcoq-ocaml-dev_8.3.pl4+dfsg-2_mipsel.deb 06-Jun-2012 20:32 2517260
libcoq-ocaml-dev_8.3.pl4+dfsg-2_powerpc.deb 06-Jun-2012 17:02 6731066
libcoq-ocaml-dev_8.3.pl4+dfsg-2_s390.deb 06-Jun-2012 18:17 2528170
libcoq-ocaml-dev_8.3.pl4+dfsg-2_s390x.deb 06-Jun-2012 19:17 2534718
libcoq-ocaml-dev_8.3.pl4+dfsg-2_sparc.deb 06-Jun-2012 18:32 6440270
libcoq-ocaml-dev_8.4pl4dfsg-1+b1_s390x.deb 27-Aug-2014 10:42 1301882
libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb 27-Jul-2014 23:26 3780318
libcoq-ocaml-dev_8.4pl4dfsg-1_arm64.deb 11-Sep-2014 11:27 1299350
libcoq-ocaml-dev_8.4pl4dfsg-1_armel.deb 28-Jul-2014 02:28 4119678
libcoq-ocaml-dev_8.4pl4dfsg-1_armhf.deb 28-Jul-2014 05:28 4016816
libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb 28-Jul-2014 00:57 3773636
libcoq-ocaml-dev_8.4pl4dfsg-1_kfreebsd-amd64.deb 28-Jul-2014 00:57 3672530
libcoq-ocaml-dev_8.4pl4dfsg-1_kfreebsd-i386.deb 28-Jul-2014 01:12 3683282
libcoq-ocaml-dev_8.4pl4dfsg-1_mips.deb 31-Jul-2014 22:58 1298830
libcoq-ocaml-dev_8.4pl4dfsg-1_mipsel.deb 28-Jul-2014 10:14 1299664
libcoq-ocaml-dev_8.4pl4dfsg-1_powerpc.deb 28-Jul-2014 01:28 3665584
libcoq-ocaml-dev_8.4pl4dfsg-1_ppc64el.deb 07-Sep-2014 01:57 1299032
libcoq-ocaml-dev_8.6-4_amd64.deb 30-Dec-2016 08:56 13289600
libcoq-ocaml-dev_8.6-4_arm64.deb 30-Dec-2016 09:57 13517276
libcoq-ocaml-dev_8.6-4_armel.deb 30-Dec-2016 11:12 14109130
libcoq-ocaml-dev_8.6-4_armhf.deb 30-Dec-2016 11:12 14154936
libcoq-ocaml-dev_8.6-4_i386.deb 30-Dec-2016 09:57 13323506
libcoq-ocaml-dev_8.6-4_mips.deb 30-Dec-2016 15:57 10052340
libcoq-ocaml-dev_8.6-4_mips64el.deb 30-Dec-2016 22:29 10051066
libcoq-ocaml-dev_8.6-4_mipsel.deb 30-Dec-2016 15:57 10053978
libcoq-ocaml-dev_8.6-4_ppc64el.deb 30-Dec-2016 11:57 10055118
libcoq-ocaml-dev_8.6-4_s390x.deb 30-Dec-2016 13:27 10055160
libcoq-ocaml-dev_8.9.0-1_amd64.deb 07-Feb-2019 02:49 13703936
libcoq-ocaml-dev_8.9.0-1_arm64.deb 07-Feb-2019 04:26 14001864
libcoq-ocaml-dev_8.9.0-1_armel.deb 07-Feb-2019 09:44 7940984
libcoq-ocaml-dev_8.9.0-1_armhf.deb 08-Feb-2019 05:15 14391840
libcoq-ocaml-dev_8.9.0-1_i386.deb 07-Feb-2019 04:21 13728788
libcoq-ocaml-dev_8.9.0-1_mips.deb 07-Feb-2019 11:15 7940256
libcoq-ocaml-dev_8.9.0-1_mips64el.deb 09-Feb-2019 16:29 7940696
libcoq-ocaml-dev_8.9.0-1_mipsel.deb 07-Feb-2019 08:59 7940648
libcoq-ocaml-dev_8.9.0-1_ppc64el.deb 07-Feb-2019 04:00 14094956
libcoq-ocaml-dev_8.9.0-1_s390x.deb 07-Feb-2019 04:00 13779508
libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb 06-Jun-2012 14:32 2100528
libcoq-ocaml_8.3.pl4+dfsg-2_armel.deb 06-Jun-2012 18:47 533858
libcoq-ocaml_8.3.pl4+dfsg-2_armhf.deb 06-Jun-2012 23:32 536742
libcoq-ocaml_8.3.pl4+dfsg-2_i386.deb 06-Jun-2012 15:32 1858594
libcoq-ocaml_8.3.pl4+dfsg-2_ia64.deb 08-Jun-2012 03:03 536648
libcoq-ocaml_8.3.pl4+dfsg-2_kfreebsd-amd64.deb 07-Jun-2012 04:48 2100014
libcoq-ocaml_8.3.pl4+dfsg-2_kfreebsd-i386.deb 06-Jun-2012 18:17 1862212
libcoq-ocaml_8.3.pl4+dfsg-2_mips.deb 08-Jun-2012 23:19 533874
libcoq-ocaml_8.3.pl4+dfsg-2_mipsel.deb 06-Jun-2012 20:32 533128
libcoq-ocaml_8.3.pl4+dfsg-2_powerpc.deb 06-Jun-2012 17:02 2143878
libcoq-ocaml_8.3.pl4+dfsg-2_s390.deb 06-Jun-2012 18:17 532366
libcoq-ocaml_8.3.pl4+dfsg-2_s390x.deb 06-Jun-2012 19:17 536962
libcoq-ocaml_8.3.pl4+dfsg-2_sparc.deb 06-Jun-2012 18:32 2128448
libcoq-ocaml_8.4pl4dfsg-1+b1_s390x.deb 27-Aug-2014 10:42 382896
libcoq-ocaml_8.4pl4dfsg-1_amd64.deb 27-Jul-2014 23:26 1637886
libcoq-ocaml_8.4pl4dfsg-1_arm64.deb 11-Sep-2014 11:27 380256
libcoq-ocaml_8.4pl4dfsg-1_armel.deb 28-Jul-2014 02:28 1538216
libcoq-ocaml_8.4pl4dfsg-1_armhf.deb 28-Jul-2014 05:28 1580148
libcoq-ocaml_8.4pl4dfsg-1_i386.deb 28-Jul-2014 00:57 1489658
libcoq-ocaml_8.4pl4dfsg-1_kfreebsd-amd64.deb 28-Jul-2014 00:57 1639262
libcoq-ocaml_8.4pl4dfsg-1_kfreebsd-i386.deb 28-Jul-2014 01:12 1490390
libcoq-ocaml_8.4pl4dfsg-1_mips.deb 31-Jul-2014 22:58 381940
libcoq-ocaml_8.4pl4dfsg-1_mipsel.deb 28-Jul-2014 10:14 381724
libcoq-ocaml_8.4pl4dfsg-1_powerpc.deb 28-Jul-2014 01:28 1427782
libcoq-ocaml_8.4pl4dfsg-1_ppc64el.deb 07-Sep-2014 01:57 381146
libcoq-ocaml_8.6-4_amd64.deb 30-Dec-2016 08:56 3502166
libcoq-ocaml_8.6-4_arm64.deb 30-Dec-2016 09:57 3479538
libcoq-ocaml_8.6-4_armel.deb 30-Dec-2016 11:12 3515706
libcoq-ocaml_8.6-4_armhf.deb 30-Dec-2016 11:12 3564510
libcoq-ocaml_8.6-4_i386.deb 30-Dec-2016 09:57 3401658
libcoq-ocaml_8.6-4_mips.deb 30-Dec-2016 15:57 2375002
libcoq-ocaml_8.6-4_mips64el.deb 30-Dec-2016 22:29 2373916
libcoq-ocaml_8.6-4_mipsel.deb 30-Dec-2016 15:57 2374348
libcoq-ocaml_8.6-4_ppc64el.deb 30-Dec-2016 11:57 2374188
libcoq-ocaml_8.6-4_s390x.deb 30-Dec-2016 13:27 2375540
libcoq-ocaml_8.9.0-1_amd64.deb 07-Feb-2019 02:49 5463112
libcoq-ocaml_8.9.0-1_arm64.deb 07-Feb-2019 04:26 5803688
libcoq-ocaml_8.9.0-1_armel.deb 07-Feb-2019 09:44 3578420
libcoq-ocaml_8.9.0-1_armhf.deb 08-Feb-2019 05:15 5384100
libcoq-ocaml_8.9.0-1_i386.deb 07-Feb-2019 04:21 5186088
libcoq-ocaml_8.9.0-1_mips.deb 07-Feb-2019 11:15 3581844
libcoq-ocaml_8.9.0-1_mips64el.deb 09-Feb-2019 16:29 3578092
libcoq-ocaml_8.9.0-1_mipsel.deb 07-Feb-2019 08:59 3581564
libcoq-ocaml_8.9.0-1_ppc64el.deb 07-Feb-2019 04:00 5568956
libcoq-ocaml_8.9.0-1_s390x.deb 07-Feb-2019 04:00 5549064