| Filename | Modification time | Size |
|---|---|---|
| coq-theories_8.9.0-1_amd64.deb | 28 MiB | |
| coq-theories_8.9.0-1_i386.deb | 27 MiB | |
| coq_8.9.0-1.debian.tar.xz | 27 KiB | |
| coq_8.9.0-1.dsc | 2417 B | |
| coq_8.9.0-1_amd64.deb | 56 MiB | |
| coq_8.9.0-1_i386.deb | 54 MiB | |
| coq_8.9.0.orig.tar.gz | 5269 KiB | |
| libcoq-ocaml-dev_8.9.0-1_amd64.deb | 13 MiB | |
| libcoq-ocaml-dev_8.9.0-1_i386.deb | 13 MiB | |
| libcoq-ocaml_8.9.0-1_amd64.deb | 5335 KiB | |
| libcoq-ocaml_8.9.0-1_i386.deb | 5065 KiB |
Studenten Net Twente
Mirror service
