| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 coq-theories_8.12.0-3+b3_x32.deb | 23916892 bytes | 2020-11-25 12:03:10 |
| 📄 coq_8.12.0-3+b3_x32.buildinfo | 16049 bytes | 2020-11-25 12:03:10 |
| 📄 coq_8.12.0-3+b3_x32.deb | 105879376 bytes | 2020-11-25 12:03:12 |
| 📄 coqide_8.12.0-3+b3_x32.deb | 46740 bytes | 2020-11-25 12:03:12 |
| 📄 libcoq-ocaml-dbgsym_8.12.0-3+b3_x32.deb | 38460 bytes | 2020-11-25 12:03:12 |
| 📄 libcoq-ocaml-dev_8.12.0-3+b3_x32.deb | 11282852 bytes | 2020-11-25 12:03:13 |
| 📄 libcoq-ocaml_8.12.0-3+b3_x32.deb | 5461484 bytes | 2020-11-25 12:03:13 |