| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 coq-theories_8.12.0-3+b3_sh4.deb | 23912076 bytes | 2020-11-25 18:03:02 |
| 📄 coq_8.12.0-3+b3_sh4.buildinfo | 15869 bytes | 2020-11-25 18:03:02 |
| 📄 coq_8.12.0-3+b3_sh4.deb | 105883036 bytes | 2020-11-25 18:03:02 |
| 📄 coqide_8.12.0-3+b3_sh4.deb | 46740 bytes | 2020-11-25 18:03:02 |
| 📄 libcoq-ocaml-dbgsym_8.12.0-3+b3_sh4.deb | 33096 bytes | 2020-11-25 18:03:02 |
| 📄 libcoq-ocaml-dev_8.12.0-3+b3_sh4.deb | 11284048 bytes | 2020-11-25 18:03:02 |
| 📄 libcoq-ocaml_8.12.0-3+b3_sh4.deb | 5462724 bytes | 2020-11-25 18:03:02 |