Parent directory/ | - | - |
coq_8.9.0-1.dsc | 2417 | 06-Feb-2019 22:49 |
coq_8.12.0-3.dsc | 2483 | 10-Sep-2020 10:38 |
coq_8.18.0+dfsg-1.dsc | 2570 | 21-Dec-2023 17:58 |
coq_8.16.1+dfsg-1.dsc | 2629 | 29-Nov-2022 12:35 |
coq_8.9.0-1.debian.tar.xz | 27K | 06-Feb-2019 22:49 |
coq_8.18.0+dfsg-1.debian.tar.xz | 32K | 21-Dec-2023 17:58 |
coq_8.16.1+dfsg-1.debian.tar.xz | 32K | 29-Nov-2022 12:35 |
coq_8.12.0-3.debian.tar.xz | 37K | 10-Sep-2020 10:38 |
coqide_8.12.0-3+b2_armhf.deb | 2M | 03-Dec-2020 21:49 |
coqide_8.16.1+dfsg-1+b2_armhf.deb | 2M | 20-May-2023 20:08 |
coqide_8.18.0+dfsg-1_armhf.deb | 2M | 23-Jan-2024 14:08 |
coq_8.16.1+dfsg.orig.tar.xz | 4M | 29-Nov-2022 12:35 |
coq_8.18.0+dfsg.orig.tar.xz | 5M | 21-Dec-2023 17:58 |
libcoq-ocaml_8.9.0-1_armhf.deb | 5M | 25-Feb-2019 14:08 |
coq_8.9.0.orig.tar.gz | 5M | 06-Feb-2019 22:49 |
coq_8.12.0.orig.tar.gz | 6M | 22-Aug-2020 13:26 |
libcoq-ocaml_8.12.0-3+b2_armhf.deb | 7M | 03-Dec-2020 21:49 |
libcoq-ocaml-dev_8.9.0-1_armhf.deb | 14M | 25-Feb-2019 14:08 |
libcoq-ocaml-dev_8.12.0-3+b2_armhf.deb | 18M | 03-Dec-2020 21:49 |
coq-theories_8.9.0-1_armhf.deb | 19M | 25-Feb-2019 14:08 |
libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb | 21M | 20-May-2023 20:08 |
libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb | 21M | 20-May-2023 20:08 |
libcoq-core-ocaml_8.18.0+dfsg-1_armhf.deb | 22M | 23-Jan-2024 14:08 |
libcoq-stdlib_8.18.0+dfsg-1_armhf.deb | 22M | 23-Jan-2024 14:08 |
coq-theories_8.12.0-3+b2_armhf.deb | 23M | 03-Dec-2020 21:49 |
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb | 41M | 20-May-2023 20:08 |
libcoq-core-ocaml-dev_8.18.0+dfsg-1_armhf.deb | 43M | 23-Jan-2024 14:08 |
coq_8.9.0-1_armhf.deb | 53M | 25-Feb-2019 14:08 |
coq_8.18.0+dfsg-1_armhf.deb | 73M | 23-Jan-2024 14:08 |
coq_8.12.0-3+b2_armhf.deb | 82M | 03-Dec-2020 21:49 |
coq_8.16.1+dfsg-1+b2_armhf.deb | 83M | 20-May-2023 20:08 |