Index of /ubuntu-old-releases/ubuntu/pool/universe/c/coq/
../
coq-libs_8.0pl1-5_amd64.deb 14-Dec-2004 03:55 3728070
coq-libs_8.0pl1-5_i386.deb 14-Dec-2004 17:20 3728050
coq-libs_8.0pl1-5_ia64.deb 14-Dec-2004 04:40 3728146
coq-libs_8.0pl1-5_powerpc.deb 14-Dec-2004 04:00 3728084
coq-libs_8.0pl1-5_sparc.deb 02-Apr-2005 06:10 3728160
coq-libs_8.0pl2-2_all.deb 14-Apr-2005 10:10 3735936
coq-libs_8.0pl2-4_all.deb 18-Dec-2005 19:10 3735480
coq-libs_8.0pl3-2_all.deb 13-Jul-2006 16:10 3737040
coq-libs_8.0pl3-2ubuntu1_all.deb 23-Mar-2007 14:03 3737204
coq-libs_8.1+dfsg-6_all.deb 11-Jul-2007 15:03 14797690
coq-libs_8.1.pl3+dfsg-1_all.deb 08-Jan-2008 00:07 12593878
coq-libs_8.1.pl3+dfsg-1build1_all.deb 27-May-2008 14:04 12593430
coq-theories_8.12.0-3build1_amd64.deb 04-Oct-2020 01:38 36980788
coq-theories_8.12.0-3build1_arm64.deb 04-Oct-2020 02:53 23913752
coq-theories_8.12.0-3build1_armhf.deb 04-Oct-2020 02:53 23910224
coq-theories_8.12.0-3build1_ppc64el.deb 04-Oct-2020 02:08 23917344
coq-theories_8.12.0-3build1_riscv64.deb 04-Oct-2020 14:08 23914852
coq-theories_8.12.0-3build3_amd64.deb 28-Nov-2020 10:13 36233684
coq-theories_8.12.0-3build3_arm64.deb 28-Nov-2020 11:58 23911752
coq-theories_8.12.0-3build3_armhf.deb 28-Nov-2020 11:38 23903728
coq-theories_8.12.0-3build3_ppc64el.deb 28-Nov-2020 10:13 23913116
coq-theories_8.12.0-3build3_riscv64.deb 28-Nov-2020 14:28 23919992
coq-theories_8.2.pl1+dfsg-2_all.deb 28-Jul-2009 19:13 18107490
coq-theories_8.2.pl1+dfsg-6_all.deb 27-Feb-2010 17:04 18108438
coq-theories_8.2.pl2+dfsg-1ubuntu1_all.deb 18-Sep-2010 19:04 18375166
coq-theories_8.3.pl2+dfsg-1build1_all.deb 25-Aug-2011 05:04 52901370
coq-theories_8.3.pl4+dfsg-1_all.deb 03-Apr-2012 11:04 54258222
coq-theories_8.3.pl4+dfsg-2_all.deb 08-Jun-2012 18:04 54375698
coq-theories_8.4pl2dfsg-1_all.deb 09-May-2013 00:03 58825578
coq-theories_8.4pl4dfsg-1_all.deb 27-Jul-2014 23:53 32011470
coq-theories_8.5-2build1_amd64.deb 15-May-2018 06:19 32856452
coq-theories_8.5-2build1_arm64.deb 13-Jun-2018 04:21 24018056
coq-theories_8.5-2build1_armhf.deb 13-Jun-2018 05:12 24007096
coq-theories_8.5-2build1_i386.deb 13-Jun-2018 05:59 31788186
coq-theories_8.5-2build1_powerpc.deb 13-Jun-2018 06:44 24007056
coq-theories_8.5-2build1_ppc64el.deb 13-Jun-2018 07:51 24020470
coq-theories_8.5-2build1_s390x.deb 13-Jun-2018 08:49 24019784
coq-theories_8.6-4_amd64.deb 30-Dec-2016 06:03 31149098
coq-theories_8.6-4_arm64.deb 30-Dec-2016 06:34 22532000
coq-theories_8.6-4_armhf.deb 30-Dec-2016 06:34 22521998
coq-theories_8.6-4_i386.deb 30-Dec-2016 06:03 30091244
coq-theories_8.6-4_ppc64el.deb 30-Dec-2016 07:53 22532430
coq-theories_8.6-4_s390x.deb 30-Dec-2016 07:18 22532374
coq-theories_8.6-4build3_amd64.deb 27-Jul-2017 10:03 33323634
coq-theories_8.6-4build3_armhf.deb 27-Jul-2017 10:03 22834158
coq-theories_8.6-4build3_i386.deb 27-Jul-2017 09:34 31861586
coq-theories_8.6-4build3_ppc64el.deb 28-Jul-2017 09:59 22818384
coq-theories_8.6-4build3_s390x.deb 27-Jul-2017 09:34 22819814
coq-theories_8.6-5build1_amd64.deb 28-Oct-2017 15:34 33181580
coq-theories_8.6-5build1_arm64.deb 28-Oct-2017 16:20 22801252
coq-theories_8.6-5build1_armhf.deb 28-Oct-2017 16:20 22822156
coq-theories_8.6-5build1_i386.deb 28-Oct-2017 15:34 32170552
coq-theories_8.6-5build1_ppc64el.deb 28-Oct-2017 15:34 22797996
coq-theories_8.6-5build1_s390x.deb 28-Oct-2017 15:34 22800288
coq-theories_8.9.1-1_amd64.deb 20-Aug-2019 11:33 29522596
coq-theories_8.9.1-1_arm64.deb 20-Aug-2019 12:08 20293000
coq-theories_8.9.1-1_armhf.deb 20-Aug-2019 12:03 20274824
coq-theories_8.9.1-1_i386.deb 20-Aug-2019 11:43 28549828
coq-theories_8.9.1-1_ppc64el.deb 20-Aug-2019 11:43 20291832
coq-theories_8.9.1-1_s390x.deb 20-Aug-2019 11:33 20294996
coq7-libs_8.0pl1-5_amd64.deb 14-Dec-2004 03:55 3807048
coq7-libs_8.0pl1-5_i386.deb 14-Dec-2004 17:20 3807080
coq7-libs_8.0pl1-5_ia64.deb 14-Dec-2004 04:40 3807082
coq7-libs_8.0pl1-5_powerpc.deb 14-Dec-2004 04:00 3807052
coq7-libs_8.0pl1-5_sparc.deb 02-Apr-2005 06:10 3807116
coq7-libs_8.0pl2-2_all.deb 14-Apr-2005 10:10 3811402
coq7-libs_8.0pl2-4_all.deb 18-Dec-2005 19:10 3810994
coq7-libs_8.0pl3-2_all.deb 13-Jul-2006 16:10 3812570
coq7-libs_8.0pl3-2ubuntu1_all.deb 23-Mar-2007 14:03 3812718
coq_7.3.1-3.diff.gz 26-Jul-2004 23:43 8521
coq_7.3.1-3.dsc 26-Jul-2004 23:43 799
coq_7.3.1-3_amd64.deb 18-Aug-2004 09:15 7829404
coq_7.3.1-3_i386.deb 13-Aug-2004 11:15 7590800
coq_7.3.1-3_powerpc.deb 27-Jul-2004 21:00 7989080
coq_7.3.1.orig.tar.gz 26-Jul-2004 23:43 1244554
coq_8.0pl1-5.diff.gz 14-Dec-2004 03:18 11533
coq_8.0pl1-5.dsc 14-Dec-2004 03:18 941
coq_8.0pl1-5_amd64.deb 14-Dec-2004 03:55 6456426
coq_8.0pl1-5_i386.deb 14-Dec-2004 17:20 6023652
coq_8.0pl1-5_ia64.deb 14-Dec-2004 04:40 3110648
coq_8.0pl1-5_powerpc.deb 14-Dec-2004 04:00 6877842
coq_8.0pl1-5_sparc.deb 02-Apr-2005 06:10 6959208
coq_8.0pl1.orig.tar.gz 25-Oct-2004 20:02 2272613
coq_8.0pl2-2.diff.gz 13-Apr-2005 14:09 11086
coq_8.0pl2-2.dsc 13-Apr-2005 14:09 919
coq_8.0pl2-2_amd64.deb 15-Aug-2005 09:15 6453396
coq_8.0pl2-2_i386.deb 14-Apr-2005 10:10 6034310
coq_8.0pl2-2_ia64.deb 15-Aug-2005 08:45 3066446
coq_8.0pl2-2_powerpc.deb 13-Aug-2005 07:25 6874452
coq_8.0pl2-2_sparc.deb 25-Aug-2005 15:10 6961690
coq_8.0pl2-4.diff.gz 23-Nov-2005 15:20 12018
coq_8.0pl2-4.dsc 23-Nov-2005 15:20 882
coq_8.0pl2-4_amd64.deb 18-Dec-2005 18:15 6538978
coq_8.0pl2-4_hppa.deb 09-Dec-2005 23:25 7358160
coq_8.0pl2-4_i386.deb 18-Dec-2005 19:10 6097406
coq_8.0pl2-4_ia64.deb 18-Dec-2005 19:30 3142848
coq_8.0pl2-4_powerpc.deb 21-Dec-2005 04:15 6936722
coq_8.0pl2-4_sparc.deb 24-Dec-2005 09:00 7034058
coq_8.0pl2.orig.tar.gz 13-Apr-2005 14:09 2285855
coq_8.0pl3-2.diff.gz 15-Jun-2006 17:59 16289
coq_8.0pl3-2.dsc 15-Jun-2006 17:59 891
coq_8.0pl3-2_amd64.deb 13-Jul-2006 16:10 6548596
coq_8.0pl3-2_i386.deb 13-Jul-2006 16:10 6114114
coq_8.0pl3-2_ia64.deb 08-Jul-2006 13:09 3146584
coq_8.0pl3-2_powerpc.deb 13-Jul-2006 17:10 6954142
coq_8.0pl3-2_sparc.deb 13-Jul-2006 03:10 7049736
coq_8.0pl3-2ubuntu1.diff.gz 23-Mar-2007 12:03 16498
coq_8.0pl3-2ubuntu1.dsc 23-Mar-2007 12:03 1103
coq_8.0pl3-2ubuntu1_amd64.deb 23-Mar-2007 14:03 6601416
coq_8.0pl3-2ubuntu1_i386.deb 23-Mar-2007 14:03 6179196
coq_8.0pl3-2ubuntu1_ia64.deb 23-Mar-2007 14:03 3187830
coq_8.0pl3-2ubuntu1_powerpc.deb 23-Mar-2007 14:03 7039316
coq_8.0pl3-2ubuntu1_sparc.deb 23-Mar-2007 14:03 7113262
coq_8.0pl3.orig.tar.gz 15-Jun-2006 17:59 2309002
coq_8.1+dfsg-6.diff.gz 11-Jul-2007 13:03 14765
coq_8.1+dfsg-6.dsc 11-Jul-2007 13:03 1079
coq_8.1+dfsg-6_amd64.deb 11-Jul-2007 16:03 7866004
coq_8.1+dfsg-6_i386.deb 11-Jul-2007 15:03 7452960
coq_8.1+dfsg-6_ia64.deb 11-Jul-2007 18:03 3437032
coq_8.1+dfsg-6_lpia.deb 31-Aug-2007 04:03 7438192
coq_8.1+dfsg-6_powerpc.deb 11-Jul-2007 16:03 8346646
coq_8.1+dfsg-6_sparc.deb 11-Jul-2007 17:03 8498146
coq_8.1+dfsg.orig.tar.gz 03-May-2007 11:05 2512805
coq_8.1.pl3+dfsg-1.diff.gz 07-Jan-2008 21:03 15578
coq_8.1.pl3+dfsg-1.dsc 07-Jan-2008 21:03 1070
coq_8.1.pl3+dfsg-1_amd64.deb 08-Jan-2008 00:06 9021050
coq_8.1.pl3+dfsg-1_hppa.deb 08-Jan-2008 21:12 4262540
coq_8.1.pl3+dfsg-1_i386.deb 08-Jan-2008 00:07 8451650
coq_8.1.pl3+dfsg-1_ia64.deb 08-Jan-2008 02:04 13881098
coq_8.1.pl3+dfsg-1_lpia.deb 08-Jan-2008 00:07 4145610
coq_8.1.pl3+dfsg-1_powerpc.deb 08-Jan-2008 00:07 9438802
coq_8.1.pl3+dfsg-1_sparc.deb 08-Jan-2008 02:04 9448596
coq_8.1.pl3+dfsg-1build1.diff.gz 27-May-2008 14:04 15617
coq_8.1.pl3+dfsg-1build1.dsc 27-May-2008 14:04 925
coq_8.1.pl3+dfsg-1build1_amd64.deb 27-May-2008 14:04 9045382
coq_8.1.pl3+dfsg-1build1_armel.deb 10-Dec-2008 03:04 4209778
coq_8.1.pl3+dfsg-1build1_hppa.deb 31-May-2008 23:04 4278800
coq_8.1.pl3+dfsg-1build1_i386.deb 27-May-2008 14:04 8476538
coq_8.1.pl3+dfsg-1build1_ia64.deb 27-May-2008 17:06 4475590
coq_8.1.pl3+dfsg-1build1_lpia.deb 02-Jun-2008 21:04 4157524
coq_8.1.pl3+dfsg-1build1_powerpc.deb 27-May-2008 14:04 9448954
coq_8.1.pl3+dfsg-1build1_sparc.deb 27-May-2008 15:07 9474076
coq_8.1.pl3+dfsg.orig.tar.gz 07-Jan-2008 21:03 2534628
coq_8.12.0-3build1.debian.tar.xz 04-Oct-2020 00:48 37840
coq_8.12.0-3build1.dsc 04-Oct-2020 00:48 2507
coq_8.12.0-3build1_amd64.deb 04-Oct-2020 01:38 78727692
coq_8.12.0-3build1_arm64.deb 04-Oct-2020 02:53 85589812
coq_8.12.0-3build1_armhf.deb 04-Oct-2020 02:53 75829028
coq_8.12.0-3build1_ppc64el.deb 04-Oct-2020 02:08 80751872
coq_8.12.0-3build1_riscv64.deb 04-Oct-2020 14:08 89968416
coq_8.12.0-3build3.debian.tar.xz 28-Nov-2020 09:28 37912
coq_8.12.0-3build3.dsc 28-Nov-2020 09:28 2507
coq_8.12.0-3build3_amd64.deb 28-Nov-2020 10:13 90497560
coq_8.12.0-3build3_arm64.deb 28-Nov-2020 11:58 96116112
coq_8.12.0-3build3_armhf.deb 28-Nov-2020 11:38 88437952
coq_8.12.0-3build3_ppc64el.deb 28-Nov-2020 10:13 91470284
coq_8.12.0-3build3_riscv64.deb 28-Nov-2020 14:28 87973964
coq_8.12.0.orig.tar.gz 15-Sep-2020 08:23 6008211
coq_8.15.2+dfsg-2.debian.tar.xz 12-Jun-2022 05:34 40124
coq_8.15.2+dfsg-2.dsc 12-Jun-2022 05:34 2607
coq_8.15.2+dfsg-2_amd64.deb 12-Jun-2022 05:34 94893046
coq_8.15.2+dfsg-2_arm64.deb 12-Jun-2022 06:28 106347126
coq_8.15.2+dfsg-2_armhf.deb 12-Jun-2022 06:28 92988738
coq_8.15.2+dfsg-2_ppc64el.deb 12-Jun-2022 06:28 97138058
coq_8.15.2+dfsg-2_riscv64.deb 12-Jun-2022 09:14 93858310
coq_8.15.2+dfsg-2_s390x.deb 12-Jun-2022 06:29 96475214
coq_8.15.2+dfsg.orig.tar.xz 01-Jun-2022 05:23 4673192
coq_8.2.pl1+dfsg-2.diff.gz 28-Jul-2009 19:13 14513
coq_8.2.pl1+dfsg-2.dsc 28-Jul-2009 19:13 1607
coq_8.2.pl1+dfsg-2_amd64.deb 28-Jul-2009 19:13 15326134
coq_8.2.pl1+dfsg-2_armel.deb 29-Jul-2009 05:12 3662308
coq_8.2.pl1+dfsg-2_i386.deb 28-Jul-2009 19:13 13693596
coq_8.2.pl1+dfsg-2_ia64.deb 24-Aug-2009 21:06 3663394
coq_8.2.pl1+dfsg-2_lpia.deb 28-Jul-2009 19:14 13682214
coq_8.2.pl1+dfsg-2_powerpc.deb 29-Jul-2009 01:05 15364438
coq_8.2.pl1+dfsg-2_sparc.deb 28-Jul-2009 19:15 15421112
coq_8.2.pl1+dfsg-3_armel.deb 06-Nov-2009 00:05 3662764
coq_8.2.pl1+dfsg-6.diff.gz 27-Feb-2010 16:04 15684
coq_8.2.pl1+dfsg-6.dsc 27-Feb-2010 16:04 2218
coq_8.2.pl1+dfsg-6_amd64.deb 27-Feb-2010 17:04 15338102
coq_8.2.pl1+dfsg-6_i386.deb 27-Feb-2010 17:04 13698864
coq_8.2.pl1+dfsg-6_ia64.deb 27-Feb-2010 21:04 3665522
coq_8.2.pl1+dfsg-6_powerpc.deb 27-Feb-2010 17:04 15365776
coq_8.2.pl1+dfsg-6_sparc.deb 28-Feb-2010 06:04 15429974
coq_8.2.pl1+dfsg.orig.tar.gz 28-Jul-2009 19:13 3142201
coq_8.2.pl2+dfsg-1ubuntu1.debian.tar.gz 18-Sep-2010 18:05 17307
coq_8.2.pl2+dfsg-1ubuntu1.dsc 18-Sep-2010 18:05 1545
coq_8.2.pl2+dfsg-1ubuntu1_amd64.deb 18-Sep-2010 19:04 15100204
coq_8.2.pl2+dfsg-1ubuntu1_armel.deb 19-Sep-2010 06:05 3641486
coq_8.2.pl2+dfsg-1ubuntu1_i386.deb 18-Sep-2010 19:05 13469956
coq_8.2.pl2+dfsg-1ubuntu1_powerpc.deb 20-Sep-2010 06:32 15133800
coq_8.2.pl2+dfsg.orig.tar.gz 27-Jul-2010 19:05 3142575
coq_8.3.pl2+dfsg-1build1.debian.tar.gz 25-Aug-2011 05:04 16531
coq_8.3.pl2+dfsg-1build1.dsc 25-Aug-2011 05:04 1559
coq_8.3.pl2+dfsg-1build1_amd64.deb 25-Aug-2011 05:04 5556112
coq_8.3.pl2+dfsg-1build1_armel.deb 25-Aug-2011 09:03 6001570
coq_8.3.pl2+dfsg-1build1_i386.deb 25-Aug-2011 05:05 4952978
coq_8.3.pl2+dfsg-1build1_powerpc.deb 25-Aug-2011 06:03 5451106
coq_8.3.pl2+dfsg.orig.tar.gz 19-May-2011 15:05 3147573
coq_8.3.pl4+dfsg-1.debian.tar.gz 03-Apr-2012 10:33 16320
coq_8.3.pl4+dfsg-1.dsc 03-Apr-2012 10:33 2343
coq_8.3.pl4+dfsg-1_amd64.deb 03-Apr-2012 11:34 5563182
coq_8.3.pl4+dfsg-1_armel.deb 03-Apr-2012 13:03 6022592
coq_8.3.pl4+dfsg-1_i386.deb 03-Apr-2012 11:04 4963506
coq_8.3.pl4+dfsg-1_powerpc.deb 03-Apr-2012 11:34 5458708
coq_8.3.pl4+dfsg-2.debian.tar.gz 08-Jun-2012 14:36 16306
coq_8.3.pl4+dfsg-2.dsc 08-Jun-2012 14:36 2343
coq_8.3.pl4+dfsg-2_amd64.deb 08-Jun-2012 21:03 5575862
coq_8.3.pl4+dfsg-2_armel.deb 08-Jun-2012 22:35 6077988
coq_8.3.pl4+dfsg-2_i386.deb 08-Jun-2012 18:04 4968608
coq_8.3.pl4+dfsg-2_powerpc.deb 09-Jun-2012 16:34 5468332
coq_8.3.pl4+dfsg.orig.tar.gz 03-Apr-2012 10:33 3154721
coq_8.4pl2dfsg-1.debian.tar.gz 08-May-2013 23:33 17375
coq_8.4pl2dfsg-1.dsc 08-May-2013 23:33 2344
coq_8.4pl2dfsg-1_amd64.deb 09-May-2013 00:03 5930520
coq_8.4pl2dfsg-1_i386.deb 09-May-2013 00:03 5259024
coq_8.4pl2dfsg-1_powerpc.deb 09-May-2013 00:04 5809358
coq_8.4pl2dfsg.orig.tar.gz 08-May-2013 23:33 3528138
coq_8.4pl4dfsg-1.debian.tar.xz 27-Jul-2014 23:13 15712
coq_8.4pl4dfsg-1.dsc 27-Jul-2014 23:13 2374
coq_8.4pl4dfsg-1_amd64.deb 27-Jul-2014 23:53 4050784
coq_8.4pl4dfsg-1_arm64.deb 28-Jul-2014 02:58 1110134
coq_8.4pl4dfsg-1_armhf.deb 28-Jul-2014 00:58 3851422
coq_8.4pl4dfsg-1_i386.deb 27-Jul-2014 23:53 3754342
coq_8.4pl4dfsg-1_powerpc.deb 28-Jul-2014 00:48 3567108
coq_8.4pl4dfsg-1_ppc64el.deb 28-Jul-2014 01:28 1108640
coq_8.4pl4dfsg.orig.tar.gz 27-Jul-2014 23:13 3527076
coq_8.5-2build1.debian.tar.xz 13-Jun-2018 02:56 16780
coq_8.5-2build1.dsc 13-Jun-2018 02:56 2499
coq_8.5-2build1_amd64.deb 15-May-2018 06:19 13509668
coq_8.5-2build1_arm64.deb 13-Jun-2018 04:21 12751958
coq_8.5-2build1_armhf.deb 13-Jun-2018 05:12 12683836
coq_8.5-2build1_i386.deb 13-Jun-2018 05:59 12562618
coq_8.5-2build1_powerpc.deb 13-Jun-2018 06:44 12120874
coq_8.5-2build1_ppc64el.deb 13-Jun-2018 07:51 18438034
coq_8.5-2build1_s390x.deb 13-Jun-2018 08:49 18441644
coq_8.5.orig.tar.gz 13-Jun-2018 02:56 4824349
coq_8.6-4.debian.tar.xz 30-Dec-2016 05:19 21972
coq_8.6-4.dsc 30-Dec-2016 05:19 2396
coq_8.6-4_amd64.deb 30-Dec-2016 06:03 13839012
coq_8.6-4_arm64.deb 30-Dec-2016 06:34 13075994
coq_8.6-4_armhf.deb 30-Dec-2016 06:34 12998626
coq_8.6-4_i386.deb 30-Dec-2016 06:03 12900232
coq_8.6-4_ppc64el.deb 30-Dec-2016 07:53 18925312
coq_8.6-4_s390x.deb 30-Dec-2016 07:18 18928658
coq_8.6-4build3.debian.tar.xz 27-Jul-2017 08:53 22100
coq_8.6-4build3.dsc 27-Jul-2017 08:53 2153
coq_8.6-4build3_amd64.deb 27-Jul-2017 10:03 17521038
coq_8.6-4build3_armhf.deb 27-Jul-2017 10:03 17454528
coq_8.6-4build3_i386.deb 27-Jul-2017 09:34 16800848
coq_8.6-4build3_ppc64el.deb 28-Jul-2017 09:59 18015134
coq_8.6-4build3_s390x.deb 27-Jul-2017 09:34 17725484
coq_8.6-5build1.debian.tar.xz 28-Oct-2017 14:39 21864
coq_8.6-5build1.dsc 28-Oct-2017 14:39 2403
coq_8.6-5build1_amd64.deb 28-Oct-2017 15:34 17673808
coq_8.6-5build1_arm64.deb 28-Oct-2017 16:20 18867112
coq_8.6-5build1_armhf.deb 28-Oct-2017 16:20 16999728
coq_8.6-5build1_i386.deb 28-Oct-2017 15:34 16948548
coq_8.6-5build1_ppc64el.deb 28-Oct-2017 15:34 18204248
coq_8.6-5build1_s390x.deb 28-Oct-2017 15:35 17929824
coq_8.6.orig.tar.gz 28-Dec-2016 17:13 5008604
coq_8.9.1-1.debian.tar.xz 20-Aug-2019 11:13 29528
coq_8.9.1-1.dsc 20-Aug-2019 11:13 2186
coq_8.9.1-1_amd64.deb 20-Aug-2019 11:33 59085596
coq_8.9.1-1_arm64.deb 20-Aug-2019 12:08 63434200
coq_8.9.1-1_armhf.deb 20-Aug-2019 12:03 57546728
coq_8.9.1-1_i386.deb 20-Aug-2019 11:43 56309576
coq_8.9.1-1_ppc64el.deb 20-Aug-2019 11:43 60508948
coq_8.9.1-1_s390x.deb 20-Aug-2019 11:33 59502048
coq_8.9.1.orig.tar.gz 20-Aug-2019 11:13 5399586
coqide_8.0pl1-5_amd64.deb 14-Dec-2004 03:55 4257524
coqide_8.0pl1-5_i386.deb 14-Dec-2004 17:20 4036702
coqide_8.0pl1-5_ia64.deb 14-Dec-2004 04:40 2004336
coqide_8.0pl1-5_powerpc.deb 14-Dec-2004 04:00 4493912
coqide_8.0pl1-5_sparc.deb 02-Apr-2005 06:10 4567152
coqide_8.0pl2-2_amd64.deb 15-Aug-2005 09:15 4275330
coqide_8.0pl2-2_i386.deb 14-Apr-2005 10:10 4041904
coqide_8.0pl2-2_ia64.deb 15-Aug-2005 08:45 2012040
coqide_8.0pl2-2_powerpc.deb 13-Aug-2005 07:25 4518700
coqide_8.0pl2-2_sparc.deb 25-Aug-2005 15:10 4595302
coqide_8.0pl2-4_amd64.deb 18-Dec-2005 18:15 4379996
coqide_8.0pl2-4_hppa.deb 09-Dec-2005 23:25 4851506
coqide_8.0pl2-4_i386.deb 18-Dec-2005 19:10 4155076
coqide_8.0pl2-4_ia64.deb 18-Dec-2005 19:30 2118114
coqide_8.0pl2-4_powerpc.deb 21-Dec-2005 04:15 4608692
coqide_8.0pl2-4_sparc.deb 24-Dec-2005 09:00 4689476
coqide_8.0pl3-2_amd64.deb 13-Jul-2006 16:10 3662814
coqide_8.0pl3-2_i386.deb 13-Jul-2006 16:10 3440672
coqide_8.0pl3-2_ia64.deb 08-Jul-2006 13:09 1397762
coqide_8.0pl3-2_powerpc.deb 13-Jul-2006 17:10 3896000
coqide_8.0pl3-2_sparc.deb 13-Jul-2006 03:10 3977826
coqide_8.0pl3-2ubuntu1_amd64.deb 23-Mar-2007 14:03 3680374
coqide_8.0pl3-2ubuntu1_i386.deb 23-Mar-2007 14:03 3458396
coqide_8.0pl3-2ubuntu1_ia64.deb 23-Mar-2007 14:03 1411456
coqide_8.0pl3-2ubuntu1_powerpc.deb 23-Mar-2007 14:03 3962968
coqide_8.0pl3-2ubuntu1_sparc.deb 23-Mar-2007 14:03 4017576
coqide_8.1+dfsg-6_amd64.deb 11-Jul-2007 16:03 4914706
coqide_8.1+dfsg-6_i386.deb 11-Jul-2007 15:03 4662732
coqide_8.1+dfsg-6_ia64.deb 11-Jul-2007 18:03 2338102
coqide_8.1+dfsg-6_lpia.deb 31-Aug-2007 04:03 4649936
coqide_8.1+dfsg-6_powerpc.deb 11-Jul-2007 16:03 5209486
coqide_8.1+dfsg-6_sparc.deb 11-Jul-2007 17:03 5278710
coqide_8.1.pl3+dfsg-1_amd64.deb 08-Jan-2008 00:06 5222074
coqide_8.1.pl3+dfsg-1_hppa.deb 08-Jan-2008 21:12 2440008
coqide_8.1.pl3+dfsg-1_i386.deb 08-Jan-2008 00:07 4920022
coqide_8.1.pl3+dfsg-1_ia64.deb 08-Jan-2008 02:04 7924570
coqide_8.1.pl3+dfsg-1_lpia.deb 08-Jan-2008 00:07 2413582
coqide_8.1.pl3+dfsg-1_powerpc.deb 08-Jan-2008 00:07 5491602
coqide_8.1.pl3+dfsg-1_sparc.deb 08-Jan-2008 02:04 5502554
coqide_8.1.pl3+dfsg-1build1_amd64.deb 27-May-2008 14:04 5232966
coqide_8.1.pl3+dfsg-1build1_armel.deb 10-Dec-2008 03:04 2409666
coqide_8.1.pl3+dfsg-1build1_hppa.deb 31-May-2008 23:04 2446298
coqide_8.1.pl3+dfsg-1build1_i386.deb 27-May-2008 14:04 4930404
coqide_8.1.pl3+dfsg-1build1_ia64.deb 27-May-2008 17:06 2499540
coqide_8.1.pl3+dfsg-1build1_lpia.deb 02-Jun-2008 21:04 2420040
coqide_8.1.pl3+dfsg-1build1_powerpc.deb 27-May-2008 14:04 5468778
coqide_8.1.pl3+dfsg-1build1_sparc.deb 27-May-2008 15:07 5514074
coqide_8.12.0-3build1_amd64.deb 04-Oct-2020 01:38 1759240
coqide_8.12.0-3build1_arm64.deb 04-Oct-2020 02:53 2102196
coqide_8.12.0-3build1_armhf.deb 04-Oct-2020 02:53 1630608
coqide_8.12.0-3build1_ppc64el.deb 04-Oct-2020 02:08 1911896
coqide_8.12.0-3build1_riscv64.deb 04-Oct-2020 14:08 35120
coqide_8.12.0-3build3_amd64.deb 28-Nov-2020 10:13 1868760
coqide_8.12.0-3build3_arm64.deb 28-Nov-2020 11:58 2165976
coqide_8.12.0-3build3_armhf.deb 28-Nov-2020 11:38 1736688
coqide_8.12.0-3build3_ppc64el.deb 28-Nov-2020 10:13 1942096
coqide_8.12.0-3build3_riscv64.deb 28-Nov-2020 14:28 1768572
coqide_8.15.2+dfsg-2_amd64.deb 12-Jun-2022 05:34 2338534
coqide_8.15.2+dfsg-2_arm64.deb 12-Jun-2022 06:28 2800144
coqide_8.15.2+dfsg-2_armhf.deb 12-Jun-2022 06:28 2161120
coqide_8.15.2+dfsg-2_ppc64el.deb 12-Jun-2022 06:28 2500098
coqide_8.15.2+dfsg-2_riscv64.deb 12-Jun-2022 09:14 2251042
coqide_8.15.2+dfsg-2_s390x.deb 12-Jun-2022 06:29 2344168
coqide_8.2.pl1+dfsg-2_amd64.deb 28-Jul-2009 19:13 6538376
coqide_8.2.pl1+dfsg-2_armel.deb 29-Jul-2009 05:12 2410286
coqide_8.2.pl1+dfsg-2_i386.deb 28-Jul-2009 19:13 6014066
coqide_8.2.pl1+dfsg-2_ia64.deb 24-Aug-2009 21:06 2408956
coqide_8.2.pl1+dfsg-2_lpia.deb 28-Jul-2009 19:14 6008886
coqide_8.2.pl1+dfsg-2_powerpc.deb 29-Jul-2009 01:05 6584452
coqide_8.2.pl1+dfsg-2_sparc.deb 28-Jul-2009 19:15 6624920
coqide_8.2.pl1+dfsg-3_armel.deb 06-Nov-2009 00:05 2410234
coqide_8.2.pl1+dfsg-6_amd64.deb 27-Feb-2010 17:04 6544758
coqide_8.2.pl1+dfsg-6_i386.deb 27-Feb-2010 17:04 6019318
coqide_8.2.pl1+dfsg-6_ia64.deb 27-Feb-2010 21:04 2412574
coqide_8.2.pl1+dfsg-6_powerpc.deb 27-Feb-2010 17:04 6590284
coqide_8.2.pl1+dfsg-6_sparc.deb 28-Feb-2010 06:04 6630570
coqide_8.2.pl2+dfsg-1ubuntu1_amd64.deb 18-Sep-2010 19:04 6425022
coqide_8.2.pl2+dfsg-1ubuntu1_armel.deb 19-Sep-2010 06:05 2383842
coqide_8.2.pl2+dfsg-1ubuntu1_i386.deb 18-Sep-2010 19:05 5898780
coqide_8.2.pl2+dfsg-1ubuntu1_powerpc.deb 20-Sep-2010 06:32 6470648
coqide_8.3.pl2+dfsg-1build1_amd64.deb 25-Aug-2011 05:04 5483720
coqide_8.3.pl2+dfsg-1build1_armel.deb 25-Aug-2011 09:03 6063854
coqide_8.3.pl2+dfsg-1build1_i386.deb 25-Aug-2011 05:05 5088408
coqide_8.3.pl2+dfsg-1build1_powerpc.deb 25-Aug-2011 06:03 5505280
coqide_8.3.pl4+dfsg-1_amd64.deb 03-Apr-2012 11:34 5487638
coqide_8.3.pl4+dfsg-1_armel.deb 03-Apr-2012 13:03 6082796
coqide_8.3.pl4+dfsg-1_i386.deb 03-Apr-2012 11:04 5098422
coqide_8.3.pl4+dfsg-1_powerpc.deb 03-Apr-2012 11:34 5509628
coqide_8.3.pl4+dfsg-2_amd64.deb 08-Jun-2012 21:03 5488336
coqide_8.3.pl4+dfsg-2_armel.deb 08-Jun-2012 22:35 6093552
coqide_8.3.pl4+dfsg-2_i386.deb 08-Jun-2012 18:04 5104178
coqide_8.3.pl4+dfsg-2_powerpc.deb 09-Jun-2012 16:34 5515366
coqide_8.4pl2dfsg-1_amd64.deb 09-May-2013 00:03 996648
coqide_8.4pl2dfsg-1_i386.deb 09-May-2013 00:03 784708
coqide_8.4pl2dfsg-1_powerpc.deb 09-May-2013 00:04 894830
coqide_8.4pl4dfsg-1_amd64.deb 27-Jul-2014 23:53 743834
coqide_8.4pl4dfsg-1_arm64.deb 28-Jul-2014 02:58 203000
coqide_8.4pl4dfsg-1_armhf.deb 28-Jul-2014 00:58 771490
coqide_8.4pl4dfsg-1_i386.deb 27-Jul-2014 23:53 678034
coqide_8.4pl4dfsg-1_powerpc.deb 28-Jul-2014 00:48 642416
coqide_8.4pl4dfsg-1_ppc64el.deb 28-Jul-2014 01:28 202916
coqide_8.5-2build1_amd64.deb 15-May-2018 06:19 1212448
coqide_8.5-2build1_arm64.deb 13-Jun-2018 04:21 1102760
coqide_8.5-2build1_armhf.deb 13-Jun-2018 05:12 1114752
coqide_8.5-2build1_i386.deb 13-Jun-2018 05:59 1026922
coqide_8.5-2build1_powerpc.deb 13-Jun-2018 06:44 971680
coqide_8.5-2build1_ppc64el.deb 13-Jun-2018 07:51 1762116
coqide_8.5-2build1_s390x.deb 13-Jun-2018 08:49 1762096
coqide_8.6-4_amd64.deb 30-Dec-2016 06:03 1341042
coqide_8.6-4_arm64.deb 30-Dec-2016 06:34 1223198
coqide_8.6-4_armhf.deb 30-Dec-2016 06:34 1236330
coqide_8.6-4_i386.deb 30-Dec-2016 06:03 1149986
coqide_8.6-4_ppc64el.deb 30-Dec-2016 07:53 1825432
coqide_8.6-4_s390x.deb 30-Dec-2016 07:18 1825314
coqide_8.6-4build3_amd64.deb 27-Jul-2017 10:03 1505210
coqide_8.6-4build3_armhf.deb 27-Jul-2017 10:03 1660416
coqide_8.6-4build3_i386.deb 27-Jul-2017 09:34 1351584
coqide_8.6-4build3_ppc64el.deb 28-Jul-2017 09:59 1600522
coqide_8.6-4build3_s390x.deb 27-Jul-2017 09:34 1673016
coqide_8.6-5build1_amd64.deb 28-Oct-2017 15:34 1544828
coqide_8.6-5build1_arm64.deb 28-Oct-2017 16:20 1701988
coqide_8.6-5build1_armhf.deb 28-Oct-2017 16:20 1445016
coqide_8.6-5build1_i386.deb 28-Oct-2017 15:34 1388920
coqide_8.6-5build1_ppc64el.deb 28-Oct-2017 15:34 1784388
coqide_8.6-5build1_s390x.deb 28-Oct-2017 15:34 1830484
libcoq-core-ocaml-dev_8.15.2+dfsg-2_amd64.deb 12-Jun-2022 05:34 48901908
libcoq-core-ocaml-dev_8.15.2+dfsg-2_arm64.deb 12-Jun-2022 06:28 49327452
libcoq-core-ocaml-dev_8.15.2+dfsg-2_armhf.deb 12-Jun-2022 06:28 49578766
libcoq-core-ocaml-dev_8.15.2+dfsg-2_ppc64el.deb 12-Jun-2022 06:28 50289160
libcoq-core-ocaml-dev_8.15.2+dfsg-2_riscv64.deb 12-Jun-2022 09:14 55215440
libcoq-core-ocaml-dev_8.15.2+dfsg-2_s390x.deb 12-Jun-2022 06:29 48799344
libcoq-core-ocaml_8.15.2+dfsg-2_amd64.deb 12-Jun-2022 05:34 26830480
libcoq-core-ocaml_8.15.2+dfsg-2_arm64.deb 12-Jun-2022 06:28 28324518
libcoq-core-ocaml_8.15.2+dfsg-2_armhf.deb 12-Jun-2022 06:28 26674642
libcoq-core-ocaml_8.15.2+dfsg-2_ppc64el.deb 12-Jun-2022 06:28 27145176
libcoq-core-ocaml_8.15.2+dfsg-2_riscv64.deb 12-Jun-2022 09:14 26706352
libcoq-core-ocaml_8.15.2+dfsg-2_s390x.deb 12-Jun-2022 06:29 27294324
libcoq-ocaml-dev_8.12.0-3build1_amd64.deb 04-Oct-2020 01:38 16481072
libcoq-ocaml-dev_8.12.0-3build1_arm64.deb 04-Oct-2020 02:53 16846724
libcoq-ocaml-dev_8.12.0-3build1_armhf.deb 04-Oct-2020 02:53 17260120
libcoq-ocaml-dev_8.12.0-3build1_ppc64el.deb 04-Oct-2020 02:08 16924300
libcoq-ocaml-dev_8.12.0-3build1_riscv64.deb 04-Oct-2020 14:08 9691932
libcoq-ocaml-dev_8.12.0-3build3_amd64.deb 28-Nov-2020 10:13 18714416
libcoq-ocaml-dev_8.12.0-3build3_arm64.deb 28-Nov-2020 11:58 18715512
libcoq-ocaml-dev_8.12.0-3build3_armhf.deb 28-Nov-2020 11:38 19182344
libcoq-ocaml-dev_8.12.0-3build3_ppc64el.deb 28-Nov-2020 10:13 19394804
libcoq-ocaml-dev_8.12.0-3build3_riscv64.deb 28-Nov-2020 14:28 21566848
libcoq-ocaml-dev_8.2.pl1+dfsg-2_amd64.deb 28-Jul-2009 19:13 6016870
libcoq-ocaml-dev_8.2.pl1+dfsg-2_armel.deb 29-Jul-2009 05:12 1953088
libcoq-ocaml-dev_8.2.pl1+dfsg-2_i386.deb 28-Jul-2009 19:13 5867618
libcoq-ocaml-dev_8.2.pl1+dfsg-2_ia64.deb 24-Aug-2009 21:06 1941198
libcoq-ocaml-dev_8.2.pl1+dfsg-2_lpia.deb 28-Jul-2009 19:14 5865284
libcoq-ocaml-dev_8.2.pl1+dfsg-2_powerpc.deb 29-Jul-2009 01:05 6978606
libcoq-ocaml-dev_8.2.pl1+dfsg-2_sparc.deb 28-Jul-2009 19:15 6671060
libcoq-ocaml-dev_8.2.pl1+dfsg-3_armel.deb 06-Nov-2009 00:05 1956550
libcoq-ocaml-dev_8.2.pl1+dfsg-6_amd64.deb 27-Feb-2010 17:04 6039120
libcoq-ocaml-dev_8.2.pl1+dfsg-6_i386.deb 27-Feb-2010 17:04 5884584
libcoq-ocaml-dev_8.2.pl1+dfsg-6_ia64.deb 27-Feb-2010 21:04 1950964
libcoq-ocaml-dev_8.2.pl1+dfsg-6_powerpc.deb 27-Feb-2010 17:04 6994868
libcoq-ocaml-dev_8.2.pl1+dfsg-6_sparc.deb 28-Feb-2010 06:04 6687714
libcoq-ocaml-dev_8.2.pl2+dfsg-1ubuntu1_amd64.deb 18-Sep-2010 19:04 6024488
libcoq-ocaml-dev_8.2.pl2+dfsg-1ubuntu1_armel.deb 19-Sep-2010 06:05 1930936
libcoq-ocaml-dev_8.2.pl2+dfsg-1ubuntu1_i386.deb 18-Sep-2010 19:05 5902968
libcoq-ocaml-dev_8.2.pl2+dfsg-1ubuntu1_powerpc.deb 20-Sep-2010 06:32 6983036
libcoq-ocaml-dev_8.3.pl2+dfsg-1build1_amd64.deb 25-Aug-2011 05:04 5873544
libcoq-ocaml-dev_8.3.pl2+dfsg-1build1_armel.deb 25-Aug-2011 09:03 7528276
libcoq-ocaml-dev_8.3.pl2+dfsg-1build1_i386.deb 25-Aug-2011 05:05 5698876
libcoq-ocaml-dev_8.3.pl2+dfsg-1build1_powerpc.deb 25-Aug-2011 06:03 6637720
libcoq-ocaml-dev_8.3.pl4+dfsg-1_amd64.deb 03-Apr-2012 11:34 5842704
libcoq-ocaml-dev_8.3.pl4+dfsg-1_armel.deb 03-Apr-2012 13:03 7551918
libcoq-ocaml-dev_8.3.pl4+dfsg-1_i386.deb 03-Apr-2012 11:04 5745580
libcoq-ocaml-dev_8.3.pl4+dfsg-1_powerpc.deb 03-Apr-2012 11:34 6650128
libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb 08-Jun-2012 21:03 5874802
libcoq-ocaml-dev_8.3.pl4+dfsg-2_armel.deb 08-Jun-2012 22:35 7559606
libcoq-ocaml-dev_8.3.pl4+dfsg-2_i386.deb 08-Jun-2012 18:04 5748142
libcoq-ocaml-dev_8.3.pl4+dfsg-2_powerpc.deb 09-Jun-2012 16:34 6686142
libcoq-ocaml-dev_8.4pl2dfsg-1_amd64.deb 09-May-2013 00:03 5752170
libcoq-ocaml-dev_8.4pl2dfsg-1_i386.deb 09-May-2013 00:03 5604162
libcoq-ocaml-dev_8.4pl2dfsg-1_powerpc.deb 09-May-2013 00:04 6236660
libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb 27-Jul-2014 23:53 3723144
libcoq-ocaml-dev_8.4pl4dfsg-1_arm64.deb 28-Jul-2014 02:58 1248656
libcoq-ocaml-dev_8.4pl4dfsg-1_armhf.deb 28-Jul-2014 00:58 3987246
libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb 27-Jul-2014 23:53 3708326
libcoq-ocaml-dev_8.4pl4dfsg-1_powerpc.deb 28-Jul-2014 00:48 3530594
libcoq-ocaml-dev_8.4pl4dfsg-1_ppc64el.deb 28-Jul-2014 01:28 1249118
libcoq-ocaml-dev_8.5-2build1_amd64.deb 15-May-2018 06:50 13320164
libcoq-ocaml-dev_8.5-2build1_arm64.deb 13-Jun-2018 04:32 13532328
libcoq-ocaml-dev_8.5-2build1_armhf.deb 13-Jun-2018 05:22 13766780
libcoq-ocaml-dev_8.5-2build1_i386.deb 13-Jun-2018 06:11 13307820
libcoq-ocaml-dev_8.5-2build1_powerpc.deb 13-Jun-2018 06:58 13008002
libcoq-ocaml-dev_8.5-2build1_ppc64el.deb 13-Jun-2018 08:03 9926918
libcoq-ocaml-dev_8.5-2build1_s390x.deb 13-Jun-2018 09:07 9925570
libcoq-ocaml-dev_8.6-4_amd64.deb 30-Dec-2016 06:03 13159524
libcoq-ocaml-dev_8.6-4_arm64.deb 30-Dec-2016 06:34 13362874
libcoq-ocaml-dev_8.6-4_armhf.deb 30-Dec-2016 06:34 13630512
libcoq-ocaml-dev_8.6-4_i386.deb 30-Dec-2016 06:03 13171422
libcoq-ocaml-dev_8.6-4_ppc64el.deb 30-Dec-2016 07:53 9959486
libcoq-ocaml-dev_8.6-4_s390x.deb 30-Dec-2016 07:18 9956010
libcoq-ocaml-dev_8.6-4build3_amd64.deb 27-Jul-2017 10:03 13651850
libcoq-ocaml-dev_8.6-4build3_armhf.deb 27-Jul-2017 10:03 14577996
libcoq-ocaml-dev_8.6-4build3_i386.deb 27-Jul-2017 09:34 13642906
libcoq-ocaml-dev_8.6-4build3_ppc64el.deb 28-Jul-2017 09:59 13954610
libcoq-ocaml-dev_8.6-4build3_s390x.deb 27-Jul-2017 09:34 13698102
libcoq-ocaml-dev_8.6-5build1_amd64.deb 28-Oct-2017 15:34 13815188
libcoq-ocaml-dev_8.6-5build1_arm64.deb 28-Oct-2017 16:20 14025668
libcoq-ocaml-dev_8.6-5build1_armhf.deb 28-Oct-2017 16:20 14313492
libcoq-ocaml-dev_8.6-5build1_i386.deb 28-Oct-2017 15:34 13796020
libcoq-ocaml-dev_8.6-5build1_ppc64el.deb 28-Oct-2017 15:34 14088800
libcoq-ocaml-dev_8.6-5build1_s390x.deb 28-Oct-2017 15:34 13843460
libcoq-ocaml-dev_8.9.1-1_amd64.deb 20-Aug-2019 11:33 13667176
libcoq-ocaml-dev_8.9.1-1_arm64.deb 20-Aug-2019 12:08 13968812
libcoq-ocaml-dev_8.9.1-1_armhf.deb 20-Aug-2019 12:03 14356708
libcoq-ocaml-dev_8.9.1-1_i386.deb 20-Aug-2019 11:43 13698080
libcoq-ocaml-dev_8.9.1-1_ppc64el.deb 20-Aug-2019 11:43 14085248
libcoq-ocaml-dev_8.9.1-1_s390x.deb 20-Aug-2019 11:33 13706552
libcoq-ocaml_8.12.0-3build1_amd64.deb 04-Oct-2020 01:38 6712096
libcoq-ocaml_8.12.0-3build1_arm64.deb 04-Oct-2020 02:53 7208464
libcoq-ocaml_8.12.0-3build1_armhf.deb 04-Oct-2020 02:53 6662072
libcoq-ocaml_8.12.0-3build1_ppc64el.deb 04-Oct-2020 02:08 6898332
libcoq-ocaml_8.12.0-3build1_riscv64.deb 04-Oct-2020 14:08 4583608
libcoq-ocaml_8.12.0-3build3_amd64.deb 28-Nov-2020 10:13 7729056
libcoq-ocaml_8.12.0-3build3_arm64.deb 28-Nov-2020 11:58 8026296
libcoq-ocaml_8.12.0-3build3_armhf.deb 28-Nov-2020 11:38 7717196
libcoq-ocaml_8.12.0-3build3_ppc64el.deb 28-Nov-2020 10:13 7801792
libcoq-ocaml_8.12.0-3build3_riscv64.deb 28-Nov-2020 14:28 7662200
libcoq-ocaml_8.3.pl2+dfsg-1build1_amd64.deb 25-Aug-2011 05:04 2017932
libcoq-ocaml_8.3.pl2+dfsg-1build1_armel.deb 25-Aug-2011 09:03 486966
libcoq-ocaml_8.3.pl2+dfsg-1build1_i386.deb 25-Aug-2011 05:05 1780624
libcoq-ocaml_8.3.pl2+dfsg-1build1_powerpc.deb 25-Aug-2011 06:03 2066140
libcoq-ocaml_8.3.pl4+dfsg-1_amd64.deb 03-Apr-2012 11:34 2028268
libcoq-ocaml_8.3.pl4+dfsg-1_armel.deb 03-Apr-2012 13:03 489592
libcoq-ocaml_8.3.pl4+dfsg-1_i386.deb 03-Apr-2012 11:04 1782008
libcoq-ocaml_8.3.pl4+dfsg-1_powerpc.deb 03-Apr-2012 11:34 2069554
libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb 08-Jun-2012 21:03 2029992
libcoq-ocaml_8.3.pl4+dfsg-2_armel.deb 08-Jun-2012 22:35 490006
libcoq-ocaml_8.3.pl4+dfsg-2_i386.deb 08-Jun-2012 18:04 1783864
libcoq-ocaml_8.3.pl4+dfsg-2_powerpc.deb 09-Jun-2012 16:34 2065694
libcoq-ocaml_8.4pl2dfsg-1_amd64.deb 09-May-2013 00:03 2175990
libcoq-ocaml_8.4pl2dfsg-1_i386.deb 09-May-2013 00:03 1912878
libcoq-ocaml_8.4pl2dfsg-1_powerpc.deb 09-May-2013 00:04 2215604
libcoq-ocaml_8.4pl4dfsg-1_amd64.deb 27-Jul-2014 23:53 1586100
libcoq-ocaml_8.4pl4dfsg-1_arm64.deb 28-Jul-2014 02:58 329876
libcoq-ocaml_8.4pl4dfsg-1_armhf.deb 28-Jul-2014 00:58 1529756
libcoq-ocaml_8.4pl4dfsg-1_i386.deb 27-Jul-2014 23:53 1438666
libcoq-ocaml_8.4pl4dfsg-1_powerpc.deb 28-Jul-2014 00:48 1378528
libcoq-ocaml_8.4pl4dfsg-1_ppc64el.deb 28-Jul-2014 01:28 329374
libcoq-ocaml_8.5-2build1_amd64.deb 15-May-2018 06:50 3377698
libcoq-ocaml_8.5-2build1_arm64.deb 13-Jun-2018 04:32 3298688
libcoq-ocaml_8.5-2build1_armhf.deb 13-Jun-2018 05:22 3343078
libcoq-ocaml_8.5-2build1_i386.deb 13-Jun-2018 06:11 3278220
libcoq-ocaml_8.5-2build1_powerpc.deb 13-Jun-2018 06:58 3229296
libcoq-ocaml_8.5-2build1_ppc64el.deb 13-Jun-2018 08:03 2289272
libcoq-ocaml_8.5-2build1_s390x.deb 13-Jun-2018 09:07 2289568
libcoq-ocaml_8.6-4_amd64.deb 30-Dec-2016 06:03 3441850
libcoq-ocaml_8.6-4_arm64.deb 30-Dec-2016 06:34 3414872
libcoq-ocaml_8.6-4_armhf.deb 30-Dec-2016 06:34 3405238
libcoq-ocaml_8.6-4_i386.deb 30-Dec-2016 06:03 3339288
libcoq-ocaml_8.6-4_ppc64el.deb 30-Dec-2016 07:53 2309302
libcoq-ocaml_8.6-4_s390x.deb 30-Dec-2016 07:18 2310096
libcoq-ocaml_8.6-4build3_amd64.deb 27-Jul-2017 10:03 3570534
libcoq-ocaml_8.6-4build3_armhf.deb 27-Jul-2017 10:03 3601504
libcoq-ocaml_8.6-4build3_i386.deb 27-Jul-2017 09:34 3392254
libcoq-ocaml_8.6-4build3_ppc64el.deb 28-Jul-2017 09:59 3634868
libcoq-ocaml_8.6-4build3_s390x.deb 27-Jul-2017 09:34 3613938
libcoq-ocaml_8.6-5build1_amd64.deb 28-Oct-2017 15:34 3564612
libcoq-ocaml_8.6-5build1_arm64.deb 28-Oct-2017 16:20 3798220
libcoq-ocaml_8.6-5build1_armhf.deb 28-Oct-2017 16:20 3498152
libcoq-ocaml_8.6-5build1_i386.deb 28-Oct-2017 15:34 3394144
libcoq-ocaml_8.6-5build1_ppc64el.deb 28-Oct-2017 15:34 3663196
libcoq-ocaml_8.6-5build1_s390x.deb 28-Oct-2017 15:34 3624348
libcoq-ocaml_8.9.1-1_amd64.deb 20-Aug-2019 11:33 5418092
libcoq-ocaml_8.9.1-1_arm64.deb 20-Aug-2019 12:08 5844896
libcoq-ocaml_8.9.1-1_armhf.deb 20-Aug-2019 12:03 5340284
libcoq-ocaml_8.9.1-1_i386.deb 20-Aug-2019 11:43 5154808
libcoq-ocaml_8.9.1-1_ppc64el.deb 20-Aug-2019 11:43 5578352
libcoq-ocaml_8.9.1-1_s390x.deb 20-Aug-2019 11:33 5532724
libcoq-stdlib_8.15.2+dfsg-2_amd64.deb 12-Jun-2022 05:34 24455614
libcoq-stdlib_8.15.2+dfsg-2_arm64.deb 12-Jun-2022 06:28 24454816
libcoq-stdlib_8.15.2+dfsg-2_armhf.deb 12-Jun-2022 06:28 24450074
libcoq-stdlib_8.15.2+dfsg-2_ppc64el.deb 12-Jun-2022 06:28 24455940
libcoq-stdlib_8.15.2+dfsg-2_riscv64.deb 12-Jun-2022 09:14 24455978
libcoq-stdlib_8.15.2+dfsg-2_s390x.deb 12-Jun-2022 06:29 24456932