Index of /mirror/ftp.debian.org/debian-archive/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