Index of /debian/pool/main/c/coq/


../
coq-theories_8.11.0-1+b1_amd64.deb                 07-Apr-2020 15:29            33269648
coq-theories_8.11.0-1+b1_arm64.deb                 07-Apr-2020 17:10            21431952
coq-theories_8.11.0-1+b1_ppc64el.deb               07-Apr-2020 15:13            21435388
coq-theories_8.11.1~pre1-1_amd64.deb               16-Apr-2020 22:32            33294392
coq-theories_8.11.1~pre1-1_arm64.deb               16-Apr-2020 20:45            21426128
coq-theories_8.11.1~pre1-1_armel.deb               17-Apr-2020 06:44            21417164
coq-theories_8.11.1~pre1-1_armhf.deb               16-Apr-2020 21:15            21410660
coq-theories_8.11.1~pre1-1_i386.deb                16-Apr-2020 21:25            31506148
coq-theories_8.11.1~pre1-1_mips64el.deb            03-May-2020 03:26            21424684
coq-theories_8.11.1~pre1-1_mipsel.deb              24-Apr-2020 13:27            21416628
coq-theories_8.11.1~pre1-1_ppc64el.deb             16-Apr-2020 19:59            21425868
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
coq_8.11.0-1+b1_amd64.deb                          07-Apr-2020 15:29            76593512
coq_8.11.0-1+b1_arm64.deb                          07-Apr-2020 17:10            83882096
coq_8.11.0-1+b1_ppc64el.deb                        07-Apr-2020 15:13            78839544
coq_8.11.0-1.debian.tar.xz                         05-Mar-2020 21:39               31672
coq_8.11.0-1.dsc                                   05-Mar-2020 21:39                2496
coq_8.11.0.orig.tar.gz                             05-Mar-2020 21:39             5825620
coq_8.11.1~pre1-1.debian.tar.xz                    16-Apr-2020 18:57               31396
coq_8.11.1~pre1-1.dsc                              16-Apr-2020 18:57                2503
coq_8.11.1~pre1-1_amd64.deb                        16-Apr-2020 22:32            76523652
coq_8.11.1~pre1-1_arm64.deb                        16-Apr-2020 20:45            83824140
coq_8.11.1~pre1-1_armel.deb                        17-Apr-2020 06:44            87158220
coq_8.11.1~pre1-1_armhf.deb                        16-Apr-2020 21:15            73698892
coq_8.11.1~pre1-1_i386.deb                         16-Apr-2020 21:25            72104736
coq_8.11.1~pre1-1_mips64el.deb                     03-May-2020 03:26            87153388
coq_8.11.1~pre1-1_mipsel.deb                       24-Apr-2020 13:27            87154172
coq_8.11.1~pre1-1_ppc64el.deb                      16-Apr-2020 19:59            78728908
coq_8.11.1~pre1.orig.tar.gz                        16-Apr-2020 18:57             5832949
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_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.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.11.0-1+b1_amd64.deb                       07-Apr-2020 15:29             1719048
coqide_8.11.0-1+b1_arm64.deb                       07-Apr-2020 17:10             2057764
coqide_8.11.0-1+b1_ppc64el.deb                     07-Apr-2020 15:13             1873872
coqide_8.11.1~pre1-1_amd64.deb                     16-Apr-2020 22:32             1712212
coqide_8.11.1~pre1-1_arm64.deb                     16-Apr-2020 20:45             2058040
coqide_8.11.1~pre1-1_armel.deb                     17-Apr-2020 06:44               46236
coqide_8.11.1~pre1-1_armhf.deb                     16-Apr-2020 21:15             1578184
coqide_8.11.1~pre1-1_i386.deb                      16-Apr-2020 21:25             1530532
coqide_8.11.1~pre1-1_mips64el.deb                  03-May-2020 03:26               46236
coqide_8.11.1~pre1-1_mipsel.deb                    24-Apr-2020 13:27               46236
coqide_8.11.1~pre1-1_ppc64el.deb                   16-Apr-2020 19:59             1862700
coqide_8.4pl4dfsg-1_amd64.deb                      27-Jul-2014 15:26              797340
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.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.11.0-1+b1_amd64.deb             07-Apr-2020 15:29            16070112
libcoq-ocaml-dev_8.11.0-1+b1_arm64.deb             07-Apr-2020 17:10            16437436
libcoq-ocaml-dev_8.11.0-1+b1_ppc64el.deb           07-Apr-2020 15:13            16502240
libcoq-ocaml-dev_8.11.1~pre1-1_amd64.deb           16-Apr-2020 22:32            16067728
libcoq-ocaml-dev_8.11.1~pre1-1_arm64.deb           16-Apr-2020 20:45            16435512
libcoq-ocaml-dev_8.11.1~pre1-1_armel.deb           17-Apr-2020 06:44             9372592
libcoq-ocaml-dev_8.11.1~pre1-1_armhf.deb           16-Apr-2020 21:15            16817660
libcoq-ocaml-dev_8.11.1~pre1-1_i386.deb            16-Apr-2020 21:25            16037016
libcoq-ocaml-dev_8.11.1~pre1-1_mips64el.deb        03-May-2020 03:26             9371884
libcoq-ocaml-dev_8.11.1~pre1-1_mipsel.deb          24-Apr-2020 13:27             9372592
libcoq-ocaml-dev_8.11.1~pre1-1_ppc64el.deb         16-Apr-2020 19:59            16508008
libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb            27-Jul-2014 15:26             3780318
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.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.11.0-1+b1_amd64.deb                 07-Apr-2020 15:29             6354016
libcoq-ocaml_8.11.0-1+b1_arm64.deb                 07-Apr-2020 17:10             6753356
libcoq-ocaml_8.11.0-1+b1_ppc64el.deb               07-Apr-2020 15:13             6483756
libcoq-ocaml_8.11.1~pre1-1_amd64.deb               16-Apr-2020 22:32             6362496
libcoq-ocaml_8.11.1~pre1-1_arm64.deb               16-Apr-2020 20:45             6757376
libcoq-ocaml_8.11.1~pre1-1_armel.deb               17-Apr-2020 06:44             4248832
libcoq-ocaml_8.11.1~pre1-1_armhf.deb               16-Apr-2020 21:15             6288692
libcoq-ocaml_8.11.1~pre1-1_i386.deb                16-Apr-2020 21:25             6057628
libcoq-ocaml_8.11.1~pre1-1_mips64el.deb            03-May-2020 03:26             4247392
libcoq-ocaml_8.11.1~pre1-1_mipsel.deb              24-Apr-2020 13:27             4247836
libcoq-ocaml_8.11.1~pre1-1_ppc64el.deb             16-Apr-2020 19:59             6488152
libcoq-ocaml_8.4pl4dfsg-1_amd64.deb                27-Jul-2014 15:26             1637886
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.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