Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
coq_8.12.0-3+b3_sh4.deb | 2020-11-25 18:03 | 101M | ||
coq-theories_8.12.0-3+b3_sh4.deb | 2020-11-25 18:03 | 23M | ||
libcoq-ocaml-dev_8.12.0-3+b3_sh4.deb | 2020-11-25 18:03 | 11M | ||
libcoq-ocaml_8.12.0-3+b3_sh4.deb | 2020-11-25 18:03 | 5.2M | ||
coqide_8.12.0-3+b3_sh4.deb | 2020-11-25 18:03 | 46K | ||
libcoq-ocaml-dbgsym_8.12.0-3+b3_sh4.deb | 2020-11-25 18:03 | 32K | ||
coq_8.12.0-3+b3_sh4.buildinfo | 2020-11-25 18:03 | 15K | ||