| Name | Size | Modified | ||
|---|---|---|---|---|
| .. | — | — | ||
| coq-theories_8.9.0-1_mips64el.deb | 19 MB | |||
| coq_8.9.0-1.debian.tar.xz | 27 KB | |||
| coq_8.9.0-1.dsc | 1 KB | |||
| coq_8.9.0-1_mips64el.deb | 47 MB | |||
| coq_8.9.0.orig.tar.gz | 5 MB | |||
| libcoq-ocaml-dbgsym_8.9.0-1_mips64el.deb | 25 KB | |||
| libcoq-ocaml-dev_8.9.0-1_mips64el.deb | 7 MB | |||
| libcoq-ocaml_8.9.0-1_mips64el.deb | 3 MB |