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


../
coq-theories_8.11.0-1+b1_amd64.deb                 07-Apr-2020 15:29     32M
coq-theories_8.11.0-1+b1_ppc64el.deb               07-Apr-2020 15:13     20M
coq-theories_8.11.1~pre1-1_amd64.deb               16-Apr-2020 22:32     32M
coq-theories_8.11.1~pre1-1_i386.deb                16-Apr-2020 21:25     30M
coq-theories_8.11.1~pre1-1_ppc64el.deb             16-Apr-2020 19:59     20M
coq-theories_8.4pl4dfsg-1_all.deb                  27-Jul-2014 15:26     31M
coq-theories_8.6-4_amd64.deb                       30-Dec-2016 00:56     30M
coq-theories_8.6-4_i386.deb                        30-Dec-2016 01:57     29M
coq-theories_8.6-4_ppc64el.deb                     30-Dec-2016 03:57     22M
coq-theories_8.9.0-1_amd64.deb                     06-Feb-2019 18:49     28M
coq-theories_8.9.0-1_i386.deb                      06-Feb-2019 20:21     27M
coq-theories_8.9.0-1_ppc64el.deb                   06-Feb-2019 20:00     19M
coq_8.11.0-1+b1_amd64.deb                          07-Apr-2020 15:29     73M
coq_8.11.0-1+b1_ppc64el.deb                        07-Apr-2020 15:13     75M
coq_8.11.0-1.debian.tar.xz                         05-Mar-2020 21:39     31K
coq_8.11.0-1.dsc                                   05-Mar-2020 21:39    2496
coq_8.11.0.orig.tar.gz                             05-Mar-2020 21:39      6M
coq_8.11.1~pre1-1.debian.tar.xz                    16-Apr-2020 18:57     31K
coq_8.11.1~pre1-1.dsc                              16-Apr-2020 18:57    2503
coq_8.11.1~pre1-1_amd64.deb                        16-Apr-2020 22:32     73M
coq_8.11.1~pre1-1_i386.deb                         16-Apr-2020 21:25     69M
coq_8.11.1~pre1-1_ppc64el.deb                      16-Apr-2020 19:59     75M
coq_8.11.1~pre1.orig.tar.gz                        16-Apr-2020 18:57      6M
coq_8.4pl4dfsg-1.debian.tar.xz                     27-Jul-2014 15:26     15K
coq_8.4pl4dfsg-1.dsc                               27-Jul-2014 15:26    2374
coq_8.4pl4dfsg-1_amd64.deb                         27-Jul-2014 15:26      4M
coq_8.4pl4dfsg-1_i386.deb                          27-Jul-2014 16:57      4M
coq_8.4pl4dfsg.orig.tar.gz                         27-Jul-2014 15:26      3M
coq_8.6-4.debian.tar.xz                            30-Dec-2016 00:56     21K
coq_8.6-4.dsc                                      30-Dec-2016 00:56    2396
coq_8.6-4_amd64.deb                                30-Dec-2016 00:56     13M
coq_8.6-4_i386.deb                                 30-Dec-2016 01:57     13M
coq_8.6-4_ppc64el.deb                              30-Dec-2016 03:57     18M
coq_8.6.orig.tar.gz                                28-Dec-2016 13:44      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_i386.deb                               06-Feb-2019 20:21     54M
coq_8.9.0-1_ppc64el.deb                            06-Feb-2019 20:00     58M
coq_8.9.0.orig.tar.gz                              06-Feb-2019 18:49      5M
coqide_8.11.0-1+b1_amd64.deb                       07-Apr-2020 15:29      2M
coqide_8.11.0-1+b1_ppc64el.deb                     07-Apr-2020 15:13      2M
coqide_8.11.1~pre1-1_amd64.deb                     16-Apr-2020 22:32      2M
coqide_8.11.1~pre1-1_i386.deb                      16-Apr-2020 21:25      1M
coqide_8.11.1~pre1-1_ppc64el.deb                   16-Apr-2020 19:59      2M
coqide_8.4pl4dfsg-1_amd64.deb                      27-Jul-2014 15:26    779K
coqide_8.4pl4dfsg-1_i386.deb                       27-Jul-2014 16:57    714K
coqide_8.6-4_amd64.deb                             30-Dec-2016 00:56      1M
coqide_8.6-4_i386.deb                              30-Dec-2016 01:57      1M
coqide_8.6-4_ppc64el.deb                           30-Dec-2016 03:57      2M
libcoq-ocaml-dev_8.11.0-1+b1_amd64.deb             07-Apr-2020 15:29     15M
libcoq-ocaml-dev_8.11.0-1+b1_ppc64el.deb           07-Apr-2020 15:13     16M
libcoq-ocaml-dev_8.11.1~pre1-1_amd64.deb           16-Apr-2020 22:32     15M
libcoq-ocaml-dev_8.11.1~pre1-1_i386.deb            16-Apr-2020 21:25     15M
libcoq-ocaml-dev_8.11.1~pre1-1_ppc64el.deb         16-Apr-2020 19:59     16M
libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb            27-Jul-2014 15:26      4M
libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb             27-Jul-2014 16:57      4M
libcoq-ocaml-dev_8.6-4_amd64.deb                   30-Dec-2016 00:56     13M
libcoq-ocaml-dev_8.6-4_i386.deb                    30-Dec-2016 01:57     13M
libcoq-ocaml-dev_8.6-4_ppc64el.deb                 30-Dec-2016 03:57     10M
libcoq-ocaml-dev_8.9.0-1_amd64.deb                 06-Feb-2019 18:49     13M
libcoq-ocaml-dev_8.9.0-1_i386.deb                  06-Feb-2019 20:21     13M
libcoq-ocaml-dev_8.9.0-1_ppc64el.deb               06-Feb-2019 20:00     13M
libcoq-ocaml_8.11.0-1+b1_amd64.deb                 07-Apr-2020 15:29      6M
libcoq-ocaml_8.11.0-1+b1_ppc64el.deb               07-Apr-2020 15:13      6M
libcoq-ocaml_8.11.1~pre1-1_amd64.deb               16-Apr-2020 22:32      6M
libcoq-ocaml_8.11.1~pre1-1_i386.deb                16-Apr-2020 21:25      6M
libcoq-ocaml_8.11.1~pre1-1_ppc64el.deb             16-Apr-2020 19:59      6M
libcoq-ocaml_8.4pl4dfsg-1_amd64.deb                27-Jul-2014 15:26      2M
libcoq-ocaml_8.4pl4dfsg-1_i386.deb                 27-Jul-2014 16:57      1M
libcoq-ocaml_8.6-4_amd64.deb                       30-Dec-2016 00:56      3M
libcoq-ocaml_8.6-4_i386.deb                        30-Dec-2016 01:57      3M
libcoq-ocaml_8.6-4_ppc64el.deb                     30-Dec-2016 03:57      2M
libcoq-ocaml_8.9.0-1_amd64.deb                     06-Feb-2019 18:49      5M
libcoq-ocaml_8.9.0-1_i386.deb                      06-Feb-2019 20:21      5M
libcoq-ocaml_8.9.0-1_ppc64el.deb                   06-Feb-2019 20:00      5M