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