Index of /Debian/pool/main/c/coq

[ICO]NameLast modifiedSize

[DIR]Parent Directory  -
[   ]coq_8.4pl4dfsg-1.dsc27-Jul-2014 16:26 2.3K
[   ]coq_8.6-4.dsc30-Dec-2016 00:56 2.3K
[   ]coq_8.9.0-1.dsc06-Feb-2019 18:49 2.4K
[   ]coq_8.4pl4dfsg-1.debian.tar.xz27-Jul-2014 16:26 15K
[   ]coq_8.6-4.debian.tar.xz30-Dec-2016 00:56 21K
[   ]coq_8.9.0-1.debian.tar.xz06-Feb-2019 18:49 27K
[   ]coqide_8.4pl4dfsg-1_i386.deb27-Jul-2014 17:57 714K
[   ]coqide_8.4pl4dfsg-1_amd64.deb27-Jul-2014 16:26 779K
[   ]coqide_8.6-4_i386.deb30-Dec-2016 01:57 1.3M
[   ]coqide_8.6-4_amd64.deb30-Dec-2016 00:56 1.3M
[   ]libcoq-ocaml_8.4pl4dfsg-1_i386.deb27-Jul-2014 17:57 1.4M
[   ]libcoq-ocaml_8.4pl4dfsg-1_amd64.deb27-Jul-2014 16:26 1.6M
[   ]libcoq-ocaml_8.6-4_i386.deb30-Dec-2016 01:57 3.2M
[   ]libcoq-ocaml_8.6-4_amd64.deb30-Dec-2016 00:56 3.3M
[   ]coq_8.4pl4dfsg.orig.tar.gz27-Jul-2014 16:26 3.4M
[   ]libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb27-Jul-2014 17:57 3.6M
[   ]libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb27-Jul-2014 16:26 3.6M
[   ]coq_8.4pl4dfsg-1_i386.deb27-Jul-2014 17:57 3.6M
[   ]coq_8.4pl4dfsg-1_amd64.deb27-Jul-2014 16:26 3.9M
[   ]coq_8.6.orig.tar.gz28-Dec-2016 13:44 4.8M
[   ]libcoq-ocaml_8.9.0-1_i386.deb06-Feb-2019 20:21 4.9M
[   ]libcoq-ocaml_8.9.0-1+b1_i386.deb29-Jul-2019 09:38 5.0M
[   ]libcoq-ocaml_8.9.0-1+b2_i386.deb05-Aug-2019 17:14 5.0M
[   ]coq_8.9.0.orig.tar.gz06-Feb-2019 18:49 5.1M
[   ]libcoq-ocaml_8.9.0-1_amd64.deb06-Feb-2019 18:49 5.2M
[   ]libcoq-ocaml_8.9.0-1+b1_amd64.deb29-Jul-2019 09:58 5.3M
[   ]libcoq-ocaml_8.9.0-1+b2_amd64.deb05-Aug-2019 17:29 5.3M
[   ]libcoq-ocaml-dev_8.6-4_amd64.deb30-Dec-2016 00:56 13M
[   ]libcoq-ocaml-dev_8.6-4_i386.deb30-Dec-2016 01:57 13M
[   ]coq_8.6-4_i386.deb30-Dec-2016 01:57 13M
[   ]libcoq-ocaml-dev_8.9.0-1_amd64.deb06-Feb-2019 18:49 13M
[   ]libcoq-ocaml-dev_8.9.0-1_i386.deb06-Feb-2019 20:21 13M
[   ]libcoq-ocaml-dev_8.9.0-1+b2_amd64.deb05-Aug-2019 17:29 13M
[   ]libcoq-ocaml-dev_8.9.0-1+b1_amd64.deb29-Jul-2019 09:58 13M
[   ]libcoq-ocaml-dev_8.9.0-1+b2_i386.deb05-Aug-2019 17:14 13M
[   ]libcoq-ocaml-dev_8.9.0-1+b1_i386.deb29-Jul-2019 09:38 13M
[   ]coq_8.6-4_amd64.deb30-Dec-2016 00:56 13M
[   ]coq-theories_8.9.0-1_i386.deb06-Feb-2019 20:21 27M
[   ]coq-theories_8.9.0-1+b2_i386.deb05-Aug-2019 17:14 27M
[   ]coq-theories_8.9.0-1+b1_i386.deb29-Jul-2019 09:38 27M
[   ]coq-theories_8.9.0-1+b2_amd64.deb05-Aug-2019 17:29 28M
[   ]coq-theories_8.9.0-1+b1_amd64.deb29-Jul-2019 09:58 28M
[   ]coq-theories_8.9.0-1_amd64.deb06-Feb-2019 18:49 28M
[   ]coq-theories_8.6-4_i386.deb30-Dec-2016 01:57 29M
[   ]coq-theories_8.6-4_amd64.deb30-Dec-2016 00:56 30M
[   ]coq-theories_8.4pl4dfsg-1_all.deb27-Jul-2014 16:26 31M
[   ]coq_8.9.0-1_i386.deb06-Feb-2019 20:21 54M
[   ]coq_8.9.0-1+b1_i386.deb29-Jul-2019 09:38 54M
[   ]coq_8.9.0-1+b2_i386.deb05-Aug-2019 17:14 54M
[   ]coq_8.9.0-1_amd64.deb06-Feb-2019 18:49 56M
[   ]coq_8.9.0-1+b1_amd64.deb29-Jul-2019 09:58 56M
[   ]coq_8.9.0-1+b2_amd64.deb05-Aug-2019 17:29 56M