| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 coq-theories_8.12.0-3+b3_alpha.deb | 23921660 bytes | 2020-11-26 00:03:04 |
| 📄 coq_8.12.0-3+b3_alpha.buildinfo | 15725 bytes | 2020-11-26 00:03:04 |
| 📄 coq_8.12.0-3+b3_alpha.deb | 105861744 bytes | 2020-11-26 00:03:04 |
| 📄 coqide_8.12.0-3+b3_alpha.deb | 46740 bytes | 2020-11-26 00:03:04 |
| 📄 libcoq-ocaml-dbgsym_8.12.0-3+b3_alpha.deb | 33560 bytes | 2020-11-26 00:03:04 |
| 📄 libcoq-ocaml-dev_8.12.0-3+b3_alpha.deb | 11280256 bytes | 2020-11-26 00:03:05 |
| 📄 libcoq-ocaml_8.12.0-3+b3_alpha.deb | 5460960 bytes | 2020-11-26 00:03:05 |