| Name | Size | Date |
|---|---|---|
| ../ | ||
| coq-theories_8.4pl3dfsg-1_all.deb | 30Mi | 2014-09-02 22:14:46 |
| coq_8.4pl3dfsg-1_amd64.deb | 4Mi | 2014-09-02 22:14:46 |
| coqide_8.4pl3dfsg-1_amd64.deb | 727Ki | 2014-09-02 22:14:46 |
| libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb | 3Mi | 2014-09-02 22:14:54 |
| libcoq-ocaml_8.4pl3dfsg-1_amd64.deb | 2Mi | 2014-09-02 22:14:46 |