Index of /debian/pool/main/c/coq/
name
size
date
coq_9.2.0+dfsg-3_riscv64.deb
40.52M
2026-07-27 20:08:32
libcoq-core-ocaml-dev_9.2.0+dfsg-3_riscv64.deb
58.08M
2026-07-27 20:08:32
libcoq-core-ocaml_9.2.0+dfsg-3_riscv64.deb
24.76M
2026-07-27 20:08:32
libcoq-core_9.2.0+dfsg-3_riscv64.deb
1.10M
2026-07-27 20:08:32
rocqide_9.2.0+dfsg-3_riscv64.deb
1.95M
2026-07-27 20:08:32
coq_9.2.0+dfsg-3+b1_amd64.deb
39.38M
2026-07-27 19:33:20
libcoq-core-ocaml-dev_9.2.0+dfsg-3+b1_amd64.deb
53.12M
2026-07-27 19:33:20
libcoq-core-ocaml_9.2.0+dfsg-3+b1_amd64.deb
24.60M
2026-07-27 19:33:20
libcoq-core_9.2.0+dfsg-3+b1_amd64.deb
1.10M
2026-07-27 19:33:20
rocqide_9.2.0+dfsg-3+b1_amd64.deb
1.86M
2026-07-27 19:33:20
coq_9.2.0+dfsg-3_arm64.deb
42.51M
2026-07-27 14:58:55
libcoq-core-ocaml-dev_9.2.0+dfsg-3_arm64.deb
53.52M
2026-07-27 14:58:55
libcoq-core-ocaml_9.2.0+dfsg-3_arm64.deb
25.08M
2026-07-27 14:58:55
libcoq-core_9.2.0+dfsg-3_arm64.deb
1.10M
2026-07-27 14:58:55
rocqide_9.2.0+dfsg-3_arm64.deb
2.15M
2026-07-27 14:58:55
coq_9.2.0+dfsg-3_armhf.deb
23.01M
2026-07-27 14:58:45
libcoq-core-ocaml-dev_9.2.0+dfsg-3_armhf.deb
44.44M
2026-07-27 14:58:45
libcoq-core-ocaml_9.2.0+dfsg-3_armhf.deb
17.24M
2026-07-27 14:58:45
libcoq-core_9.2.0+dfsg-3_armhf.deb
1.10M
2026-07-27 14:58:45
rocqide_9.2.0+dfsg-3_armhf.deb
0.54M
2026-07-27 14:58:45
coq_9.2.0+dfsg-3_ppc64el.deb
40.06M
2026-07-27 14:58:43
libcoq-core-ocaml-dev_9.2.0+dfsg-3_ppc64el.deb
53.81M
2026-07-27 14:58:43
libcoq-core-ocaml_9.2.0+dfsg-3_ppc64el.deb
24.67M
2026-07-27 14:58:43
libcoq-core_9.2.0+dfsg-3_ppc64el.deb
1.10M
2026-07-27 14:58:43
rocqide_9.2.0+dfsg-3_ppc64el.deb
1.90M
2026-07-27 14:58:43
libcoq-core-ocaml-dev_9.2.0+dfsg-3_s390x.deb
52.91M
2026-07-27 14:58:39
libcoq-core-ocaml_9.2.0+dfsg-3_s390x.deb
24.74M
2026-07-27 14:58:39
libcoq-core_9.2.0+dfsg-3_s390x.deb
1.10M
2026-07-27 14:58:39
rocqide_9.2.0+dfsg-3_s390x.deb
1.93M
2026-07-27 14:58:39
coq_9.2.0+dfsg-3_s390x.deb
40.31M
2026-07-27 14:58:38
coq_9.2.0+dfsg-3_loong64.deb
23.08M
2026-07-27 14:53:21
libcoq-core-ocaml-dev_9.2.0+dfsg-3_loong64.deb
44.43M
2026-07-27 14:53:21
libcoq-core-ocaml_9.2.0+dfsg-3_loong64.deb
17.23M
2026-07-27 14:53:21
libcoq-core_9.2.0+dfsg-3_loong64.deb
1.10M
2026-07-27 14:53:21
rocqide_9.2.0+dfsg-3_loong64.deb
0.58M
2026-07-27 14:53:21
coq_9.2.0+dfsg-3_i386.deb
23.23M
2026-07-27 14:53:15
libcoq-core-ocaml-dev_9.2.0+dfsg-3_i386.deb
44.43M
2026-07-27 14:53:15
libcoq-core-ocaml_9.2.0+dfsg-3_i386.deb
17.24M
2026-07-27 14:53:15
libcoq-core_9.2.0+dfsg-3_i386.deb
1.10M
2026-07-27 14:53:15
rocqide_9.2.0+dfsg-3_i386.deb
0.61M
2026-07-27 14:53:15
coq_9.2.0+dfsg-3.debian.tar.xz
27.6K
2026-07-27 14:12:15
coq_9.2.0+dfsg-3.dsc
2.4K
2026-07-27 14:12:15
coq_9.2.0+dfsg.orig.tar.xz
3.76M
2026-07-10 08:36:05
coq_8.20.1+dfsg-1+b3_riscv64.deb
69.01M
2026-06-20 09:02:55
coqide_8.20.1+dfsg-1+b3_riscv64.deb
1.95M
2026-06-20 09:02:55
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b3_riscv64.deb
54.31M
2026-06-20 09:02:55
libcoq-core-ocaml_8.20.1+dfsg-1+b3_riscv64.deb
23.23M
2026-06-20 09:02:55
libcoq-stdlib_8.20.1+dfsg-1+b3_riscv64.deb
22.44M
2026-06-20 09:02:55
libcoq-stdlib_8.20.1+dfsg-1+b3_ppc64el.deb
22.44M
2026-06-19 07:10:36
coq_8.20.1+dfsg-1+b3_ppc64el.deb
68.37M
2026-06-19 07:10:35
coqide_8.20.1+dfsg-1+b3_ppc64el.deb
1.89M
2026-06-19 07:10:35
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b3_ppc64el.deb
50.22M
2026-06-19 07:10:35
libcoq-core-ocaml_8.20.1+dfsg-1+b3_ppc64el.deb
23.12M
2026-06-19 07:10:35
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b5_arm64.deb
49.91M
2026-06-19 06:35:02
libcoq-core-ocaml_8.20.1+dfsg-1+b5_arm64.deb
23.48M
2026-06-19 06:35:02
libcoq-stdlib_8.20.1+dfsg-1+b5_arm64.deb
22.44M
2026-06-19 06:35:02
coq_8.20.1+dfsg-1+b5_arm64.deb
71.40M
2026-06-19 06:35:01
coqide_8.20.1+dfsg-1+b5_arm64.deb
2.15M
2026-06-19 06:35:01
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b4_amd64.deb
49.59M
2026-06-19 05:42:50
libcoq-core-ocaml_8.20.1+dfsg-1+b4_amd64.deb
23.08M
2026-06-19 05:42:50
libcoq-stdlib_8.20.1+dfsg-1+b4_amd64.deb
22.44M
2026-06-19 05:42:50
coq_8.20.1+dfsg-1+b4_amd64.deb
67.82M
2026-06-19 05:42:49
coqide_8.20.1+dfsg-1+b4_amd64.deb
1.85M
2026-06-19 05:42:49
libcoq-core-ocaml_8.20.1+dfsg-1+b3_s390x.deb
23.19M
2026-06-18 11:54:28
libcoq-stdlib_8.20.1+dfsg-1+b3_s390x.deb
22.43M
2026-06-18 11:54:28
coq_8.20.1+dfsg-1+b3_s390x.deb
68.78M
2026-06-18 11:54:27
coqide_8.20.1+dfsg-1+b3_s390x.deb
1.92M
2026-06-18 11:54:27
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b3_s390x.deb
49.43M
2026-06-18 11:54:27
coq_8.20.1+dfsg-1+b1_s390x.deb
67.74M
2025-06-16 12:17:39
coqide_8.20.1+dfsg-1+b1_s390x.deb
1.88M
2025-06-16 12:17:39
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_s390x.deb
65.03M
2025-06-16 12:17:39
libcoq-core-ocaml_8.20.1+dfsg-1+b1_s390x.deb
24.80M
2025-06-16 12:17:39
libcoq-stdlib_8.20.1+dfsg-1+b1_s390x.deb
22.44M
2025-06-16 12:17:39
libcoq-stdlib_8.20.1+dfsg-1+b1_ppc64el.deb
22.44M
2025-06-15 05:53:16
coq_8.20.1+dfsg-1+b1_ppc64el.deb
67.57M
2025-06-15 05:53:15
coqide_8.20.1+dfsg-1+b1_ppc64el.deb
1.88M
2025-06-15 05:53:15
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_ppc64el.deb
66.12M
2025-06-15 05:53:15
libcoq-core-ocaml_8.20.1+dfsg-1+b1_ppc64el.deb
24.78M
2025-06-15 05:53:15
coq_8.20.1+dfsg-1+b1_arm64.deb
71.00M
2025-06-15 05:17:48
coqide_8.20.1+dfsg-1+b1_arm64.deb
2.14M
2025-06-15 05:17:48
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_arm64.deb
65.39M
2025-06-15 05:17:48
libcoq-core-ocaml_8.20.1+dfsg-1+b1_arm64.deb
25.17M
2025-06-15 05:17:48
libcoq-stdlib_8.20.1+dfsg-1+b1_arm64.deb
22.44M
2025-06-15 05:17:48
libcoq-stdlib_8.20.1+dfsg-1+b1_riscv64.deb
22.44M
2025-06-15 04:52:36
coq_8.20.1+dfsg-1+b1_riscv64.deb
67.90M
2025-06-15 04:52:35
coqide_8.20.1+dfsg-1+b1_riscv64.deb
1.90M
2025-06-15 04:52:35
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_riscv64.deb
70.14M
2025-06-15 04:52:35
libcoq-core-ocaml_8.20.1+dfsg-1+b1_riscv64.deb
24.82M
2025-06-15 04:52:35
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb
65.52M
2025-06-15 01:07:24
libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb
24.75M
2025-06-15 01:07:24
libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb
22.44M
2025-06-15 01:07:24
coq_8.20.1+dfsg-1+b1_amd64.deb
66.97M
2025-06-15 01:07:23
coqide_8.20.1+dfsg-1+b1_amd64.deb
1.84M
2025-06-15 01:07:23
coq_8.20.1+dfsg-1.debian.tar.xz
29.5K
2025-02-17 16:37:02
coq_8.20.1+dfsg-1.dsc
2.5K
2025-02-17 16:37:02
coq_8.20.1+dfsg.orig.tar.xz
4.78M
2025-02-17 16:37:02
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_ppc64el.deb
41.54M
2023-02-13 03:13:44
libcoq-core-ocaml_8.16.1+dfsg-1+b2_ppc64el.deb
21.57M
2023-02-13 03:13:44
libcoq-stdlib_8.16.1+dfsg-1+b2_ppc64el.deb
20.53M
2023-02-13 03:13:44
coq_8.16.1+dfsg-1+b2_ppc64el.deb
89.54M
2023-02-13 03:13:43
coqide_8.16.1+dfsg-1+b2_ppc64el.deb
1.98M
2023-02-13 03:13:43
coq_8.16.1+dfsg-1+b2_arm64.deb
97.44M
2023-02-13 01:55:59
coqide_8.16.1+dfsg-1+b2_arm64.deb
2.20M
2023-02-13 01:55:59
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb
40.84M
2023-02-13 01:55:59
libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb
22.02M
2023-02-13 01:55:59
libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb
20.53M
2023-02-13 01:55:59
coq_8.16.1+dfsg-1+b2_armhf.deb
85.70M
2023-02-13 01:55:40
coqide_8.16.1+dfsg-1+b2_armhf.deb
1.75M
2023-02-13 01:55:40
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb
41.12M
2023-02-13 01:55:40
libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb
21.23M
2023-02-13 01:55:40
libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb
20.53M
2023-02-13 01:55:40
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_s390x.deb
40.29M
2023-02-13 01:45:25
libcoq-core-ocaml_8.16.1+dfsg-1+b2_s390x.deb
21.57M
2023-02-13 01:45:25
libcoq-stdlib_8.16.1+dfsg-1+b2_s390x.deb
20.53M
2023-02-13 01:45:25
coq_8.16.1+dfsg-1+b2_s390x.deb
88.99M
2023-02-13 01:45:24
coqide_8.16.1+dfsg-1+b2_s390x.deb
1.89M
2023-02-13 01:45:24
coq_8.16.1+dfsg-1+b2_i386.deb
83.46M
2023-02-13 01:29:50
coqide_8.16.1+dfsg-1+b2_i386.deb
1.72M
2023-02-13 01:29:50
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb
40.48M
2023-02-13 01:29:50
libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb
20.74M
2023-02-13 01:29:50
libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb
20.53M
2023-02-13 01:29:50
coq_8.16.1+dfsg-1+b2_amd64.deb
88.89M
2023-02-13 01:14:24
coqide_8.16.1+dfsg-1+b2_amd64.deb
1.90M
2023-02-13 01:14:24
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb
40.75M
2023-02-13 01:14:24
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb
21.51M
2023-02-13 01:14:24
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb
20.53M
2023-02-13 01:14:24
coq_8.16.1+dfsg-1.debian.tar.xz
32.5K
2022-11-29 08:35:18
coq_8.16.1+dfsg-1.dsc
2.6K
2022-11-29 08:35:18
coq_8.16.1+dfsg.orig.tar.xz
4.50M
2022-11-29 08:35:18
coq_8.12.0-3+b3_arm64.deb
91.62M
2020-11-25 07:58:54
coqide_8.12.0-3+b3_arm64.deb
2.07M
2020-11-25 07:58:54
libcoq-ocaml-dev_8.12.0-3+b3_arm64.deb
17.86M
2020-11-25 07:58:54
libcoq-ocaml_8.12.0-3+b3_arm64.deb
7.61M
2020-11-25 07:58:54
coq-theories_8.12.0-3+b3_arm64.deb
22.82M
2020-11-25 07:58:53
libcoq-ocaml-dev_8.12.0-3+b3_armhf.deb
18.31M
2020-11-25 07:43:50
libcoq-ocaml_8.12.0-3+b3_armhf.deb
7.38M
2020-11-25 07:43:50
coq-theories_8.12.0-3+b3_armhf.deb
22.81M
2020-11-25 07:43:49
coq_8.12.0-3+b3_armhf.deb
84.26M
2020-11-25 07:43:49
coqide_8.12.0-3+b3_armhf.deb
1.66M
2020-11-25 07:43:49
coq_8.12.0-3+b3_amd64.deb
86.26M
2020-11-25 07:28:15
coqide_8.12.0-3+b3_amd64.deb
1.79M
2020-11-25 07:28:15
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb
17.86M
2020-11-25 07:28:15
libcoq-ocaml_8.12.0-3+b3_amd64.deb
7.40M
2020-11-25 07:28:15
coq-theories_8.12.0-3+b3_amd64.deb
34.81M
2020-11-25 07:28:14
libcoq-ocaml_8.12.0-3+b3_i386.deb
7.22M
2020-11-25 07:18:09
coq-theories_8.12.0-3+b3_i386.deb
33.61M
2020-11-25 07:18:08
coq_8.12.0-3+b3_i386.deb
83.81M
2020-11-25 07:18:08
coqide_8.12.0-3+b3_i386.deb
1.64M
2020-11-25 07:18:08
libcoq-ocaml-dev_8.12.0-3+b3_i386.deb
17.79M
2020-11-25 07:18:08
coq_8.12.0-3.debian.tar.xz
36.9K
2020-09-10 06:38:30
coq_8.12.0-3.dsc
2.4K
2020-09-10 06:38:30
coq_8.12.0.orig.tar.gz
5.73M
2020-08-22 09:26:38