Index of /trisquel/packages/pool/main/c/coq/


../
coq-theories_8.11.0-1_amd64.deb                    06-Mar-2020 08:38     32M
coq-theories_8.4pl4dfsg-3build2_all.deb            04-Nov-2015 14:04     31M
coq-theories_8.6-5build1_amd64.deb                 28-Oct-2017 15:34     32M
coq-theories_8.6-5build1_i386.deb                  28-Oct-2017 15:34     31M
coq_8.11.0-1.debian.tar.xz                         06-Mar-2020 07:53     31K
coq_8.11.0-1.dsc                                   06-Mar-2020 07:53    2496
coq_8.11.0-1_amd64.deb                             06-Mar-2020 08:38     73M
coq_8.11.0.orig.tar.gz                             06-Mar-2020 07:53      6M
coq_8.15.0+dfsg-2.debian.tar.xz                    05-Feb-2022 17:49     39K
coq_8.15.0+dfsg-2.dsc                              05-Feb-2022 17:49    2599
coq_8.15.0+dfsg-2_amd64.deb                        05-Feb-2022 23:52     91M
coq_8.15.0+dfsg-2_arm64.deb                        06-Feb-2022 12:54    102M
coq_8.15.0+dfsg-2_armhf.deb                        05-Feb-2022 23:53     89M
coq_8.15.0+dfsg-2_ppc64el.deb                      05-Feb-2022 23:53     94M
coq_8.15.0+dfsg.orig.tar.xz                        17-Jan-2022 23:14      4M
coq_8.18.0+dfsg-1.debian.tar.xz                    22-Dec-2023 19:46     32K
coq_8.18.0+dfsg-1.dsc                              22-Dec-2023 19:46    2570
coq_8.18.0+dfsg-1_amd64.deb                        22-Dec-2023 19:47    114M
coq_8.18.0+dfsg-1_arm64.deb                        22-Dec-2023 20:32    126M
coq_8.18.0+dfsg-1_armhf.deb                        22-Dec-2023 20:32    110M
coq_8.18.0+dfsg-1_ppc64el.deb                      22-Dec-2023 19:47    117M
coq_8.18.0+dfsg-1_riscv64.deb                      22-Dec-2023 22:01    115M
coq_8.18.0+dfsg-1build2.debian.tar.xz              31-Mar-2024 18:36     33K
coq_8.18.0+dfsg-1build2.dsc                        31-Mar-2024 18:36    2685
coq_8.18.0+dfsg-1build2_amd64.deb                  31-Mar-2024 19:32     91M
coq_8.18.0+dfsg-1build2_arm64.deb                  01-Apr-2024 01:55    102M
coq_8.18.0+dfsg-1build2_armhf.deb                  01-Apr-2024 01:55     89M
coq_8.18.0+dfsg-1build2_ppc64el.deb                31-Mar-2024 21:34     94M
coq_8.18.0+dfsg-1build2_riscv64.deb                01-Apr-2024 01:56     93M
coq_8.18.0+dfsg.orig.tar.xz                        22-Dec-2023 19:46      5M
coq_8.4pl4dfsg-3build2.debian.tar.xz               04-Nov-2015 13:14     16K
coq_8.4pl4dfsg-3build2.dsc                         04-Nov-2015 13:14    2398
coq_8.4pl4dfsg-3build2_amd64.deb                   04-Nov-2015 14:04      4M
coq_8.4pl4dfsg-3build2_i386.deb                    04-Nov-2015 13:39      4M
coq_8.4pl4dfsg.orig.tar.gz                         27-Jul-2014 23:13      3M
coq_8.6-5build1.debian.tar.xz                      28-Oct-2017 14:39     21K
coq_8.6-5build1.dsc                                28-Oct-2017 14:39    2403
coq_8.6-5build1_amd64.deb                          28-Oct-2017 15:34     17M
coq_8.6-5build1_i386.deb                           28-Oct-2017 15:34     16M
coq_8.6.orig.tar.gz                                28-Dec-2016 17:13      5M
coqide_8.11.0-1_amd64.deb                          06-Mar-2020 08:38      2M
coqide_8.15.0+dfsg-2_amd64.deb                     05-Feb-2022 23:51      2M
coqide_8.15.0+dfsg-2_arm64.deb                     06-Feb-2022 12:54      3M
coqide_8.15.0+dfsg-2_armhf.deb                     05-Feb-2022 23:53      2M
coqide_8.15.0+dfsg-2_ppc64el.deb                   05-Feb-2022 23:53      2M
coqide_8.18.0+dfsg-1_amd64.deb                     22-Dec-2023 19:47      3M
coqide_8.18.0+dfsg-1_arm64.deb                     22-Dec-2023 20:32      3M
coqide_8.18.0+dfsg-1_armhf.deb                     22-Dec-2023 20:32      2M
coqide_8.18.0+dfsg-1_ppc64el.deb                   22-Dec-2023 19:47      3M
coqide_8.18.0+dfsg-1_riscv64.deb                   22-Dec-2023 22:01      3M
coqide_8.18.0+dfsg-1build2_amd64.deb               31-Mar-2024 19:32      2M
coqide_8.18.0+dfsg-1build2_arm64.deb               01-Apr-2024 01:55      3M
coqide_8.18.0+dfsg-1build2_armhf.deb               01-Apr-2024 01:55      2M
coqide_8.18.0+dfsg-1build2_ppc64el.deb             31-Mar-2024 21:34      2M
coqide_8.18.0+dfsg-1build2_riscv64.deb             01-Apr-2024 01:56      2M
coqide_8.4pl4dfsg-3build2_amd64.deb                04-Nov-2015 14:04    731K
coqide_8.4pl4dfsg-3build2_i386.deb                 04-Nov-2015 13:39    695K
coqide_8.6-5build1_amd64.deb                       28-Oct-2017 15:34      1M
coqide_8.6-5build1_i386.deb                        28-Oct-2017 15:34      1M
libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb      05-Feb-2022 23:51     43M
libcoq-core-ocaml-dev_8.15.0+dfsg-2_arm64.deb      06-Feb-2022 12:53     43M
libcoq-core-ocaml-dev_8.15.0+dfsg-2_armhf.deb      05-Feb-2022 23:53     44M
libcoq-core-ocaml-dev_8.15.0+dfsg-2_ppc64el.deb    05-Feb-2022 23:53     44M
libcoq-core-ocaml-dev_8.18.0+dfsg-1_amd64.deb      22-Dec-2023 19:47     62M
libcoq-core-ocaml-dev_8.18.0+dfsg-1_arm64.deb      22-Dec-2023 20:32     63M
libcoq-core-ocaml-dev_8.18.0+dfsg-1_armhf.deb      22-Dec-2023 20:32     63M
libcoq-core-ocaml-dev_8.18.0+dfsg-1_ppc64el.deb    22-Dec-2023 19:47     64M
libcoq-core-ocaml-dev_8.18.0+dfsg-1_riscv64.deb    22-Dec-2023 22:01     73M
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64..> 31-Mar-2024 19:32     49M
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_arm64..> 01-Apr-2024 01:55     49M
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_armhf..> 01-Apr-2024 01:55     50M
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_ppc64..> 31-Mar-2024 21:34     50M
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_riscv..> 01-Apr-2024 01:56     56M
libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb          05-Feb-2022 23:51     26M
libcoq-core-ocaml_8.15.0+dfsg-2_arm64.deb          06-Feb-2022 12:53     27M
libcoq-core-ocaml_8.15.0+dfsg-2_armhf.deb          05-Feb-2022 23:53     26M
libcoq-core-ocaml_8.15.0+dfsg-2_ppc64el.deb        05-Feb-2022 23:53     26M
libcoq-core-ocaml_8.18.0+dfsg-1_amd64.deb          22-Dec-2023 19:47     33M
libcoq-core-ocaml_8.18.0+dfsg-1_arm64.deb          22-Dec-2023 20:32     34M
libcoq-core-ocaml_8.18.0+dfsg-1_armhf.deb          22-Dec-2023 20:32     32M
libcoq-core-ocaml_8.18.0+dfsg-1_ppc64el.deb        22-Dec-2023 19:47     33M
libcoq-core-ocaml_8.18.0+dfsg-1_riscv64.deb        22-Dec-2023 22:01     33M
libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb    31-Mar-2024 19:32     26M
libcoq-core-ocaml_8.18.0+dfsg-1build2_arm64.deb    01-Apr-2024 01:55     28M
libcoq-core-ocaml_8.18.0+dfsg-1build2_armhf.deb    01-Apr-2024 01:55     26M
libcoq-core-ocaml_8.18.0+dfsg-1build2_ppc64el.deb  31-Mar-2024 21:34     27M
libcoq-core-ocaml_8.18.0+dfsg-1build2_riscv64.deb  01-Apr-2024 01:56     27M
libcoq-ocaml-dev_8.11.0-1_amd64.deb                06-Mar-2020 08:38     15M
libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb      04-Nov-2015 14:04      4M
libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb       04-Nov-2015 13:39      4M
libcoq-ocaml-dev_8.6-5build1_amd64.deb             28-Oct-2017 15:34     13M
libcoq-ocaml-dev_8.6-5build1_i386.deb              28-Oct-2017 15:34     13M
libcoq-ocaml_8.11.0-1_amd64.deb                    06-Mar-2020 08:38      6M
libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb          04-Nov-2015 14:04      1M
libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb           04-Nov-2015 13:39      1M
libcoq-ocaml_8.6-5build1_amd64.deb                 28-Oct-2017 15:34      3M
libcoq-ocaml_8.6-5build1_i386.deb                  28-Oct-2017 15:34      3M
libcoq-stdlib_8.15.0+dfsg-2_amd64.deb              05-Feb-2022 23:51     24M
libcoq-stdlib_8.15.0+dfsg-2_arm64.deb              06-Feb-2022 12:54     24M
libcoq-stdlib_8.15.0+dfsg-2_armhf.deb              05-Feb-2022 23:53     24M
libcoq-stdlib_8.15.0+dfsg-2_ppc64el.deb            05-Feb-2022 23:53     24M
libcoq-stdlib_8.18.0+dfsg-1_amd64.deb              22-Dec-2023 19:47     34M
libcoq-stdlib_8.18.0+dfsg-1_arm64.deb              22-Dec-2023 20:32     34M
libcoq-stdlib_8.18.0+dfsg-1_armhf.deb              22-Dec-2023 20:32     34M
libcoq-stdlib_8.18.0+dfsg-1_ppc64el.deb            22-Dec-2023 19:47     34M
libcoq-stdlib_8.18.0+dfsg-1_riscv64.deb            22-Dec-2023 22:01     34M
libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb        31-Mar-2024 19:32     25M
libcoq-stdlib_8.18.0+dfsg-1build2_arm64.deb        01-Apr-2024 01:55     25M
libcoq-stdlib_8.18.0+dfsg-1build2_armhf.deb        01-Apr-2024 01:55     25M
libcoq-stdlib_8.18.0+dfsg-1build2_ppc64el.deb      31-Mar-2024 21:34     25M
libcoq-stdlib_8.18.0+dfsg-1build2_riscv64.deb      01-Apr-2024 01:56     25M