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


../
coq-theories_8.12.0-3+b3_amd64.deb                 25-Nov-2020 07:28            36501836
coq-theories_8.12.0-3+b3_arm64.deb                 25-Nov-2020 07:58            23925860
coq-theories_8.12.0-3+b3_armel.deb                 25-Nov-2020 17:44            23913512
coq-theories_8.12.0-3+b3_armhf.deb                 25-Nov-2020 07:43            23918664
coq-theories_8.12.0-3+b3_i386.deb                  25-Nov-2020 07:18            35237680
coq-theories_8.12.0-3+b3_mips64el.deb              25-Nov-2020 16:41            23922476
coq-theories_8.12.0-3+b3_mipsel.deb                26-Nov-2020 00:43            23914852
coq-theories_8.12.0-3+b3_ppc64el.deb               25-Nov-2020 07:28            23920460
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.12.0-3+b3_amd64.deb                          25-Nov-2020 07:28            90453192
coq_8.12.0-3+b3_arm64.deb                          25-Nov-2020 07:58            96071892
coq_8.12.0-3+b3_armel.deb                          25-Nov-2020 17:44           105872392
coq_8.12.0-3+b3_armhf.deb                          25-Nov-2020 07:43            88355300
coq_8.12.0-3+b3_i386.deb                           25-Nov-2020 07:18            87886220
coq_8.12.0-3+b3_mips64el.deb                       25-Nov-2020 16:41           105866584
coq_8.12.0-3+b3_mipsel.deb                         26-Nov-2020 00:43           105883668
coq_8.12.0-3+b3_ppc64el.deb                        25-Nov-2020 07:28            91476120
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.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.12.0-3+b3_amd64.deb                       25-Nov-2020 07:28             1879212
coqide_8.12.0-3+b3_arm64.deb                       25-Nov-2020 07:58             2170596
coqide_8.12.0-3+b3_armel.deb                       25-Nov-2020 17:44               46764
coqide_8.12.0-3+b3_armhf.deb                       25-Nov-2020 07:43             1736840
coqide_8.12.0-3+b3_i386.deb                        25-Nov-2020 07:18             1723020
coqide_8.12.0-3+b3_mips64el.deb                    25-Nov-2020 16:41               46732
coqide_8.12.0-3+b3_mipsel.deb                      26-Nov-2020 00:43               46768
coqide_8.12.0-3+b3_ppc64el.deb                     25-Nov-2020 07:28             1958392
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.12.0-3+b3_amd64.deb             25-Nov-2020 07:28            18727404
libcoq-ocaml-dev_8.12.0-3+b3_arm64.deb             25-Nov-2020 07:58            18726796
libcoq-ocaml-dev_8.12.0-3+b3_armel.deb             25-Nov-2020 17:44            11283240
libcoq-ocaml-dev_8.12.0-3+b3_armhf.deb             25-Nov-2020 07:43            19195248
libcoq-ocaml-dev_8.12.0-3+b3_i386.deb              25-Nov-2020 07:18            18658564
libcoq-ocaml-dev_8.12.0-3+b3_mips64el.deb          25-Nov-2020 16:41            11277904
libcoq-ocaml-dev_8.12.0-3+b3_mipsel.deb            26-Nov-2020 00:43            11282888
libcoq-ocaml-dev_8.12.0-3+b3_ppc64el.deb           25-Nov-2020 07:28            19407804
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.12.0-3+b3_amd64.deb                 25-Nov-2020 07:28             7758156
libcoq-ocaml_8.12.0-3+b3_arm64.deb                 25-Nov-2020 07:58             7980456
libcoq-ocaml_8.12.0-3+b3_armel.deb                 25-Nov-2020 17:44             5460152
libcoq-ocaml_8.12.0-3+b3_armhf.deb                 25-Nov-2020 07:43             7743064
libcoq-ocaml_8.12.0-3+b3_i386.deb                  25-Nov-2020 07:18             7575772
libcoq-ocaml_8.12.0-3+b3_mips64el.deb              25-Nov-2020 16:41             5459888
libcoq-ocaml_8.12.0-3+b3_mipsel.deb                26-Nov-2020 00:43             5460088
libcoq-ocaml_8.12.0-3+b3_ppc64el.deb               25-Nov-2020 07:28             7816032
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