| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 coq-theories_8.12.0-3+b3_hppa.deb | 23919144 bytes | 2020-11-26 00:03:05 |
| 📄 coq_8.12.0-3+b3_hppa.buildinfo | 15934 bytes | 2020-11-26 00:03:05 |
| 📄 coq_8.12.0-3+b3_hppa.deb | 105874668 bytes | 2020-11-26 00:03:05 |
| 📄 coqide_8.12.0-3+b3_hppa.deb | 46764 bytes | 2020-11-26 00:03:05 |
| 📄 libcoq-ocaml-dbgsym_8.12.0-3+b3_hppa.deb | 40868 bytes | 2020-11-26 00:03:05 |
| 📄 libcoq-ocaml-dev_8.12.0-3+b3_hppa.deb | 11282856 bytes | 2020-11-26 00:03:05 |
| 📄 libcoq-ocaml_8.12.0-3+b3_hppa.deb | 5461760 bytes | 2020-11-26 00:03:05 |