PicoNets-WebWerks Open Source Mirror

Index of /ubuntu-mirror/ubuntu/pool/universe/c/coq/

Index of /ubuntu-mirror/ubuntu/pool/universe/c/coq/


../
coq-theories_8.11.0-1_amd64.deb                    06-Mar-2020 08:38     32M
coq-theories_8.4pl3dfsg-1_all.deb                  19-Jan-2014 23:58     30M
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.orig.tar.xz                        17-Jan-2022 23:14      4M
coq_8.15.2+dfsg-2.debian.tar.xz                    12-Jun-2022 05:34     39K
coq_8.15.2+dfsg-2.dsc                              12-Jun-2022 05:34    2607
coq_8.15.2+dfsg-2_amd64.deb                        12-Jun-2022 05:34     90M
coq_8.15.2+dfsg.orig.tar.xz                        01-Jun-2022 05:23      4M
coq_8.16.1+dfsg-1build2.debian.tar.xz              16-Feb-2023 10:06     33K
coq_8.16.1+dfsg-1build2.dsc                        16-Feb-2023 10:06    2628
coq_8.16.1+dfsg-1build2_amd64.deb                  16-Feb-2023 10:58    104M
coq_8.16.1+dfsg.orig.tar.xz                        29-Nov-2022 17:24      4M
coq_8.4pl3dfsg-1.debian.tar.xz                     19-Jan-2014 23:18     15K
coq_8.4pl3dfsg-1.dsc                               19-Jan-2014 23:18    2356
coq_8.4pl3dfsg-1_amd64.deb                         19-Jan-2014 23:58      4M
coq_8.4pl3dfsg-1_i386.deb                          19-Jan-2014 23:58      4M
coq_8.4pl3dfsg.orig.tar.gz                         19-Jan-2014 23:18      3M
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.2+dfsg-2_amd64.deb                     12-Jun-2022 05:34      2M
coqide_8.16.1+dfsg-1build2_amd64.deb               16-Feb-2023 10:58      2M
coqide_8.4pl3dfsg-1_amd64.deb                      19-Jan-2014 23:58    727K
coqide_8.4pl3dfsg-1_i386.deb                       19-Jan-2014 23:58    662K
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.2+dfsg-2_amd64.deb      12-Jun-2022 05:34     47M
libcoq-core-ocaml-dev_8.16.1+dfsg-1build2_amd64..> 16-Feb-2023 10:58     47M
libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb          05-Feb-2022 23:51     26M
libcoq-core-ocaml_8.15.2+dfsg-2_amd64.deb          12-Jun-2022 05:34     26M
libcoq-core-ocaml_8.16.1+dfsg-1build2_amd64.deb    16-Feb-2023 10:58     26M
libcoq-ocaml-dev_8.11.0-1_amd64.deb                06-Mar-2020 08:38     15M
libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb            19-Jan-2014 23:58      3M
libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb             19-Jan-2014 23:58      3M
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.4pl3dfsg-1_amd64.deb                19-Jan-2014 23:58      2M
libcoq-ocaml_8.4pl3dfsg-1_i386.deb                 19-Jan-2014 23:58      1M
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.2+dfsg-2_amd64.deb              12-Jun-2022 05:34     23M
libcoq-stdlib_8.16.1+dfsg-1build2_amd64.deb        16-Feb-2023 10:58     23M