← Retour sur l'intranet Index of /debian/pool/main/c/coq/

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


../
coq-theories_8.12.0-3+b3_amd64.deb                 25-Nov-2020 07:28     35M
coq-theories_8.12.0-3+b3_arm64.deb                 25-Nov-2020 07:58     23M
coq-theories_8.12.0-3+b3_armel.deb                 25-Nov-2020 17:44     23M
coq-theories_8.12.0-3+b3_armhf.deb                 25-Nov-2020 07:43     23M
coq-theories_8.12.0-3+b3_i386.deb                  25-Nov-2020 07:18     34M
coq-theories_8.12.0-3+b3_mips64el.deb              25-Nov-2020 16:41     23M
coq-theories_8.12.0-3+b3_mipsel.deb                26-Nov-2020 00:43     23M
coq-theories_8.12.0-3+b3_ppc64el.deb               25-Nov-2020 07:28     23M
coq-theories_8.9.0-1_amd64.deb                     06-Feb-2019 18:49     28M
coq-theories_8.9.0-1_arm64.deb                     06-Feb-2019 20:26     19M
coq-theories_8.9.0-1_armel.deb                     07-Feb-2019 01:44     19M
coq-theories_8.9.0-1_armhf.deb                     07-Feb-2019 21:15     19M
coq-theories_8.9.0-1_i386.deb                      06-Feb-2019 20:21     27M
coq-theories_8.9.0-1_mips.deb                      07-Feb-2019 03:15     19M
coq-theories_8.9.0-1_mips64el.deb                  09-Feb-2019 08:29     19M
coq-theories_8.9.0-1_mipsel.deb                    07-Feb-2019 00:59     19M
coq-theories_8.9.0-1_ppc64el.deb                   06-Feb-2019 20:00     19M
coq-theories_8.9.0-1_s390x.deb                     06-Feb-2019 20:00     19M
coq_8.12.0-3+b3_amd64.deb                          25-Nov-2020 07:28     86M
coq_8.12.0-3+b3_arm64.deb                          25-Nov-2020 07:58     92M
coq_8.12.0-3+b3_armel.deb                          25-Nov-2020 17:44    101M
coq_8.12.0-3+b3_armhf.deb                          25-Nov-2020 07:43     84M
coq_8.12.0-3+b3_i386.deb                           25-Nov-2020 07:18     84M
coq_8.12.0-3+b3_mips64el.deb                       25-Nov-2020 16:41    101M
coq_8.12.0-3+b3_mipsel.deb                         26-Nov-2020 00:43    101M
coq_8.12.0-3+b3_ppc64el.deb                        25-Nov-2020 07:28     87M
coq_8.12.0-3.debian.tar.xz                         10-Sep-2020 06:38     37K
coq_8.12.0-3.dsc                                   10-Sep-2020 06:38    2483
coq_8.12.0.orig.tar.gz                             22-Aug-2020 09:26      6M
coq_8.16.1+dfsg-1+b2_amd64.deb                     13-Feb-2023 01:14     89M
coq_8.16.1+dfsg-1+b2_arm64.deb                     13-Feb-2023 01:55     97M
coq_8.16.1+dfsg-1+b2_armhf.deb                     13-Feb-2023 01:55     86M
coq_8.16.1+dfsg-1+b2_i386.deb                      13-Feb-2023 01:29     83M
coq_8.16.1+dfsg-1+b2_ppc64el.deb                   13-Feb-2023 03:13     90M
coq_8.16.1+dfsg-1+b2_s390x.deb                     13-Feb-2023 01:45     89M
coq_8.16.1+dfsg-1.debian.tar.xz                    29-Nov-2022 08:35     32K
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      4M
coq_8.18.0+dfsg-1+b1_amd64.deb                     13-Mar-2024 05:25     78M
coq_8.18.0+dfsg-1+b1_arm64.deb                     13-Mar-2024 03:35     84M
coq_8.18.0+dfsg-1+b1_armhf.deb                     25-Mar-2024 11:12     75M
coq_8.18.0+dfsg-1+b1_i386.deb                      13-Mar-2024 05:46     74M
coq_8.18.0+dfsg-1+b1_ppc64el.deb                   13-Mar-2024 04:28     78M
coq_8.18.0+dfsg-1+b1_riscv64.deb                   27-Mar-2024 09:10     77M
coq_8.18.0+dfsg-1+b1_s390x.deb                     13-Mar-2024 11:53     77M
coq_8.18.0+dfsg-1.debian.tar.xz                    21-Dec-2023 13:58     32K
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     78M
coq_8.18.0+dfsg-1_arm64.deb                        21-Dec-2023 15:19     84M
coq_8.18.0+dfsg-1_armhf.deb                        21-Dec-2023 15:24     75M
coq_8.18.0+dfsg-1_i386.deb                         21-Dec-2023 18:21     74M
coq_8.18.0+dfsg-1_ppc64el.deb                      21-Dec-2023 16:50     78M
coq_8.18.0+dfsg-1_riscv64.deb                      22-Dec-2023 00:09     77M
coq_8.18.0+dfsg-1_s390x.deb                        21-Dec-2023 15:14     77M
coq_8.18.0+dfsg.orig.tar.xz                        21-Dec-2023 13:58      5M
coq_8.9.0-1.debian.tar.xz                          06-Feb-2019 18:49     27K
coq_8.9.0-1.dsc                                    06-Feb-2019 18:49    2417
coq_8.9.0-1_amd64.deb                              06-Feb-2019 18:49     56M
coq_8.9.0-1_arm64.deb                              06-Feb-2019 20:26     60M
coq_8.9.0-1_armel.deb                              07-Feb-2019 01:44     48M
coq_8.9.0-1_armhf.deb                              07-Feb-2019 21:15     55M
coq_8.9.0-1_i386.deb                               06-Feb-2019 20:21     54M
coq_8.9.0-1_mips.deb                               07-Feb-2019 03:15     48M
coq_8.9.0-1_mips64el.deb                           09-Feb-2019 08:29     48M
coq_8.9.0-1_mipsel.deb                             07-Feb-2019 00:59     48M
coq_8.9.0-1_ppc64el.deb                            06-Feb-2019 20:00     58M
coq_8.9.0-1_s390x.deb                              06-Feb-2019 20:00     56M
coq_8.9.0.orig.tar.gz                              06-Feb-2019 18:49      5M
coqide_8.12.0-3+b3_amd64.deb                       25-Nov-2020 07:28      2M
coqide_8.12.0-3+b3_arm64.deb                       25-Nov-2020 07:58      2M
coqide_8.12.0-3+b3_armel.deb                       25-Nov-2020 17:44     46K
coqide_8.12.0-3+b3_armhf.deb                       25-Nov-2020 07:43      2M
coqide_8.12.0-3+b3_i386.deb                        25-Nov-2020 07:18      2M
coqide_8.12.0-3+b3_mips64el.deb                    25-Nov-2020 16:41     46K
coqide_8.12.0-3+b3_mipsel.deb                      26-Nov-2020 00:43     46K
coqide_8.12.0-3+b3_ppc64el.deb                     25-Nov-2020 07:28      2M
coqide_8.16.1+dfsg-1+b2_amd64.deb                  13-Feb-2023 01:14      2M
coqide_8.16.1+dfsg-1+b2_arm64.deb                  13-Feb-2023 01:55      2M
coqide_8.16.1+dfsg-1+b2_armhf.deb                  13-Feb-2023 01:55      2M
coqide_8.16.1+dfsg-1+b2_i386.deb                   13-Feb-2023 01:29      2M
coqide_8.16.1+dfsg-1+b2_ppc64el.deb                13-Feb-2023 03:13      2M
coqide_8.16.1+dfsg-1+b2_s390x.deb                  13-Feb-2023 01:45      2M
coqide_8.18.0+dfsg-1+b1_amd64.deb                  13-Mar-2024 05:25      2M
coqide_8.18.0+dfsg-1+b1_arm64.deb                  13-Mar-2024 03:35      2M
coqide_8.18.0+dfsg-1+b1_armhf.deb                  25-Mar-2024 11:12      2M
coqide_8.18.0+dfsg-1+b1_i386.deb                   13-Mar-2024 05:46      2M
coqide_8.18.0+dfsg-1+b1_ppc64el.deb                13-Mar-2024 04:28      2M
coqide_8.18.0+dfsg-1+b1_riscv64.deb                27-Mar-2024 09:10      2M
coqide_8.18.0+dfsg-1+b1_s390x.deb                  13-Mar-2024 11:53      2M
coqide_8.18.0+dfsg-1_amd64.deb                     21-Dec-2023 17:16      2M
coqide_8.18.0+dfsg-1_arm64.deb                     21-Dec-2023 15:19      2M
coqide_8.18.0+dfsg-1_armhf.deb                     21-Dec-2023 15:24      2M
coqide_8.18.0+dfsg-1_i386.deb                      21-Dec-2023 18:21      2M
coqide_8.18.0+dfsg-1_ppc64el.deb                   21-Dec-2023 16:50      2M
coqide_8.18.0+dfsg-1_riscv64.deb                   22-Dec-2023 00:09      2M
coqide_8.18.0+dfsg-1_s390x.deb                     21-Dec-2023 15:14      2M
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb   13-Feb-2023 01:14     41M
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb   13-Feb-2023 01:55     41M
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb   13-Feb-2023 01:55     41M
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb    13-Feb-2023 01:29     40M
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_ppc64el.deb 13-Feb-2023 03:13     42M
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_s390x.deb   13-Feb-2023 01:45     40M
libcoq-core-ocaml-dev_8.18.0+dfsg-1+b1_amd64.deb   13-Mar-2024 05:25     42M
libcoq-core-ocaml-dev_8.18.0+dfsg-1+b1_arm64.deb   13-Mar-2024 03:35     42M
libcoq-core-ocaml-dev_8.18.0+dfsg-1+b1_armhf.deb   25-Mar-2024 11:12     43M
libcoq-core-ocaml-dev_8.18.0+dfsg-1+b1_i386.deb    13-Mar-2024 05:46     42M
libcoq-core-ocaml-dev_8.18.0+dfsg-1+b1_ppc64el.deb 13-Mar-2024 04:28     43M
libcoq-core-ocaml-dev_8.18.0+dfsg-1+b1_riscv64.deb 27-Mar-2024 09:10     47M
libcoq-core-ocaml-dev_8.18.0+dfsg-1+b1_s390x.deb   13-Mar-2024 11:53     42M
libcoq-core-ocaml-dev_8.18.0+dfsg-1_amd64.deb      21-Dec-2023 17:16     42M
libcoq-core-ocaml-dev_8.18.0+dfsg-1_arm64.deb      21-Dec-2023 15:19     42M
libcoq-core-ocaml-dev_8.18.0+dfsg-1_armhf.deb      21-Dec-2023 15:24     43M
libcoq-core-ocaml-dev_8.18.0+dfsg-1_i386.deb       21-Dec-2023 18:21     42M
libcoq-core-ocaml-dev_8.18.0+dfsg-1_ppc64el.deb    21-Dec-2023 16:50     43M
libcoq-core-ocaml-dev_8.18.0+dfsg-1_riscv64.deb    22-Dec-2023 00:09     47M
libcoq-core-ocaml-dev_8.18.0+dfsg-1_s390x.deb      21-Dec-2023 15:14     42M
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb       13-Feb-2023 01:14     22M
libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb       13-Feb-2023 01:55     22M
libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb       13-Feb-2023 01:55     21M
libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb        13-Feb-2023 01:29     21M
libcoq-core-ocaml_8.16.1+dfsg-1+b2_ppc64el.deb     13-Feb-2023 03:13     22M
libcoq-core-ocaml_8.16.1+dfsg-1+b2_s390x.deb       13-Feb-2023 01:45     22M
libcoq-core-ocaml_8.18.0+dfsg-1+b1_amd64.deb       13-Mar-2024 05:25     22M
libcoq-core-ocaml_8.18.0+dfsg-1+b1_arm64.deb       13-Mar-2024 03:35     23M
libcoq-core-ocaml_8.18.0+dfsg-1+b1_armhf.deb       25-Mar-2024 11:12     22M
libcoq-core-ocaml_8.18.0+dfsg-1+b1_i386.deb        13-Mar-2024 05:46     21M
libcoq-core-ocaml_8.18.0+dfsg-1+b1_ppc64el.deb     13-Mar-2024 04:28     22M
libcoq-core-ocaml_8.18.0+dfsg-1+b1_riscv64.deb     27-Mar-2024 09:10     22M
libcoq-core-ocaml_8.18.0+dfsg-1+b1_s390x.deb       13-Mar-2024 11:53     22M
libcoq-core-ocaml_8.18.0+dfsg-1_amd64.deb          21-Dec-2023 17:16     22M
libcoq-core-ocaml_8.18.0+dfsg-1_arm64.deb          21-Dec-2023 15:19     23M
libcoq-core-ocaml_8.18.0+dfsg-1_armhf.deb          21-Dec-2023 15:24     22M
libcoq-core-ocaml_8.18.0+dfsg-1_i386.deb           21-Dec-2023 18:21     21M
libcoq-core-ocaml_8.18.0+dfsg-1_ppc64el.deb        21-Dec-2023 16:50     22M
libcoq-core-ocaml_8.18.0+dfsg-1_riscv64.deb        22-Dec-2023 00:09     22M
libcoq-core-ocaml_8.18.0+dfsg-1_s390x.deb          21-Dec-2023 15:14     22M
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb             25-Nov-2020 07:28     18M
libcoq-ocaml-dev_8.12.0-3+b3_arm64.deb             25-Nov-2020 07:58     18M
libcoq-ocaml-dev_8.12.0-3+b3_armel.deb             25-Nov-2020 17:44     11M
libcoq-ocaml-dev_8.12.0-3+b3_armhf.deb             25-Nov-2020 07:43     18M
libcoq-ocaml-dev_8.12.0-3+b3_i386.deb              25-Nov-2020 07:18     18M
libcoq-ocaml-dev_8.12.0-3+b3_mips64el.deb          25-Nov-2020 16:41     11M
libcoq-ocaml-dev_8.12.0-3+b3_mipsel.deb            26-Nov-2020 00:43     11M
libcoq-ocaml-dev_8.12.0-3+b3_ppc64el.deb           25-Nov-2020 07:28     19M
libcoq-ocaml-dev_8.9.0-1_amd64.deb                 06-Feb-2019 18:49     13M
libcoq-ocaml-dev_8.9.0-1_arm64.deb                 06-Feb-2019 20:26     13M
libcoq-ocaml-dev_8.9.0-1_armel.deb                 07-Feb-2019 01:44      8M
libcoq-ocaml-dev_8.9.0-1_armhf.deb                 07-Feb-2019 21:15     14M
libcoq-ocaml-dev_8.9.0-1_i386.deb                  06-Feb-2019 20:21     13M
libcoq-ocaml-dev_8.9.0-1_mips.deb                  07-Feb-2019 03:15      8M
libcoq-ocaml-dev_8.9.0-1_mips64el.deb              09-Feb-2019 08:29      8M
libcoq-ocaml-dev_8.9.0-1_mipsel.deb                07-Feb-2019 00:59      8M
libcoq-ocaml-dev_8.9.0-1_ppc64el.deb               06-Feb-2019 20:00     13M
libcoq-ocaml-dev_8.9.0-1_s390x.deb                 06-Feb-2019 20:00     13M
libcoq-ocaml_8.12.0-3+b3_amd64.deb                 25-Nov-2020 07:28      7M
libcoq-ocaml_8.12.0-3+b3_arm64.deb                 25-Nov-2020 07:58      8M
libcoq-ocaml_8.12.0-3+b3_armel.deb                 25-Nov-2020 17:44      5M
libcoq-ocaml_8.12.0-3+b3_armhf.deb                 25-Nov-2020 07:43      7M
libcoq-ocaml_8.12.0-3+b3_i386.deb                  25-Nov-2020 07:18      7M
libcoq-ocaml_8.12.0-3+b3_mips64el.deb              25-Nov-2020 16:41      5M
libcoq-ocaml_8.12.0-3+b3_mipsel.deb                26-Nov-2020 00:43      5M
libcoq-ocaml_8.12.0-3+b3_ppc64el.deb               25-Nov-2020 07:28      7M
libcoq-ocaml_8.9.0-1_amd64.deb                     06-Feb-2019 18:49      5M
libcoq-ocaml_8.9.0-1_arm64.deb                     06-Feb-2019 20:26      6M
libcoq-ocaml_8.9.0-1_armel.deb                     07-Feb-2019 01:44      3M
libcoq-ocaml_8.9.0-1_armhf.deb                     07-Feb-2019 21:15      5M
libcoq-ocaml_8.9.0-1_i386.deb                      06-Feb-2019 20:21      5M
libcoq-ocaml_8.9.0-1_mips.deb                      07-Feb-2019 03:15      3M
libcoq-ocaml_8.9.0-1_mips64el.deb                  09-Feb-2019 08:29      3M
libcoq-ocaml_8.9.0-1_mipsel.deb                    07-Feb-2019 00:59      3M
libcoq-ocaml_8.9.0-1_ppc64el.deb                   06-Feb-2019 20:00      5M
libcoq-ocaml_8.9.0-1_s390x.deb                     06-Feb-2019 20:00      5M
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb           13-Feb-2023 01:14     21M
libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb           13-Feb-2023 01:55     21M
libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb           13-Feb-2023 01:55     21M
libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb            13-Feb-2023 01:29     21M
libcoq-stdlib_8.16.1+dfsg-1+b2_ppc64el.deb         13-Feb-2023 03:13     21M
libcoq-stdlib_8.16.1+dfsg-1+b2_s390x.deb           13-Feb-2023 01:45     21M
libcoq-stdlib_8.18.0+dfsg-1+b1_amd64.deb           13-Mar-2024 05:25     22M
libcoq-stdlib_8.18.0+dfsg-1+b1_arm64.deb           13-Mar-2024 03:35     22M
libcoq-stdlib_8.18.0+dfsg-1+b1_armhf.deb           25-Mar-2024 11:12     22M
libcoq-stdlib_8.18.0+dfsg-1+b1_i386.deb            13-Mar-2024 05:46     22M
libcoq-stdlib_8.18.0+dfsg-1+b1_ppc64el.deb         13-Mar-2024 04:28     22M
libcoq-stdlib_8.18.0+dfsg-1+b1_riscv64.deb         27-Mar-2024 09:10     22M
libcoq-stdlib_8.18.0+dfsg-1+b1_s390x.deb           13-Mar-2024 11:53     22M
libcoq-stdlib_8.18.0+dfsg-1_amd64.deb              21-Dec-2023 17:16     22M
libcoq-stdlib_8.18.0+dfsg-1_arm64.deb              21-Dec-2023 15:19     22M
libcoq-stdlib_8.18.0+dfsg-1_armhf.deb              21-Dec-2023 15:24     22M
libcoq-stdlib_8.18.0+dfsg-1_i386.deb               21-Dec-2023 18:21     22M
libcoq-stdlib_8.18.0+dfsg-1_ppc64el.deb            21-Dec-2023 16:50     22M
libcoq-stdlib_8.18.0+dfsg-1_riscv64.deb            22-Dec-2023 00:09     22M
libcoq-stdlib_8.18.0+dfsg-1_s390x.deb              21-Dec-2023 15:14     22M