Index of /main/c/coq/


../
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.orig.tar.gz                              29-Aug-2019 14:50             5399586