| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 coq_9.2.0+dfsg-3_alpha.buildinfo | 16030 bytes | 2026-07-27 18:03:01 |
| 📄 coq_9.2.0+dfsg-3_alpha.deb | 24214628 bytes | 2026-07-27 18:03:01 |
| 📄 libcoq-core-ocaml-dev_9.2.0+dfsg-3_alpha.deb | 46583132 bytes | 2026-07-27 18:03:01 |
| 📄 libcoq-core-ocaml_9.2.0+dfsg-3_alpha.deb | 18074432 bytes | 2026-07-27 18:03:01 |
| 📄 libcoq-core_9.2.0+dfsg-3_alpha.deb | 1151948 bytes | 2026-07-27 18:03:01 |
| 📄 rocqide_9.2.0+dfsg-3_alpha.deb | 608216 bytes | 2026-07-27 18:03:01 |