Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
coq-theories_8.6-5build1_amd64.deb | 2017-10-28 12:34 | 32M | ||
coq-theories_8.6-5build1_i386.deb | 2017-10-28 12:34 | 31M | ||
coq-theories_8.11.0-1_amd64.deb | 2020-03-06 05:38 | 32M | ||
coq_8.6-5build1_amd64.deb | 2017-10-28 12:34 | 17M | ||
coq_8.6-5build1_i386.deb | 2017-10-28 12:34 | 16M | ||
coq_8.11.0-1_amd64.deb | 2020-03-06 05:38 | 73M | ||
coqide_8.6-5build1_amd64.deb | 2017-10-28 12:34 | 1.5M | ||
coqide_8.6-5build1_i386.deb | 2017-10-28 12:34 | 1.3M | ||
coqide_8.11.0-1_amd64.deb | 2020-03-06 05:38 | 1.7M | ||
libcoq-ocaml-dev_8.6-5build1_amd64.deb | 2017-10-28 12:34 | 13M | ||
libcoq-ocaml-dev_8.6-5build1_i386.deb | 2017-10-28 12:34 | 13M | ||
libcoq-ocaml-dev_8.11.0-1_amd64.deb | 2020-03-06 05:38 | 15M | ||
libcoq-ocaml_8.6-5build1_amd64.deb | 2017-10-28 12:34 | 3.4M | ||
libcoq-ocaml_8.6-5build1_i386.deb | 2017-10-28 12:34 | 3.2M | ||
libcoq-ocaml_8.11.0-1_amd64.deb | 2020-03-06 05:38 | 6.0M | ||