| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| coq-theories_8.12.0-3+b3_x32.deb | 23916892 | 2020-Nov-25 21:03 | |
| coq_8.12.0-3+b3_x32.buildinfo | 16049 | 2020-Nov-25 21:03 | |
| coq_8.12.0-3+b3_x32.deb | 105879376 | 2020-Nov-25 21:03 | |
| coqide_8.12.0-3+b3_x32.deb | 46740 | 2020-Nov-25 21:03 | |
| libcoq-ocaml-dbgsym_8.12.0-3+b3_x32.deb | 38460 | 2020-Nov-25 21:03 | |
| libcoq-ocaml-dev_8.12.0-3+b3_x32.deb | 11282852 | 2020-Nov-25 21:03 | |
| libcoq-ocaml_8.12.0-3+b3_x32.deb | 5461484 | 2020-Nov-25 21:03 | |