Index of /pardus/pool/main/c/coq/
../
coq-theories_8.12.0-3+b3_amd64.deb 24-Aug-2021 19:23 35M
coq-theories_8.12.0-3+b3_arm64.deb 24-Aug-2021 18:13 23M
coq-theories_8.12.0-3+b3_i386.deb 24-Aug-2021 18:17 34M
coq-theories_8.6-4_amd64.deb 25-Aug-2021 04:04 30M
coq-theories_8.6-4_i386.deb 25-Aug-2021 03:19 29M
coq-theories_8.9.0-1_amd64.deb 24-Aug-2021 23:56 28M
coq-theories_8.9.0-1_arm64.deb 25-Aug-2021 00:19 19M
coq-theories_8.9.0-1_i386.deb 25-Aug-2021 01:17 27M
coq_8.12.0-3+b3_amd64.deb 24-Aug-2021 18:16 86M
coq_8.12.0-3+b3_arm64.deb 24-Aug-2021 20:09 92M
coq_8.12.0-3+b3_i386.deb 24-Aug-2021 21:14 84M
coq_8.12.0-3.debian.tar.xz 24-Aug-2021 20:19 37K
coq_8.12.0-3.dsc 24-Aug-2021 20:19 2483
coq_8.12.0.orig.tar.gz 24-Aug-2021 20:19 6M
coq_8.16.1+dfsg-1+b2_amd64.deb 28-Apr-2023 18:43 89M
coq_8.16.1+dfsg-1+b2_arm64.deb 28-Apr-2023 18:17 97M
coq_8.16.1+dfsg-1+b2_i386.deb 28-Apr-2023 17:50 83M
coq_8.16.1+dfsg-1.debian.tar.xz 10-Feb-2023 17:59 32K
coq_8.16.1+dfsg-1.dsc 10-Feb-2023 17:59 2629
coq_8.16.1+dfsg.orig.tar.xz 10-Feb-2023 17:59 4M
coq_8.20.1+dfsg-1+b1_amd64.deb 13-Aug-2025 00:56 67M
coq_8.20.1+dfsg-1+b1_arm64.deb 13-Aug-2025 01:29 71M
coq_8.20.1+dfsg-1.debian.tar.xz 13-Aug-2025 03:55 30K
coq_8.20.1+dfsg-1.dsc 13-Aug-2025 03:55 2582
coq_8.20.1+dfsg.orig.tar.xz 13-Aug-2025 03:55 5M
coq_8.6-4.debian.tar.xz 25-Aug-2021 03:14 21K
coq_8.6-4.dsc 25-Aug-2021 03:14 2396
coq_8.6-4_amd64.deb 25-Aug-2021 03:20 13M
coq_8.6-4_i386.deb 25-Aug-2021 04:21 13M
coq_8.6.orig.tar.gz 25-Aug-2021 03:14 5M
coq_8.9.0-1.debian.tar.xz 25-Aug-2021 00:08 27K
coq_8.9.0-1.dsc 25-Aug-2021 00:08 2417
coq_8.9.0-1_amd64.deb 24-Aug-2021 22:48 56M
coq_8.9.0-1_arm64.deb 24-Aug-2021 23:03 60M
coq_8.9.0-1_i386.deb 25-Aug-2021 00:21 54M
coq_8.9.0.orig.tar.gz 25-Aug-2021 00:08 5M
coqide_8.12.0-3+b3_amd64.deb 24-Aug-2021 17:23 2M
coqide_8.12.0-3+b3_arm64.deb 24-Aug-2021 21:37 2M
coqide_8.12.0-3+b3_i386.deb 24-Aug-2021 16:55 2M
coqide_8.16.1+dfsg-1+b2_amd64.deb 28-Apr-2023 18:08 2M
coqide_8.16.1+dfsg-1+b2_arm64.deb 28-Apr-2023 18:55 2M
coqide_8.16.1+dfsg-1+b2_i386.deb 28-Apr-2023 19:07 2M
coqide_8.20.1+dfsg-1+b1_amd64.deb 13-Aug-2025 00:46 2M
coqide_8.20.1+dfsg-1+b1_arm64.deb 13-Aug-2025 00:18 2M
coqide_8.6-4_amd64.deb 25-Aug-2021 03:21 1M
coqide_8.6-4_i386.deb 25-Aug-2021 03:27 1M
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb 28-Apr-2023 18:14 41M
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb 28-Apr-2023 19:04 41M
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb 28-Apr-2023 18:46 40M
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb 13-Aug-2025 02:57 66M
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_arm64.deb 13-Aug-2025 00:12 65M
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb 28-Apr-2023 18:48 22M
libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb 28-Apr-2023 18:33 22M
libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb 28-Apr-2023 17:50 21M
libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb 13-Aug-2025 05:20 25M
libcoq-core-ocaml_8.20.1+dfsg-1+b1_arm64.deb 13-Aug-2025 02:57 25M
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb 24-Aug-2021 19:08 18M
libcoq-ocaml-dev_8.12.0-3+b3_arm64.deb 24-Aug-2021 18:44 18M
libcoq-ocaml-dev_8.12.0-3+b3_i386.deb 24-Aug-2021 17:59 18M
libcoq-ocaml-dev_8.6-4_amd64.deb 25-Aug-2021 03:59 13M
libcoq-ocaml-dev_8.6-4_i386.deb 25-Aug-2021 04:14 13M
libcoq-ocaml-dev_8.9.0-1_amd64.deb 24-Aug-2021 22:31 13M
libcoq-ocaml-dev_8.9.0-1_arm64.deb 25-Aug-2021 00:34 13M
libcoq-ocaml-dev_8.9.0-1_i386.deb 25-Aug-2021 00:01 13M
libcoq-ocaml_8.12.0-3+b3_amd64.deb 24-Aug-2021 16:33 7M
libcoq-ocaml_8.12.0-3+b3_arm64.deb 24-Aug-2021 19:03 8M
libcoq-ocaml_8.12.0-3+b3_i386.deb 24-Aug-2021 16:31 7M
libcoq-ocaml_8.6-4_amd64.deb 25-Aug-2021 04:13 3M
libcoq-ocaml_8.6-4_i386.deb 25-Aug-2021 03:43 3M
libcoq-ocaml_8.9.0-1_amd64.deb 24-Aug-2021 23:23 5M
libcoq-ocaml_8.9.0-1_arm64.deb 24-Aug-2021 22:33 6M
libcoq-ocaml_8.9.0-1_i386.deb 25-Aug-2021 02:34 5M
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb 28-Apr-2023 18:30 21M
libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb 28-Apr-2023 17:57 21M
libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb 28-Apr-2023 17:56 21M
libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb 12-Aug-2025 23:35 22M
libcoq-stdlib_8.20.1+dfsg-1+b1_arm64.deb 13-Aug-2025 03:16 22M