| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| coq-theories_8.12.0-3+b3_sh4.deb | 23912076 | 2020-Nov-26 03:03 | |
| coq_8.12.0-3+b3_sh4.buildinfo | 15869 | 2020-Nov-26 03:03 | |
| coq_8.12.0-3+b3_sh4.deb | 105883036 | 2020-Nov-26 03:03 | |
| coqide_8.12.0-3+b3_sh4.deb | 46740 | 2020-Nov-26 03:03 | |
| libcoq-ocaml-dbgsym_8.12.0-3+b3_sh4.deb | 33096 | 2020-Nov-26 03:03 | |
| libcoq-ocaml-dev_8.12.0-3+b3_sh4.deb | 11284048 | 2020-Nov-26 03:03 | |
| libcoq-ocaml_8.12.0-3+b3_sh4.deb | 5462724 | 2020-Nov-26 03:03 | |