| ../ | | - | Directory |
| coq-theories_8.4pl4dfsg-1_all.deb | 2014-Jul-27 19:26:59 | 30.7M | application/vnd.debian.binary-package |
| coq-theories_8.9.0-1_amd64.deb | 2019-Feb-06 21:49:32 | 28.3M | application/vnd.debian.binary-package |
| coq_8.4pl4dfsg-1_amd64.deb | 2014-Jul-27 19:26:59 | 3.8M | application/vnd.debian.binary-package |
| coq_8.9.0-1_amd64.deb | 2019-Feb-06 21:49:32 | 56.2M | application/vnd.debian.binary-package |
| coqide_8.4pl4dfsg-1_amd64.deb | 2014-Jul-27 19:26:59 | 778.6K | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb | 2014-Jul-27 19:26:59 | 3.6M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.9.0-1_amd64.deb | 2019-Feb-06 21:49:32 | 13.0M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.4pl4dfsg-1_amd64.deb | 2014-Jul-27 19:26:59 | 1.5M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.9.0-1_amd64.deb | 2019-Feb-06 21:49:32 | 5.2M | application/vnd.debian.binary-package |