| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 coq_9.2.0+dfsg-4_sh4.buildinfo | 15825 bytes | 2026-08-26 00:03:03 |
| 📄 coq_9.2.0+dfsg-4_sh4.deb | 24196160 bytes | 2026-08-26 00:03:03 |
| 📄 libcoq-core-ocaml-dev_9.2.0+dfsg-4_sh4.deb | 46579644 bytes | 2026-08-26 00:03:03 |
| 📄 libcoq-core-ocaml_9.2.0+dfsg-4_sh4.deb | 18076552 bytes | 2026-08-26 00:03:03 |
| 📄 libcoq-core_9.2.0+dfsg-4_sh4.deb | 1154376 bytes | 2026-08-26 00:03:03 |
| 📄 rocqide_9.2.0+dfsg-4_sh4.deb | 609504 bytes | 2026-08-26 00:03:03 |