| Parent directory/ | - | - |
| coq-theories_8.4pl3dfsg-1_all.deb | 31M | 15-Sep-2017 07:56 |
| coq-theories_8.5-2+b1_amd64.deb | 31M | 15-Aug-2017 20:11 |
| coq-theories_8.5-2+b1_i386.deb | 30M | 02-Sep-2017 05:39 |
| coq-theories_8.6-5_amd64.deb | 32M | 26-Sep-2017 10:04 |
| coq_8.4pl3dfsg-1_amd64.deb | 4M | 15-Sep-2017 07:56 |
| coq_8.5-2+b1_amd64.deb | 12M | 15-Aug-2017 20:11 |
| coq_8.5-2+b1_i386.deb | 12M | 02-Sep-2017 05:38 |
| coq_8.6-5.debian.tar.xz | 21K | 26-Sep-2017 10:04 |
| coq_8.6-5.dsc | 2411 | 26-Sep-2017 10:04 |
| coq_8.6-5_amd64.deb | 17M | 26-Sep-2017 10:04 |
| coq_8.6.orig.tar.gz | 5M | 28-Dec-2016 13:44 |
| coqide_8.4pl3dfsg-1_amd64.deb | 777K | 15-Sep-2017 07:56 |
| coqide_8.5-2+b1_amd64.deb | 1M | 15-Aug-2017 20:11 |
| coqide_8.5-2+b1_i386.deb | 1M | 02-Sep-2017 05:39 |
| coqide_8.6-5_amd64.deb | 2M | 26-Sep-2017 10:04 |
| libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb | 4M | 16-Sep-2017 05:52 |
| libcoq-ocaml-dev_8.5-2+b1_amd64.deb | 13M | 16-Aug-2017 20:27 |
| libcoq-ocaml-dev_8.5-2+b1_i386.deb | 13M | 02-Sep-2017 18:21 |
| libcoq-ocaml-dev_8.6-5_amd64.deb | 13M | 26-Sep-2017 10:04 |
| libcoq-ocaml_8.4pl3dfsg-1_amd64.deb | 2M | 16-Sep-2017 05:52 |
| libcoq-ocaml_8.5-2+b1_amd64.deb | 3M | 16-Aug-2017 20:27 |
| libcoq-ocaml_8.5-2+b1_i386.deb | 3M | 02-Sep-2017 18:21 |
| libcoq-ocaml_8.6-5_amd64.deb | 3M | 26-Sep-2017 10:04 |