Index of /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_armel.deb 30-Dec-2016 03:12 22844230
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_mips.deb 30-Dec-2016 07:57 22842806
coq-theories_8.6-4_mips64el.deb 30-Dec-2016 14:29 22853882
coq-theories_8.6-4_mipsel.deb 30-Dec-2016 07:57 22842810
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
coq-theories_8.9.0-1_amd64.deb 06-Feb-2019 18:49 29737672
coq-theories_8.9.0-1_arm64.deb 06-Feb-2019 20:26 20367676
coq-theories_8.9.0-1_armel.deb 07-Feb-2019 01:44 20356976
coq-theories_8.9.0-1_armhf.deb 07-Feb-2019 21:15 20351780
coq-theories_8.9.0-1_i386.deb 06-Feb-2019 20:21 28414968
coq-theories_8.9.0-1_mips.deb 07-Feb-2019 03:15 20356988
coq-theories_8.9.0-1_mips64el.deb 09-Feb-2019 08:29 20360508
coq-theories_8.9.0-1_mipsel.deb 07-Feb-2019 00:59 20357060
coq-theories_8.9.0-1_ppc64el.deb 06-Feb-2019 20:00 20367644
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_alpha.deb 16-Feb-2002 18:22 8892520
coq_7.2-9_arm.deb 16-Feb-2002 11:41 8445312
coq_7.2-9_hppa.deb 16-Feb-2002 18:11 7311624
coq_7.2-9_i386.deb 15-Feb-2002 19:24 8177822
coq_7.2-9_ia64.deb 16-Feb-2002 18:11 9913178
coq_7.2-9_m68k.deb 18-Feb-2002 11:12 7139572
coq_7.2-9_mips.deb 16-Feb-2002 18:33 7232596
coq_7.2-9_mipsel.deb 16-Feb-2002 18:32 7228090
coq_7.2-9_powerpc.deb 16-Feb-2002 18:36 7202830
coq_7.2-9_s390.deb 16-Feb-2002 14:14 7207838
coq_7.2-9_sparc.deb 16-Feb-2002 18:32 7232914
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_alpha.deb 01-Apr-2005 03:17 2957850
coq_8.0pl2-2_arm.deb 09-Apr-2005 00:18 2806890
coq_8.0pl2-2_hppa.deb 01-Apr-2005 01:32 7302358
coq_8.0pl2-2_i386.deb 31-Mar-2005 22:17 6036590
coq_8.0pl2-2_ia64.deb 01-Apr-2005 01:47 3115068
coq_8.0pl2-2_m68k.deb 02-Apr-2005 10:17 2733018
coq_8.0pl2-2_mips.deb 04-Apr-2005 18:02 2863124
coq_8.0pl2-2_mipsel.deb 01-Apr-2005 03:02 2852156
coq_8.0pl2-2_powerpc.deb 01-Apr-2005 00:02 6892466
coq_8.0pl2-2_s390.deb 01-Apr-2005 08:32 2917776
coq_8.0pl2-2_sparc.deb 01-Apr-2005 02:17 6973870
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_alpha.deb 20-Feb-2006 17:02 3001872
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_hppa.deb 19-Feb-2006 17:47 2966628
coq_8.0pl3-2_i386.deb 19-Feb-2006 12:32 6111850
coq_8.0pl3-2_ia64.deb 19-Feb-2006 17:47 3150492
coq_8.0pl3-2_m68k.deb 23-Feb-2006 18:02 2777462
coq_8.0pl3-2_mips.deb 20-Feb-2006 17:02 2928348
coq_8.0pl3-2_mipsel.deb 20-Feb-2006 17:02 2919320
coq_8.0pl3-2_powerpc.deb 20-Feb-2006 17:02 6949524
coq_8.0pl3-2_s390.deb 19-Feb-2006 21:47 2972826
coq_8.0pl3-2_sparc.deb 20-Feb-2006 02:47 7047766
coq_8.0pl3.orig.tar.gz 23-Jan-2006 22:02 2309002
coq_8.1.pl3+dfsg-1+b2_alpha.deb 24-May-2008 18:02 4340136
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_armel.deb 24-May-2008 23:17 4215114
coq_8.1.pl3+dfsg-1+b2_hppa.deb 29-May-2008 12:32 4280344
coq_8.1.pl3+dfsg-1+b2_i386.deb 26-May-2008 14:17 8462404
coq_8.1.pl3+dfsg-1+b2_ia64.deb 27-May-2008 12:32 4475450
coq_8.1.pl3+dfsg-1+b2_mips.deb 27-May-2008 16:17 4244448
coq_8.1.pl3+dfsg-1+b2_mipsel.deb 24-May-2008 18:02 4231274
coq_8.1.pl3+dfsg-1+b2_powerpc.deb 28-May-2008 17:47 9458428
coq_8.1.pl3+dfsg-1+b2_s390.deb 25-May-2008 18:47 4327428
coq_8.1.pl3+dfsg-1+b2_sparc.deb 24-May-2008 09:02 9467546
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_armel.deb 03-Jul-2010 20:17 3672400
coq_8.2.pl2+dfsg-1_i386.deb 02-Jul-2010 17:03 13715098
coq_8.2.pl2+dfsg-1_ia64.deb 03-Jul-2010 20:47 3674122
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-1_mips.deb 04-Jul-2010 12:48 3669694
coq_8.2.pl2+dfsg-1_mipsel.deb 03-Jul-2010 06:32 3671134
coq_8.2.pl2+dfsg-1_powerpc.deb 03-Jul-2010 16:42 15379668
coq_8.2.pl2+dfsg-1_s390.deb 03-Jul-2010 16:42 3671858
coq_8.2.pl2+dfsg-1_sparc.deb 04-Jul-2010 13:18 15448118
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_armel.deb 06-Jun-2012 10:47 6114800
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_ia64.deb 07-Jun-2012 19:03 1814536
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_mips.deb 08-Jun-2012 15:19 1814058
coq_8.3.pl4+dfsg-2_mipsel.deb 06-Jun-2012 12:32 1814598
coq_8.3.pl4+dfsg-2_powerpc.deb 06-Jun-2012 09:02 5561510
coq_8.3.pl4+dfsg-2_s390.deb 06-Jun-2012 10:17 1813750
coq_8.3.pl4+dfsg-2_s390x.deb 06-Jun-2012 11:17 1816018
coq_8.3.pl4+dfsg-2_sparc.deb 06-Jun-2012 10:32 5420652
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_armel.deb 27-Jul-2014 18:28 3831960
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_mips.deb 31-Jul-2014 14:58 1159540
coq_8.4pl4dfsg-1_mipsel.deb 28-Jul-2014 02:14 1161922
coq_8.4pl4dfsg-1_powerpc.deb 27-Jul-2014 17:28 3541356
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_armel.deb 30-Dec-2016 03:12 13837218
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_mips.deb 30-Dec-2016 07:57 19122308
coq_8.6-4_mips64el.deb 30-Dec-2016 14:29 19119940
coq_8.6-4_mipsel.deb 30-Dec-2016 07:57 19119318
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
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_arm64.deb 06-Feb-2019 20:26 63337232
coq_8.9.0-1_armel.deb 07-Feb-2019 01:44 50026616
coq_8.9.0-1_armhf.deb 07-Feb-2019 21:15 57327100
coq_8.9.0-1_i386.deb 06-Feb-2019 20:21 56195896
coq_8.9.0-1_mips.deb 07-Feb-2019 03:15 50024004
coq_8.9.0-1_mips64el.deb 09-Feb-2019 08:29 50027828
coq_8.9.0-1_mipsel.deb 07-Feb-2019 00:59 50022696
coq_8.9.0-1_ppc64el.deb 06-Feb-2019 20:00 60343172
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_alpha.deb 01-Apr-2005 03:17 1996090
coqide_8.0pl2-2_arm.deb 09-Apr-2005 00:18 1947512
coqide_8.0pl2-2_hppa.deb 01-Apr-2005 01:32 4758962
coqide_8.0pl2-2_i386.deb 31-Mar-2005 22:17 4060380
coqide_8.0pl2-2_ia64.deb 01-Apr-2005 01:47 2014130
coqide_8.0pl2-2_m68k.deb 02-Apr-2005 10:17 1957718
coqide_8.0pl2-2_mips.deb 04-Apr-2005 18:02 1964058
coqide_8.0pl2-2_mipsel.deb 01-Apr-2005 03:02 1953174
coqide_8.0pl2-2_powerpc.deb 01-Apr-2005 00:02 4518872
coqide_8.0pl2-2_s390.deb 01-Apr-2005 08:32 2006342
coqide_8.0pl2-2_sparc.deb 01-Apr-2005 02:17 4593526
coqide_8.0pl3-2_alpha.deb 20-Feb-2006 17:02 1373320
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_hppa.deb 19-Feb-2006 17:47 1366816
coqide_8.0pl3-2_i386.deb 19-Feb-2006 12:32 3441578
coqide_8.0pl3-2_ia64.deb 19-Feb-2006 17:47 1398014
coqide_8.0pl3-2_m68k.deb 23-Feb-2006 18:02 1342426
coqide_8.0pl3-2_mips.deb 20-Feb-2006 17:02 1355080
coqide_8.0pl3-2_mipsel.deb 20-Feb-2006 17:02 1345776
coqide_8.0pl3-2_powerpc.deb 20-Feb-2006 17:02 3893270
coqide_8.0pl3-2_s390.deb 19-Feb-2006 21:47 1388278
coqide_8.0pl3-2_sparc.deb 20-Feb-2006 02:47 3976640
coqide_8.1.pl3+dfsg-1+b2_alpha.deb 24-May-2008 18:02 2468442
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_armel.deb 24-May-2008 23:17 2416304
coqide_8.1.pl3+dfsg-1+b2_hppa.deb 29-May-2008 12:32 2446578
coqide_8.1.pl3+dfsg-1+b2_i386.deb 26-May-2008 14:17 4927074
coqide_8.1.pl3+dfsg-1+b2_ia64.deb 27-May-2008 12:32 2499366
coqide_8.1.pl3+dfsg-1+b2_mips.deb 27-May-2008 16:17 2437054
coqide_8.1.pl3+dfsg-1+b2_mipsel.deb 24-May-2008 18:02 2425922
coqide_8.1.pl3+dfsg-1+b2_powerpc.deb 28-May-2008 17:47 5502946
coqide_8.1.pl3+dfsg-1+b2_s390.deb 25-May-2008 18:47 2498854
coqide_8.1.pl3+dfsg-1+b2_sparc.deb 24-May-2008 09:02 5512680
coqide_8.2.pl2+dfsg-1_amd64.deb 02-Jul-2010 15:19 6553352
coqide_8.2.pl2+dfsg-1_armel.deb 03-Jul-2010 20:17 2415730
coqide_8.2.pl2+dfsg-1_i386.deb 02-Jul-2010 17:03 6026786
coqide_8.2.pl2+dfsg-1_ia64.deb 03-Jul-2010 20:47 2414104
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.2.pl2+dfsg-1_mips.deb 04-Jul-2010 12:48 2417016
coqide_8.2.pl2+dfsg-1_mipsel.deb 03-Jul-2010 06:32 2416978
coqide_8.2.pl2+dfsg-1_powerpc.deb 03-Jul-2010 16:42 6594842
coqide_8.2.pl2+dfsg-1_s390.deb 03-Jul-2010 16:42 2414068
coqide_8.2.pl2+dfsg-1_sparc.deb 04-Jul-2010 13:18 6638150
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_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_ia64.deb 07-Jun-2012 19:03 2537104
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_mips.deb 08-Jun-2012 15:19 2537176
coqide_8.3.pl4+dfsg-2_mipsel.deb 06-Jun-2012 12:32 2537114
coqide_8.3.pl4+dfsg-2_powerpc.deb 06-Jun-2012 09:02 5641354
coqide_8.3.pl4+dfsg-2_s390.deb 06-Jun-2012 10:17 2538698
coqide_8.3.pl4+dfsg-2_s390x.deb 06-Jun-2012 11:17 2540582
coqide_8.3.pl4+dfsg-2_sparc.deb 06-Jun-2012 10:32 5495184
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_armel.deb 27-Jul-2014 18:28 798386
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_mips.deb 31-Jul-2014 14:58 255270
coqide_8.4pl4dfsg-1_mipsel.deb 28-Jul-2014 02:14 255266
coqide_8.4pl4dfsg-1_powerpc.deb 27-Jul-2014 17:28 695646
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_armel.deb 30-Dec-2016 03:12 1434024
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_mips.deb 30-Dec-2016 07:57 1891224
coqide_8.6-4_mips64el.deb 30-Dec-2016 14:29 1891524
coqide_8.6-4_mipsel.deb 30-Dec-2016 07:57 1891696
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_armel.deb 03-Jul-2010 20:17 1974452
libcoq-ocaml-dev_8.2.pl2+dfsg-1_i386.deb 02-Jul-2010 17:03 5933320
libcoq-ocaml-dev_8.2.pl2+dfsg-1_ia64.deb 03-Jul-2010 20:47 1959594
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.2.pl2+dfsg-1_mips.deb 04-Jul-2010 12:48 1961684
libcoq-ocaml-dev_8.2.pl2+dfsg-1_mipsel.deb 03-Jul-2010 06:32 1972174
libcoq-ocaml-dev_8.2.pl2+dfsg-1_powerpc.deb 03-Jul-2010 16:42 7045796
libcoq-ocaml-dev_8.2.pl2+dfsg-1_s390.deb 03-Jul-2010 16:42 1959626
libcoq-ocaml-dev_8.2.pl2+dfsg-1_sparc.deb 04-Jul-2010 13:18 6737102
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_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_ia64.deb 07-Jun-2012 19:03 2517172
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_mips.deb 08-Jun-2012 15:19 2532442
libcoq-ocaml-dev_8.3.pl4+dfsg-2_mipsel.deb 06-Jun-2012 12:32 2517260
libcoq-ocaml-dev_8.3.pl4+dfsg-2_powerpc.deb 06-Jun-2012 09:02 6731066
libcoq-ocaml-dev_8.3.pl4+dfsg-2_s390.deb 06-Jun-2012 10:17 2528170
libcoq-ocaml-dev_8.3.pl4+dfsg-2_s390x.deb 06-Jun-2012 11:17 2534718
libcoq-ocaml-dev_8.3.pl4+dfsg-2_sparc.deb 06-Jun-2012 10:32 6440270
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_armel.deb 27-Jul-2014 18:28 4119678
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_mips.deb 31-Jul-2014 14:58 1298830
libcoq-ocaml-dev_8.4pl4dfsg-1_mipsel.deb 28-Jul-2014 02:14 1299664
libcoq-ocaml-dev_8.4pl4dfsg-1_powerpc.deb 27-Jul-2014 17:28 3665584
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_armel.deb 30-Dec-2016 03:12 14109130
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_mips.deb 30-Dec-2016 07:57 10052340
libcoq-ocaml-dev_8.6-4_mips64el.deb 30-Dec-2016 14:29 10051066
libcoq-ocaml-dev_8.6-4_mipsel.deb 30-Dec-2016 07:57 10053978
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-dev_8.9.0-1_amd64.deb 06-Feb-2019 18:49 13703936
libcoq-ocaml-dev_8.9.0-1_arm64.deb 06-Feb-2019 20:26 14001864
libcoq-ocaml-dev_8.9.0-1_armel.deb 07-Feb-2019 01:44 7940984
libcoq-ocaml-dev_8.9.0-1_armhf.deb 07-Feb-2019 21:15 14391840
libcoq-ocaml-dev_8.9.0-1_i386.deb 06-Feb-2019 20:21 13728788
libcoq-ocaml-dev_8.9.0-1_mips.deb 07-Feb-2019 03:15 7940256
libcoq-ocaml-dev_8.9.0-1_mips64el.deb 09-Feb-2019 08:29 7940696
libcoq-ocaml-dev_8.9.0-1_mipsel.deb 07-Feb-2019 00:59 7940648
libcoq-ocaml-dev_8.9.0-1_ppc64el.deb 06-Feb-2019 20:00 14094956
libcoq-ocaml-dev_8.9.0-1_s390x.deb 06-Feb-2019 20:00 13779508
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_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_ia64.deb 07-Jun-2012 19:03 536648
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_mips.deb 08-Jun-2012 15:19 533874
libcoq-ocaml_8.3.pl4+dfsg-2_mipsel.deb 06-Jun-2012 12:32 533128
libcoq-ocaml_8.3.pl4+dfsg-2_powerpc.deb 06-Jun-2012 09:02 2143878
libcoq-ocaml_8.3.pl4+dfsg-2_s390.deb 06-Jun-2012 10:17 532366
libcoq-ocaml_8.3.pl4+dfsg-2_s390x.deb 06-Jun-2012 11:17 536962
libcoq-ocaml_8.3.pl4+dfsg-2_sparc.deb 06-Jun-2012 10:32 2128448
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_armel.deb 27-Jul-2014 18:28 1538216
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_mips.deb 31-Jul-2014 14:58 381940
libcoq-ocaml_8.4pl4dfsg-1_mipsel.deb 28-Jul-2014 02:14 381724
libcoq-ocaml_8.4pl4dfsg-1_powerpc.deb 27-Jul-2014 17:28 1427782
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_armel.deb 30-Dec-2016 03:12 3515706
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_mips.deb 30-Dec-2016 07:57 2375002
libcoq-ocaml_8.6-4_mips64el.deb 30-Dec-2016 14:29 2373916
libcoq-ocaml_8.6-4_mipsel.deb 30-Dec-2016 07:57 2374348
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
libcoq-ocaml_8.9.0-1_amd64.deb 06-Feb-2019 18:49 5463112
libcoq-ocaml_8.9.0-1_arm64.deb 06-Feb-2019 20:26 5803688
libcoq-ocaml_8.9.0-1_armel.deb 07-Feb-2019 01:44 3578420
libcoq-ocaml_8.9.0-1_armhf.deb 07-Feb-2019 21:15 5384100
libcoq-ocaml_8.9.0-1_i386.deb 06-Feb-2019 20:21 5186088
libcoq-ocaml_8.9.0-1_mips.deb 07-Feb-2019 03:15 3581844
libcoq-ocaml_8.9.0-1_mips64el.deb 09-Feb-2019 08:29 3578092
libcoq-ocaml_8.9.0-1_mipsel.deb 07-Feb-2019 00:59 3581564
libcoq-ocaml_8.9.0-1_ppc64el.deb 06-Feb-2019 20:00 5568956
libcoq-ocaml_8.9.0-1_s390x.deb 06-Feb-2019 20:00 5549064