| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| coq-theories_8.12.0-3+b3_hppa.deb | 23919144 | 2020-Nov-26 09:03 | |
| coq_8.12.0-3+b3_hppa.buildinfo | 15934 | 2020-Nov-26 09:03 | |
| coq_8.12.0-3+b3_hppa.deb | 105874668 | 2020-Nov-26 09:03 | |
| coqide_8.12.0-3+b3_hppa.deb | 46764 | 2020-Nov-26 09:03 | |
| libcoq-ocaml-dbgsym_8.12.0-3+b3_hppa.deb | 40868 | 2020-Nov-26 09:03 | |
| libcoq-ocaml-dev_8.12.0-3+b3_hppa.deb | 11282856 | 2020-Nov-26 09:03 | |
| libcoq-ocaml_8.12.0-3+b3_hppa.deb | 5461760 | 2020-Nov-26 09:03 | |