Index of /pureos/pool/main/c/coq/
../
coq-theories_8.12.0-3+b3_amd64.deb 30-Nov-2020 02:43 35M
coq-theories_8.12.0-3+b3_arm64.deb 30-Nov-2020 02:43 23M
coq-theories_8.9.0-1_amd64.deb 25-Feb-2019 04:07 28M
coq-theories_8.9.0-1_arm64.deb 25-Feb-2019 04:07 19M
coq_8.12.0-3+b3_amd64.deb 30-Nov-2020 02:43 86M
coq_8.12.0-3+b3_arm64.deb 30-Nov-2020 02:43 92M
coq_8.12.0-3.debian.tar.xz 29-Sep-2020 20:43 37K
coq_8.12.0-3.dsc 29-Sep-2020 20:43 2483
coq_8.12.0.orig.tar.gz 29-Sep-2020 20:43 6M
coq_8.16.1+dfsg-1+b2_amd64.deb 14-Jun-2023 23:43 89M
coq_8.16.1+dfsg-1+b2_arm64.deb 14-Jun-2023 23:43 97M
coq_8.16.1+dfsg-1.debian.tar.xz 14-Jun-2023 15:13 32K
coq_8.16.1+dfsg-1.dsc 14-Jun-2023 15:13 2629
coq_8.16.1+dfsg.orig.tar.xz 14-Jun-2023 15:13 4M
coq_8.19.1+dfsg-2.debian.tar.xz 24-Jun-2024 14:12 32K
coq_8.19.1+dfsg-2.dsc 24-Jun-2024 14:12 2341
coq_8.19.1+dfsg-2_amd64.deb 24-Jun-2024 14:18 79M
coq_8.19.1+dfsg-2_arm64.deb 24-Jun-2024 14:19 84M
coq_8.19.1+dfsg.orig.tar.bz2 24-Jun-2024 14:12 5M
coq_8.20.1+dfsg-1.debian.tar.xz 26-Feb-2025 06:21 30K
coq_8.20.1+dfsg-1.dsc 26-Feb-2025 06:21 2582
coq_8.20.1+dfsg-1_amd64.deb 26-Feb-2025 06:40 67M
coq_8.20.1+dfsg-1_arm64.deb 26-Feb-2025 06:40 71M
coq_8.20.1+dfsg.orig.tar.xz 26-Feb-2025 06:21 5M
coq_8.9.0-1.debian.tar.xz 25-Feb-2019 03:58 27K
coq_8.9.0-1.dsc 25-Feb-2019 03:58 2417
coq_8.9.0-1_amd64.deb 25-Feb-2019 04:07 56M
coq_8.9.0-1_arm64.deb 25-Feb-2019 04:07 60M
coq_8.9.0.orig.tar.gz 25-Feb-2019 03:58 5M
coqide_8.12.0-3+b3_amd64.deb 30-Nov-2020 02:43 2M
coqide_8.12.0-3+b3_arm64.deb 30-Nov-2020 02:43 2M
coqide_8.16.1+dfsg-1+b2_amd64.deb 14-Jun-2023 23:43 2M
coqide_8.16.1+dfsg-1+b2_arm64.deb 14-Jun-2023 23:43 2M
coqide_8.19.1+dfsg-2_amd64.deb 24-Jun-2024 14:18 2M
coqide_8.19.1+dfsg-2_arm64.deb 24-Jun-2024 14:19 2M
coqide_8.20.1+dfsg-1_amd64.deb 26-Feb-2025 06:40 2M
coqide_8.20.1+dfsg-1_arm64.deb 26-Feb-2025 06:40 2M
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb 14-Jun-2023 23:43 41M
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb 14-Jun-2023 23:43 41M
libcoq-core-ocaml-dev_8.19.1+dfsg-2_amd64.deb 24-Jun-2024 14:19 43M
libcoq-core-ocaml-dev_8.19.1+dfsg-2_arm64.deb 24-Jun-2024 14:19 44M
libcoq-core-ocaml-dev_8.20.1+dfsg-1_amd64.deb 26-Feb-2025 06:40 66M
libcoq-core-ocaml-dev_8.20.1+dfsg-1_arm64.deb 26-Feb-2025 06:40 65M
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb 14-Jun-2023 23:43 22M
libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb 14-Jun-2023 23:43 22M
libcoq-core-ocaml_8.19.1+dfsg-2_amd64.deb 24-Jun-2024 14:18 22M
libcoq-core-ocaml_8.19.1+dfsg-2_arm64.deb 24-Jun-2024 14:19 23M
libcoq-core-ocaml_8.20.1+dfsg-1_amd64.deb 26-Feb-2025 06:40 25M
libcoq-core-ocaml_8.20.1+dfsg-1_arm64.deb 26-Feb-2025 06:40 25M
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb 30-Nov-2020 02:43 18M
libcoq-ocaml-dev_8.12.0-3+b3_arm64.deb 30-Nov-2020 02:43 18M
libcoq-ocaml-dev_8.9.0-1_amd64.deb 25-Feb-2019 04:07 13M
libcoq-ocaml-dev_8.9.0-1_arm64.deb 25-Feb-2019 04:07 13M
libcoq-ocaml_8.12.0-3+b3_amd64.deb 30-Nov-2020 02:43 7M
libcoq-ocaml_8.12.0-3+b3_arm64.deb 30-Nov-2020 02:43 8M
libcoq-ocaml_8.9.0-1_amd64.deb 25-Feb-2019 04:06 5M
libcoq-ocaml_8.9.0-1_arm64.deb 25-Feb-2019 04:07 6M
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb 14-Jun-2023 23:43 21M
libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb 14-Jun-2023 23:43 21M
libcoq-stdlib_8.19.1+dfsg-2_amd64.deb 24-Jun-2024 14:19 23M
libcoq-stdlib_8.19.1+dfsg-2_arm64.deb 24-Jun-2024 14:19 23M
libcoq-stdlib_8.20.1+dfsg-1_amd64.deb 26-Feb-2025 06:40 22M
libcoq-stdlib_8.20.1+dfsg-1_arm64.deb 26-Feb-2025 06:40 22M