Index of /main/c/coq/
../
coq_8.10.2-1.debian.tar.xz 13-Jan-2020 17:59 24364
coq_8.10.2-1.dsc 13-Jan-2020 17:59 2475
coq_8.10.2.orig.tar.gz 13-Jan-2020 17:59 5510559
coq_8.11.0-1+rpi1.debian.tar.xz 10-Aug-2020 04:08 31760
coq_8.11.0-1+rpi1.dsc 10-Aug-2020 04:08 1633
coq_8.11.0-1.debian.tar.xz 06-Mar-2020 12:39 31672
coq_8.11.0-1.dsc 06-Mar-2020 12:39 2496
coq_8.11.0.orig.tar.gz 06-Mar-2020 12:39 5825620
coq_8.11.1~pre1-1.debian.tar.xz 17-Apr-2020 00:08 31396
coq_8.11.1~pre1-1.dsc 17-Apr-2020 00:08 2503
coq_8.11.1~pre1.orig.tar.gz 17-Apr-2020 00:08 5832949
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.14.0+dfsg-3.debian.tar.xz 13-Nov-2021 11:35 39608
coq_8.14.0+dfsg-3.dsc 13-Nov-2021 11:35 2583
coq_8.14.0+dfsg-4.debian.tar.xz 15-Nov-2021 06:13 39800
coq_8.14.0+dfsg-4.dsc 15-Nov-2021 06:13 3021
coq_8.14.0+dfsg-6.debian.tar.xz 16-Nov-2021 07:47 39844
coq_8.14.0+dfsg-6.dsc 16-Nov-2021 07:47 2925
coq_8.14.0+dfsg.orig.tar.xz 08-Nov-2021 08:56 4612184
coq_8.15.0+dfsg-2.debian.tar.xz 04-Feb-2022 23:03 39672
coq_8.15.0+dfsg-2.dsc 04-Feb-2022 23:03 2599
coq_8.15.0+dfsg.orig.tar.xz 17-Jan-2022 15:02 4669948
coq_8.2.pl2+dfsg-1.debian.tar.gz 17-Aug-2012 12:10 16779
coq_8.2.pl2+dfsg-1.dsc 17-Aug-2012 12:10 2157
coq_8.2.pl2+dfsg.orig.tar.gz 17-Aug-2012 12:10 3142575
coq_8.3.pl4+dfsg-1.debian.tar.gz 03-Aug-2012 21:19 16320
coq_8.3.pl4+dfsg-1.dsc 03-Aug-2012 21:19 2343
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.orig.tar.gz 19-Apr-2012 00:00 3154721
coq_8.4pl1dfsg-1.debian.tar.gz 24-Feb-2013 23:13 17190
coq_8.4pl1dfsg-1.dsc 24-Feb-2013 23:13 2344
coq_8.4pl1dfsg.orig.tar.gz 24-Feb-2013 23:13 3519203
coq_8.4pl2dfsg-1.debian.tar.gz 08-May-2013 16:55 17375
coq_8.4pl2dfsg-1.dsc 08-May-2013 16:55 2344
coq_8.4pl2dfsg-2.debian.tar.gz 26-Jul-2013 17:56 17445
coq_8.4pl2dfsg-2.dsc 26-Jul-2013 17:56 2356
coq_8.4pl2dfsg-3.debian.tar.gz 22-Nov-2013 23:15 17635
coq_8.4pl2dfsg-3.dsc 22-Nov-2013 23:15 2356
coq_8.4pl2dfsg-4.debian.tar.gz 03-Dec-2013 20:05 17870
coq_8.4pl2dfsg-4.dsc 03-Dec-2013 20:05 2356
coq_8.4pl2dfsg.orig.tar.gz 08-May-2013 16:55 3528138
coq_8.4pl3dfsg-1.debian.tar.xz 19-Jan-2014 16:34 15800
coq_8.4pl3dfsg-1.dsc 19-Jan-2014 16:34 2356
coq_8.4pl3dfsg.orig.tar.gz 19-Jan-2014 16:34 3521338
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-2.debian.tar.xz 14-Oct-2015 04:47 15976
coq_8.4pl4dfsg-2.dsc 14-Oct-2015 04:47 2374
coq_8.4pl4dfsg-3.debian.tar.xz 22-Oct-2015 22:39 16052
coq_8.4pl4dfsg-3.dsc 22-Oct-2015 22:39 2374
coq_8.4pl4dfsg.orig.tar.gz 27-Jul-2014 15:26 3527076
coq_8.5-1.debian.tar.xz 26-Jan-2016 22:48 16240
coq_8.5-1.dsc 26-Jan-2016 22:48 2396
coq_8.5-2.debian.tar.xz 28-Jan-2016 22:45 16660
coq_8.5-2.dsc 28-Jan-2016 22:45 2396
coq_8.5.orig.tar.gz 26-Jan-2016 22:48 4824349
coq_8.5~beta2+dfsg-1.debian.tar.xz 16-Jul-2015 22:39 15808
coq_8.5~beta2+dfsg-1.dsc 16-Jul-2015 22:39 2473
coq_8.5~beta2+dfsg-2.debian.tar.xz 20-Jul-2015 16:38 15896
coq_8.5~beta2+dfsg-2.dsc 20-Jul-2015 16:38 2473
coq_8.5~beta2+dfsg.orig.tar.gz 16-Jul-2015 22:39 4778412
coq_8.5~beta3+dfsg-1.debian.tar.xz 15-Nov-2015 04:13 15916
coq_8.5~beta3+dfsg-1.dsc 15-Nov-2015 04:13 2473
coq_8.5~beta3+dfsg-2.debian.tar.xz 15-Nov-2015 04:13 15944
coq_8.5~beta3+dfsg-2.dsc 15-Nov-2015 04:13 2473
coq_8.5~beta3+dfsg.orig.tar.gz 15-Nov-2015 04:13 4837057
coq_8.6-1.debian.tar.xz 29-Dec-2016 13:59 16732
coq_8.6-1.dsc 29-Dec-2016 13:59 2396
coq_8.6-2.debian.tar.xz 29-Dec-2016 13:59 21748
coq_8.6-2.dsc 29-Dec-2016 13:59 2396
coq_8.6-3.debian.tar.xz 29-Dec-2016 16:54 21924
coq_8.6-3.dsc 29-Dec-2016 16:54 2396
coq_8.6-4.debian.tar.xz 30-Dec-2016 11:00 21972
coq_8.6-4.dsc 30-Dec-2016 11:00 2396
coq_8.6-5.debian.tar.xz 28-Sep-2017 00:14 21784
coq_8.6-5.dsc 28-Sep-2017 00:14 2411
coq_8.6.orig.tar.gz 29-Dec-2016 13:59 5008604
coq_8.8.2-1.debian.tar.xz 07-Jan-2019 11:54 62720
coq_8.8.2-1.dsc 07-Jan-2019 11:54 2415
coq_8.8.2.orig.tar.gz 07-Jan-2019 11:54 5313133
coq_8.9.0-1.debian.tar.xz 07-Feb-2019 07:50 27816
coq_8.9.0-1.dsc 07-Feb-2019 07:50 2417
coq_8.9.0.orig.tar.gz 07-Feb-2019 07:50 5395769
coq_8.9.1-1.debian.tar.xz 29-Aug-2019 14:50 29528
coq_8.9.1-1.dsc 29-Aug-2019 14:50 2186
coq_8.9.1-2.debian.tar.xz 08-Nov-2019 23:51 29520
coq_8.9.1-2.dsc 08-Nov-2019 23:51 2162
coq_8.9.1-3.debian.tar.xz 25-Jan-2020 06:14 31220
coq_8.9.1-3.dsc 25-Jan-2020 06:14 2438
coq_8.9.1-4.debian.tar.xz 27-Jan-2020 12:01 31444
coq_8.9.1-4.dsc 27-Jan-2020 12:01 2438
coq_8.9.1-5.debian.tar.xz 29-Jan-2020 11:57 32048
coq_8.9.1-5.dsc 29-Jan-2020 11:57 2491
coq_8.9.1.orig.tar.gz 29-Aug-2019 14:50 5399586