Index of /debian/pool/main/c/coq
Name
Last modified
Size
Description
Parent Directory
-
coq-theories_8.12.0-3+b3_amd64.deb
2020-11-25 12:58
35M
coq-theories_8.12.0-3+b3_arm64.deb
2020-11-25 13:28
23M
coq-theories_8.12.0-3+b3_armhf.deb
2020-11-25 13:13
23M
coq-theories_8.12.0-3+b3_i386.deb
2020-11-25 12:48
34M
coq_8.12.0-3+b3_amd64.deb
2020-11-25 12:58
86M
coq_8.12.0-3+b3_arm64.deb
2020-11-25 13:28
92M
coq_8.12.0-3+b3_armhf.deb
2020-11-25 13:13
84M
coq_8.12.0-3+b3_i386.deb
2020-11-25 12:48
84M
coq_8.12.0-3.debian.tar.xz
2020-09-10 12:08
37K
coq_8.12.0-3.dsc
2020-09-10 12:08
2.4K
coq_8.12.0.orig.tar.gz
2020-08-22 14:56
5.7M
coq_8.16.1+dfsg-1+b2_amd64.deb
2023-02-13 06:44
89M
coq_8.16.1+dfsg-1+b2_arm64.deb
2023-02-13 07:25
97M
coq_8.16.1+dfsg-1+b2_armhf.deb
2023-02-13 07:25
86M
coq_8.16.1+dfsg-1+b2_i386.deb
2023-02-13 06:59
83M
coq_8.16.1+dfsg-1+b2_ppc64el.deb
2023-02-13 08:43
90M
coq_8.16.1+dfsg-1+b2_s390x.deb
2023-02-13 07:15
89M
coq_8.16.1+dfsg-1.debian.tar.xz
2022-11-29 14:05
32K
coq_8.16.1+dfsg-1.dsc
2022-11-29 14:05
2.6K
coq_8.16.1+dfsg.orig.tar.xz
2022-11-29 14:05
4.5M
coq_8.20.1+dfsg-1+b1_amd64.deb
2025-06-15 06:37
67M
coq_8.20.1+dfsg-1+b1_arm64.deb
2025-06-15 10:47
71M
coq_8.20.1+dfsg-1+b1_ppc64el.deb
2025-06-15 11:23
68M
coq_8.20.1+dfsg-1+b1_riscv64.deb
2025-06-15 10:22
68M
coq_8.20.1+dfsg-1+b1_s390x.deb
2025-06-16 17:47
68M
coq_8.20.1+dfsg-1.debian.tar.xz
2025-02-17 22:07
30K
coq_8.20.1+dfsg-1.dsc
2025-02-17 22:07
2.5K
coq_8.20.1+dfsg.orig.tar.xz
2025-02-17 22:07
4.8M
coq_9.1.0+dfsg-3.debian.tar.xz
2025-11-11 22:59
24K
coq_9.1.0+dfsg-3.dsc
2025-11-11 22:59
2.5K
coq_9.1.0+dfsg-3_amd64.deb
2025-11-11 22:59
38M
coq_9.1.0+dfsg-3_arm64.deb
2025-11-11 23:20
41M
coq_9.1.0+dfsg-3_armhf.deb
2025-11-11 23:20
22M
coq_9.1.0+dfsg-3_i386.deb
2025-11-11 23:20
22M
coq_9.1.0+dfsg-3_ppc64el.deb
2025-11-11 23:20
38M
coq_9.1.0+dfsg-3_riscv64.deb
2025-11-12 06:10
39M
coq_9.1.0+dfsg-3_s390x.deb
2025-11-12 05:14
38M
coq_9.1.0+dfsg.orig.tar.xz
2025-09-17 21:47
3.7M
coqide_8.12.0-3+b3_amd64.deb
2020-11-25 12:58
1.8M
coqide_8.12.0-3+b3_arm64.deb
2020-11-25 13:28
2.1M
coqide_8.12.0-3+b3_armhf.deb
2020-11-25 13:13
1.7M
coqide_8.12.0-3+b3_i386.deb
2020-11-25 12:48
1.6M
coqide_8.16.1+dfsg-1+b2_amd64.deb
2023-02-13 06:44
1.9M
coqide_8.16.1+dfsg-1+b2_arm64.deb
2023-02-13 07:25
2.2M
coqide_8.16.1+dfsg-1+b2_armhf.deb
2023-02-13 07:25
1.7M
coqide_8.16.1+dfsg-1+b2_i386.deb
2023-02-13 06:59
1.7M
coqide_8.16.1+dfsg-1+b2_ppc64el.deb
2023-02-13 08:43
2.0M
coqide_8.16.1+dfsg-1+b2_s390x.deb
2023-02-13 07:15
1.9M
coqide_8.20.1+dfsg-1+b1_amd64.deb
2025-06-15 06:37
1.8M
coqide_8.20.1+dfsg-1+b1_arm64.deb
2025-06-15 10:47
2.1M
coqide_8.20.1+dfsg-1+b1_ppc64el.deb
2025-06-15 11:23
1.9M
coqide_8.20.1+dfsg-1+b1_riscv64.deb
2025-06-15 10:22
1.9M
coqide_8.20.1+dfsg-1+b1_s390x.deb
2025-06-16 17:47
1.9M
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb
2023-02-13 06:44
41M
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb
2023-02-13 07:25
41M
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb
2023-02-13 07:25
41M
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb
2023-02-13 06:59
40M
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_ppc64el.deb
2023-02-13 08:43
42M
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_s390x.deb
2023-02-13 07:15
40M
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb
2025-06-15 06:37
66M
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_arm64.deb
2025-06-15 10:47
65M
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_ppc64el.deb
2025-06-15 11:23
66M
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_riscv64.deb
2025-06-15 10:22
70M
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_s390x.deb
2025-06-16 17:47
65M
libcoq-core-ocaml-dev_9.1.0+dfsg-3_amd64.deb
2025-11-11 22:59
68M
libcoq-core-ocaml-dev_9.1.0+dfsg-3_arm64.deb
2025-11-11 23:20
68M
libcoq-core-ocaml-dev_9.1.0+dfsg-3_armhf.deb
2025-11-11 23:20
59M
libcoq-core-ocaml-dev_9.1.0+dfsg-3_i386.deb
2025-11-11 23:20
59M
libcoq-core-ocaml-dev_9.1.0+dfsg-3_ppc64el.deb
2025-11-11 23:20
68M
libcoq-core-ocaml-dev_9.1.0+dfsg-3_riscv64.deb
2025-11-12 06:10
72M
libcoq-core-ocaml-dev_9.1.0+dfsg-3_s390x.deb
2025-11-12 05:14
67M
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb
2023-02-13 06:44
22M
libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb
2023-02-13 07:25
22M
libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb
2023-02-13 07:25
21M
libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb
2023-02-13 06:59
21M
libcoq-core-ocaml_8.16.1+dfsg-1+b2_ppc64el.deb
2023-02-13 08:43
22M
libcoq-core-ocaml_8.16.1+dfsg-1+b2_s390x.deb
2023-02-13 07:15
22M
libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb
2025-06-15 06:37
25M
libcoq-core-ocaml_8.20.1+dfsg-1+b1_arm64.deb
2025-06-15 10:47
25M
libcoq-core-ocaml_8.20.1+dfsg-1+b1_ppc64el.deb
2025-06-15 11:23
25M
libcoq-core-ocaml_8.20.1+dfsg-1+b1_riscv64.deb
2025-06-15 10:22
25M
libcoq-core-ocaml_8.20.1+dfsg-1+b1_s390x.deb
2025-06-16 17:47
25M
libcoq-core-ocaml_9.1.0+dfsg-3_amd64.deb
2025-11-11 22:59
26M
libcoq-core-ocaml_9.1.0+dfsg-3_arm64.deb
2025-11-11 23:20
26M
libcoq-core-ocaml_9.1.0+dfsg-3_armhf.deb
2025-11-11 23:20
19M
libcoq-core-ocaml_9.1.0+dfsg-3_i386.deb
2025-11-11 23:20
19M
libcoq-core-ocaml_9.1.0+dfsg-3_ppc64el.deb
2025-11-11 23:20
26M
libcoq-core-ocaml_9.1.0+dfsg-3_riscv64.deb
2025-11-12 06:10
26M
libcoq-core-ocaml_9.1.0+dfsg-3_s390x.deb
2025-11-12 05:14
26M
libcoq-core_9.1.0+dfsg-3_amd64.deb
2025-11-11 22:59
1.1M
libcoq-core_9.1.0+dfsg-3_arm64.deb
2025-11-11 23:20
1.1M
libcoq-core_9.1.0+dfsg-3_armhf.deb
2025-11-11 23:20
1.1M
libcoq-core_9.1.0+dfsg-3_i386.deb
2025-11-11 23:20
1.1M
libcoq-core_9.1.0+dfsg-3_ppc64el.deb
2025-11-11 23:20
1.1M
libcoq-core_9.1.0+dfsg-3_riscv64.deb
2025-11-12 06:10
1.1M
libcoq-core_9.1.0+dfsg-3_s390x.deb
2025-11-12 05:14
1.1M
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb
2020-11-25 12:58
18M
libcoq-ocaml-dev_8.12.0-3+b3_arm64.deb
2020-11-25 13:28
18M
libcoq-ocaml-dev_8.12.0-3+b3_armhf.deb
2020-11-25 13:13
18M
libcoq-ocaml-dev_8.12.0-3+b3_i386.deb
2020-11-25 12:48
18M
libcoq-ocaml_8.12.0-3+b3_amd64.deb
2020-11-25 12:58
7.4M
libcoq-ocaml_8.12.0-3+b3_arm64.deb
2020-11-25 13:28
7.6M
libcoq-ocaml_8.12.0-3+b3_armhf.deb
2020-11-25 13:13
7.4M
libcoq-ocaml_8.12.0-3+b3_i386.deb
2020-11-25 12:48
7.2M
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb
2023-02-13 06:44
21M
libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb
2023-02-13 07:25
21M
libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb
2023-02-13 07:25
21M
libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb
2023-02-13 06:59
21M
libcoq-stdlib_8.16.1+dfsg-1+b2_ppc64el.deb
2023-02-13 08:43
21M
libcoq-stdlib_8.16.1+dfsg-1+b2_s390x.deb
2023-02-13 07:15
21M
libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb
2025-06-15 06:37
22M
libcoq-stdlib_8.20.1+dfsg-1+b1_arm64.deb
2025-06-15 10:47
22M
libcoq-stdlib_8.20.1+dfsg-1+b1_ppc64el.deb
2025-06-15 11:23
22M
libcoq-stdlib_8.20.1+dfsg-1+b1_riscv64.deb
2025-06-15 10:22
22M
libcoq-stdlib_8.20.1+dfsg-1+b1_s390x.deb
2025-06-16 17:47
22M
rocqide_9.1.0+dfsg-3_amd64.deb
2025-11-11 22:59
1.8M
rocqide_9.1.0+dfsg-3_arm64.deb
2025-11-11 23:20
2.2M
rocqide_9.1.0+dfsg-3_armhf.deb
2025-11-11 23:20
549K
rocqide_9.1.0+dfsg-3_i386.deb
2025-11-11 23:20
620K
rocqide_9.1.0+dfsg-3_ppc64el.deb
2025-11-11 23:20
1.9M
rocqide_9.1.0+dfsg-3_riscv64.deb
2025-11-12 06:10
1.9M
rocqide_9.1.0+dfsg-3_s390x.deb
2025-11-12 05:14
1.9M