Index of /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.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.16.1+dfsg-1+b2_amd64.deb                     13-Feb-2023 01:14            93212572
coq_8.16.1+dfsg-1+b2_arm64.deb                     13-Feb-2023 01:55           102168100
coq_8.16.1+dfsg-1+b2_armhf.deb                     13-Feb-2023 01:55            89867592
coq_8.16.1+dfsg-1+b2_i386.deb                      13-Feb-2023 01:29            87517396
coq_8.16.1+dfsg-1+b2_ppc64el.deb                   13-Feb-2023 03:13            93886792
coq_8.16.1+dfsg-1+b2_s390x.deb                     13-Feb-2023 01:45            93314900
coq_8.16.1+dfsg-1.debian.tar.xz                    29-Nov-2022 08:35               33236
coq_8.16.1+dfsg-1.dsc                              29-Nov-2022 08:35                2629
coq_8.16.1+dfsg.orig.tar.xz                        29-Nov-2022 08:35             4717668
coq_8.18.0+dfsg-1+b1_amd64.deb                     13-Mar-2024 05:25            81734392
coq_8.18.0+dfsg-1+b1_arm64.deb                     13-Mar-2024 03:35            88115192
coq_8.18.0+dfsg-1+b1_armhf.deb                     25-Mar-2024 11:12            78415036
coq_8.18.0+dfsg-1+b1_i386.deb                      13-Mar-2024 05:46            77154364
coq_8.18.0+dfsg-1+b1_ppc64el.deb                   13-Mar-2024 04:28            81694852
coq_8.18.0+dfsg-1+b1_riscv64.deb                   27-Mar-2024 09:10            81124140
coq_8.18.0+dfsg-1+b1_s390x.deb                     13-Mar-2024 11:53            81225544
coq_8.18.0+dfsg-1.debian.tar.xz                    21-Dec-2023 13:58               33160
coq_8.18.0+dfsg-1.dsc                              21-Dec-2023 13:58                2570
coq_8.18.0+dfsg-1_amd64.deb                        21-Dec-2023 17:16            81718924
coq_8.18.0+dfsg-1_arm64.deb                        21-Dec-2023 15:19            88111040
coq_8.18.0+dfsg-1_armhf.deb                        21-Dec-2023 15:24            78415728
coq_8.18.0+dfsg-1_i386.deb                         21-Dec-2023 18:21            77154484
coq_8.18.0+dfsg-1_ppc64el.deb                      21-Dec-2023 16:50            81694624
coq_8.18.0+dfsg-1_s390x.deb                        21-Dec-2023 15:14            81214176
coq_8.18.0+dfsg.orig.tar.xz                        21-Dec-2023 13:58             4868368
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.16.1+dfsg-1+b2_amd64.deb                  13-Feb-2023 01:14             1993412
coqide_8.16.1+dfsg-1+b2_arm64.deb                  13-Feb-2023 01:55             2310756
coqide_8.16.1+dfsg-1+b2_armhf.deb                  13-Feb-2023 01:55             1834728
coqide_8.16.1+dfsg-1+b2_i386.deb                   13-Feb-2023 01:29             1806236
coqide_8.16.1+dfsg-1+b2_ppc64el.deb                13-Feb-2023 03:13             2076580
coqide_8.16.1+dfsg-1+b2_s390x.deb                  13-Feb-2023 01:45             1979904
coqide_8.18.0+dfsg-1+b1_amd64.deb                  13-Mar-2024 05:25             2001104
coqide_8.18.0+dfsg-1+b1_arm64.deb                  13-Mar-2024 03:35             2326488
coqide_8.18.0+dfsg-1+b1_armhf.deb                  25-Mar-2024 11:12             1845580
coqide_8.18.0+dfsg-1+b1_i386.deb                   13-Mar-2024 05:46             1817676
coqide_8.18.0+dfsg-1+b1_ppc64el.deb                13-Mar-2024 04:28             2079128
coqide_8.18.0+dfsg-1+b1_riscv64.deb                27-Mar-2024 09:10             2015880
coqide_8.18.0+dfsg-1+b1_s390x.deb                  13-Mar-2024 11:53             1993904
coqide_8.18.0+dfsg-1_amd64.deb                     21-Dec-2023 17:16             2000792
coqide_8.18.0+dfsg-1_arm64.deb                     21-Dec-2023 15:19             2318272
coqide_8.18.0+dfsg-1_armhf.deb                     21-Dec-2023 15:24             1842840
coqide_8.18.0+dfsg-1_i386.deb                      21-Dec-2023 18:21             1814976
coqide_8.18.0+dfsg-1_ppc64el.deb                   21-Dec-2023 16:50             2069200
coqide_8.18.0+dfsg-1_s390x.deb                     21-Dec-2023 15:14             1992612
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb   13-Feb-2023 01:14            42725424
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb   13-Feb-2023 01:55            42825080
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb   13-Feb-2023 01:55            43114464
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb    13-Feb-2023 01:29            42449528
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_ppc64el.deb 13-Feb-2023 03:13            43561824
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_s390x.deb   13-Feb-2023 01:45            42245924
libcoq-core-ocaml-dev_8.18.0+dfsg-1+b1_amd64.deb   13-Mar-2024 05:25            44437052
libcoq-core-ocaml-dev_8.18.0+dfsg-1+b1_arm64.deb   13-Mar-2024 03:35            44513080
libcoq-core-ocaml-dev_8.18.0+dfsg-1+b1_armhf.deb   25-Mar-2024 11:12            44798632
libcoq-core-ocaml-dev_8.18.0+dfsg-1+b1_i386.deb    13-Mar-2024 05:46            44145736
libcoq-core-ocaml-dev_8.18.0+dfsg-1+b1_ppc64el.deb 13-Mar-2024 04:28            45260308
libcoq-core-ocaml-dev_8.18.0+dfsg-1+b1_riscv64.deb 27-Mar-2024 09:10            48946200
libcoq-core-ocaml-dev_8.18.0+dfsg-1+b1_s390x.deb   13-Mar-2024 11:53            43882732
libcoq-core-ocaml-dev_8.18.0+dfsg-1_amd64.deb      21-Dec-2023 17:16            44441076
libcoq-core-ocaml-dev_8.18.0+dfsg-1_arm64.deb      21-Dec-2023 15:19            44516340
libcoq-core-ocaml-dev_8.18.0+dfsg-1_armhf.deb      21-Dec-2023 15:24            44800756
libcoq-core-ocaml-dev_8.18.0+dfsg-1_i386.deb       21-Dec-2023 18:21            44137932
libcoq-core-ocaml-dev_8.18.0+dfsg-1_ppc64el.deb    21-Dec-2023 16:50            45265212
libcoq-core-ocaml-dev_8.18.0+dfsg-1_s390x.deb      21-Dec-2023 15:14            43888640
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb       13-Feb-2023 01:14            22556068
libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb       13-Feb-2023 01:55            23093000
libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb       13-Feb-2023 01:55            22259280
libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb        13-Feb-2023 01:29            21747176
libcoq-core-ocaml_8.16.1+dfsg-1+b2_ppc64el.deb     13-Feb-2023 03:13            22620372
libcoq-core-ocaml_8.16.1+dfsg-1+b2_s390x.deb       13-Feb-2023 01:45            22619920
libcoq-core-ocaml_8.18.0+dfsg-1+b1_amd64.deb       13-Mar-2024 05:25            23214996
libcoq-core-ocaml_8.18.0+dfsg-1+b1_arm64.deb       13-Mar-2024 03:35            23767116
libcoq-core-ocaml_8.18.0+dfsg-1+b1_armhf.deb       25-Mar-2024 11:12            22943480
libcoq-core-ocaml_8.18.0+dfsg-1+b1_i386.deb        13-Mar-2024 05:46            22397952
libcoq-core-ocaml_8.18.0+dfsg-1+b1_ppc64el.deb     13-Mar-2024 04:28            23286204
libcoq-core-ocaml_8.18.0+dfsg-1+b1_riscv64.deb     27-Mar-2024 09:10            23217448
libcoq-core-ocaml_8.18.0+dfsg-1+b1_s390x.deb       13-Mar-2024 11:53            23247424
libcoq-core-ocaml_8.18.0+dfsg-1_amd64.deb          21-Dec-2023 17:16            23212704
libcoq-core-ocaml_8.18.0+dfsg-1_arm64.deb          21-Dec-2023 15:19            23774380
libcoq-core-ocaml_8.18.0+dfsg-1_armhf.deb          21-Dec-2023 15:24            22942992
libcoq-core-ocaml_8.18.0+dfsg-1_i386.deb           21-Dec-2023 18:21            22395260
libcoq-core-ocaml_8.18.0+dfsg-1_ppc64el.deb        21-Dec-2023 16:50            23286552
libcoq-core-ocaml_8.18.0+dfsg-1_s390x.deb          21-Dec-2023 15:14            23246668
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.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.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
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb           13-Feb-2023 01:14            21526056
libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb           13-Feb-2023 01:55            21528036
libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb           13-Feb-2023 01:55            21527688
libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb            13-Feb-2023 01:29            21528432
libcoq-stdlib_8.16.1+dfsg-1+b2_ppc64el.deb         13-Feb-2023 03:13            21528192
libcoq-stdlib_8.16.1+dfsg-1+b2_s390x.deb           13-Feb-2023 01:45            21529156
libcoq-stdlib_8.18.0+dfsg-1+b1_amd64.deb           13-Mar-2024 05:25            23237440
libcoq-stdlib_8.18.0+dfsg-1+b1_arm64.deb           13-Mar-2024 03:35            23241188
libcoq-stdlib_8.18.0+dfsg-1+b1_armhf.deb           25-Mar-2024 11:12            23234980
libcoq-stdlib_8.18.0+dfsg-1+b1_i386.deb            13-Mar-2024 05:46            23235020
libcoq-stdlib_8.18.0+dfsg-1+b1_ppc64el.deb         13-Mar-2024 04:28            23238156
libcoq-stdlib_8.18.0+dfsg-1+b1_riscv64.deb         27-Mar-2024 09:10            23239572
libcoq-stdlib_8.18.0+dfsg-1+b1_s390x.deb           13-Mar-2024 11:53            23234380
libcoq-stdlib_8.18.0+dfsg-1_amd64.deb              21-Dec-2023 17:16            23237712
libcoq-stdlib_8.18.0+dfsg-1_arm64.deb              21-Dec-2023 15:19            23241824
libcoq-stdlib_8.18.0+dfsg-1_armhf.deb              21-Dec-2023 15:24            23234328
libcoq-stdlib_8.18.0+dfsg-1_i386.deb               21-Dec-2023 18:21            23234760
libcoq-stdlib_8.18.0+dfsg-1_ppc64el.deb            21-Dec-2023 16:50            23237384
libcoq-stdlib_8.18.0+dfsg-1_s390x.deb              21-Dec-2023 15:14            23234116