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


../
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-theories_8.9.1-1_amd64.deb                     20-Aug-2019 04:28     28M
coq-theories_8.9.1-1_i386.deb                      20-Aug-2019 04:07     27M
coq-theories_8.9.1-1_ppc64el.deb                   20-Aug-2019 04:13     19M
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
coq_8.9.1-1.debian.tar.xz                          20-Aug-2019 03:27     29K
coq_8.9.1-1.dsc                                    20-Aug-2019 03:27    2186
coq_8.9.1-1_amd64.deb                              20-Aug-2019 04:28     56M
coq_8.9.1-1_i386.deb                               20-Aug-2019 04:07     54M
coq_8.9.1-1_ppc64el.deb                            20-Aug-2019 04:13     58M
coq_8.9.1.orig.tar.gz                              20-Aug-2019 03:27      5M
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.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-dev_8.9.1-1_amd64.deb                 20-Aug-2019 04:28     13M
libcoq-ocaml-dev_8.9.1-1_i386.deb                  20-Aug-2019 04:07     13M
libcoq-ocaml-dev_8.9.1-1_ppc64el.deb               20-Aug-2019 04:13     13M
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
libcoq-ocaml_8.9.1-1_amd64.deb                     20-Aug-2019 04:28      5M
libcoq-ocaml_8.9.1-1_i386.deb                      20-Aug-2019 04:07      5M
libcoq-ocaml_8.9.1-1_ppc64el.deb                   20-Aug-2019 04:13      5M