| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| coqide_8.11.0-1+b1_amd64.deb | 1719048 | 2020-May-12 09:30 |
| libcoq-ocaml_8.11.0-1+b1_amd64.deb | 6354016 | 2020-May-12 09:36 |
| libcoq-ocaml-dev_8.11.0-1+b1_amd64.deb | 16070112 | 2020-May-12 09:36 |
| coq-theories_8.11.0-1+b1_amd64.deb | 33269648 | 2020-May-12 09:30 |
| coq_8.11.0-1+b1_amd64.deb | 76593512 | 2020-May-12 09:30 |