![[ICO]](/icons/blank.gif) | Name | Last modified | Size | Description |
|---|
|
|---|
![[PARENTDIR]](/icons/back.gif) | Parent Directory | | - | |
![[ ]](/icons/unknown.gif) | coq_8.12.0-3build3_amd64.deb | 2020-11-28 15:58 | 86M | |
| coq_8.12.0-3build1_amd64.deb | 2020-10-04 07:23 | 75M | |
| coq_8.11.0-1_amd64.deb | 2020-03-06 14:23 | 73M | |
| coq-theories_8.12.0-3build1_amd64.deb | 2020-10-04 07:23 | 35M | |
| coq-theories_8.12.0-3build3_amd64.deb | 2020-11-28 15:58 | 35M | |
| coq-theories_8.6-5build1_amd64.deb | 2017-10-28 21:19 | 32M | |
| coq-theories_8.11.0-1_amd64.deb | 2020-03-06 14:23 | 32M | |
| coq-theories_8.4pl4dfsg-3build2_all.deb | 2015-11-04 19:49 | 31M | |
| coq-theories_8.6-5build1_i386.deb | 2017-10-28 21:19 | 31M | |
| coq-theories_8.4pl3dfsg-1_all.deb | 2014-01-20 05:43 | 30M | |
| libcoq-ocaml-dev_8.12.0-3build3_amd64.deb | 2020-11-28 15:58 | 18M | |
| coq_8.6-5build1_amd64.deb | 2017-10-28 21:19 | 17M | |
| coq_8.6-5build1_i386.deb | 2017-10-28 21:19 | 16M | |
| libcoq-ocaml-dev_8.12.0-3build1_amd64.deb | 2020-10-04 07:23 | 16M | |
| libcoq-ocaml-dev_8.11.0-1_amd64.deb | 2020-03-06 14:23 | 15M | |
| libcoq-ocaml-dev_8.6-5build1_amd64.deb | 2017-10-28 21:19 | 13M | |
| libcoq-ocaml-dev_8.6-5build1_i386.deb | 2017-10-28 21:19 | 13M | |
| libcoq-ocaml_8.12.0-3build3_amd64.deb | 2020-11-28 15:58 | 7.4M | |
| libcoq-ocaml_8.12.0-3build1_amd64.deb | 2020-10-04 07:23 | 6.4M | |
| libcoq-ocaml_8.11.0-1_amd64.deb | 2020-03-06 14:23 | 6.0M | |
![[ ]](/icons/compressed.gif) | coq_8.12.0.orig.tar.gz | 2020-09-15 14:08 | 5.7M | |
| coq_8.11.0.orig.tar.gz | 2020-03-06 13:38 | 5.6M | |
| coq_8.6.orig.tar.gz | 2016-12-28 22:58 | 4.8M | |
| coq_8.4pl3dfsg-1_amd64.deb | 2014-01-20 05:43 | 3.9M | |
| coq_8.4pl4dfsg-3build2_amd64.deb | 2015-11-04 19:49 | 3.8M | |
| coq_8.4pl3dfsg-1_i386.deb | 2014-01-20 05:43 | 3.6M | |
| coq_8.4pl4dfsg-3build2_i386.deb | 2015-11-04 19:24 | 3.6M | |
| libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb | 2015-11-04 19:24 | 3.6M | |
| libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb | 2015-11-04 19:49 | 3.5M | |
| libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb | 2014-01-20 05:43 | 3.5M | |
| libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb | 2014-01-20 05:43 | 3.5M | |
| libcoq-ocaml_8.6-5build1_amd64.deb | 2017-10-28 21:19 | 3.4M | |
| coq_8.4pl4dfsg.orig.tar.gz | 2014-07-28 04:58 | 3.4M | |
| coq_8.4pl3dfsg.orig.tar.gz | 2014-01-20 05:03 | 3.4M | |
| libcoq-ocaml_8.6-5build1_i386.deb | 2017-10-28 21:19 | 3.2M | |
| coqide_8.12.0-3build3_amd64.deb | 2020-11-28 15:58 | 1.8M | |
| coqide_8.12.0-3build1_amd64.deb | 2020-10-04 07:23 | 1.7M | |
| coqide_8.11.0-1_amd64.deb | 2020-03-06 14:23 | 1.7M | |
| libcoq-ocaml_8.4pl3dfsg-1_amd64.deb | 2014-01-20 05:43 | 1.5M | |
| coqide_8.6-5build1_amd64.deb | 2017-10-28 21:19 | 1.5M | |
| libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb | 2015-11-04 19:49 | 1.4M | |
| libcoq-ocaml_8.4pl3dfsg-1_i386.deb | 2014-01-20 05:43 | 1.4M | |
| libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb | 2015-11-04 19:24 | 1.3M | |
| coqide_8.6-5build1_i386.deb | 2017-10-28 21:19 | 1.3M | |
| coqide_8.4pl4dfsg-3build2_amd64.deb | 2015-11-04 19:49 | 731K | |
| coqide_8.4pl3dfsg-1_amd64.deb | 2014-01-20 05:43 | 727K | |
| coqide_8.4pl4dfsg-3build2_i386.deb | 2015-11-04 19:24 | 695K | |
| coqide_8.4pl3dfsg-1_i386.deb | 2014-01-20 05:43 | 662K | |
| coq_8.12.0-3build3.debian.tar.xz | 2020-11-28 15:13 | 37K | |
| coq_8.12.0-3build1.debian.tar.xz | 2020-10-04 06:33 | 37K | |
| coq_8.11.0-1.debian.tar.xz | 2020-03-06 13:38 | 31K | |
| coq_8.6-5build1.debian.tar.xz | 2017-10-28 20:24 | 21K | |
| coq_8.4pl4dfsg-3build2.debian.tar.xz | 2015-11-04 18:59 | 16K | |
| coq_8.4pl3dfsg-1.debian.tar.xz | 2014-01-20 05:03 | 15K | |
| coq_8.12.0-3build3.dsc | 2020-11-28 15:13 | 2.4K | |
| coq_8.12.0-3build1.dsc | 2020-10-04 06:33 | 2.4K | |
| coq_8.11.0-1.dsc | 2020-03-06 13:38 | 2.4K | |
| coq_8.6-5build1.dsc | 2017-10-28 20:24 | 2.3K | |
| coq_8.4pl4dfsg-3build2.dsc | 2015-11-04 18:59 | 2.3K | |
| coq_8.4pl3dfsg-1.dsc | 2014-01-20 05:03 | 2.3K | |
|
|---|