mirror.qlnet.ch - Quickline Mirror Service
Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
coq-theories_8.9.0-1_amd64.deb | 2019-02-06 19:49 | 28M | ||
coq-theories_8.9.0-1_i386.deb | 2019-02-06 21:21 | 27M | ||
coq-theories_8.12.0-3+b3_amd64.deb | 2020-11-25 08:28 | 35M | ||
coq-theories_8.12.0-3+b3_i386.deb | 2020-11-25 08:18 | 34M | ||
coq_8.9.0-1_amd64.deb | 2019-02-06 19:49 | 56M | ||
coq_8.9.0-1_i386.deb | 2019-02-06 21:21 | 54M | ||
coq_8.12.0-3+b3_amd64.deb | 2020-11-25 08:28 | 86M | ||
coq_8.12.0-3+b3_i386.deb | 2020-11-25 08:18 | 84M | ||
coqide_8.12.0-3+b3_amd64.deb | 2020-11-25 08:28 | 1.8M | ||
coqide_8.12.0-3+b3_i386.deb | 2020-11-25 08:18 | 1.6M | ||
libcoq-ocaml-dev_8.9.0-1_amd64.deb | 2019-02-06 19:49 | 13M | ||
libcoq-ocaml-dev_8.9.0-1_i386.deb | 2019-02-06 21:21 | 13M | ||
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb | 2020-11-25 08:28 | 18M | ||
libcoq-ocaml-dev_8.12.0-3+b3_i386.deb | 2020-11-25 08:18 | 18M | ||
libcoq-ocaml_8.9.0-1_amd64.deb | 2019-02-06 19:49 | 5.2M | ||
libcoq-ocaml_8.9.0-1_i386.deb | 2019-02-06 21:21 | 4.9M | ||
libcoq-ocaml_8.12.0-3+b3_amd64.deb | 2020-11-25 08:28 | 7.4M | ||
libcoq-ocaml_8.12.0-3+b3_i386.deb | 2020-11-25 08:18 | 7.2M | ||