Index of /debian/pool/main/c/coq/
name
size
date
coq_8.20.1+dfsg-1+b3_arm64.deb
71.41M
2026-01-17 05:14:28
coqide_8.20.1+dfsg-1+b3_arm64.deb
2.14M
2026-01-17 05:14:28
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b3_arm64.deb
49.46M
2026-01-17 05:14:28
libcoq-core-ocaml_8.20.1+dfsg-1+b3_arm64.deb
23.49M
2026-01-17 05:14:28
libcoq-stdlib_8.20.1+dfsg-1+b3_arm64.deb
22.44M
2026-01-17 05:14:28
libcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_riscv64.deb
56.05M
2025-12-30 11:19:13
libcoq-core-ocaml_9.1.0+dfsg-3+b1_riscv64.deb
23.98M
2025-12-30 11:19:13
libcoq-core_9.1.0+dfsg-3+b1_riscv64.deb
1.08M
2025-12-30 11:19:13
rocqide_9.1.0+dfsg-3+b1_riscv64.deb
1.95M
2025-12-30 11:19:13
coq_9.1.0+dfsg-3+b1_riscv64.deb
39.43M
2025-12-30 11:19:12
coq_8.20.1+dfsg-1+b2_riscv64.deb
69.02M
2025-12-28 02:09:12
coqide_8.20.1+dfsg-1+b2_riscv64.deb
1.95M
2025-12-28 02:09:12
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b2_riscv64.deb
54.30M
2025-12-28 02:09:12
libcoq-core-ocaml_8.20.1+dfsg-1+b2_riscv64.deb
23.23M
2025-12-28 02:09:12
libcoq-stdlib_8.20.1+dfsg-1+b2_riscv64.deb
22.44M
2025-12-28 02:09:12
rocqide_9.1.0+dfsg-3+b1_s390x.deb
1.94M
2025-12-27 21:19:07
coq_9.1.0+dfsg-3+b1_s390x.deb
39.36M
2025-12-27 21:19:06
libcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_s390x.deb
51.05M
2025-12-27 21:19:06
libcoq-core-ocaml_9.1.0+dfsg-3+b1_s390x.deb
23.92M
2025-12-27 21:19:06
libcoq-core_9.1.0+dfsg-3+b1_s390x.deb
1.08M
2025-12-27 21:19:06
coq_8.20.1+dfsg-1+b2_s390x.deb
68.80M
2025-12-27 20:22:45
coqide_8.20.1+dfsg-1+b2_s390x.deb
1.93M
2025-12-27 20:22:45
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b2_s390x.deb
49.43M
2025-12-27 20:22:45
libcoq-core-ocaml_8.20.1+dfsg-1+b2_s390x.deb
23.19M
2025-12-27 20:22:45
libcoq-stdlib_8.20.1+dfsg-1+b2_s390x.deb
22.44M
2025-12-27 20:22:45
coq_9.1.0+dfsg-3+b1_ppc64el.deb
38.96M
2025-12-27 18:40:35
libcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_ppc64el.deb
51.92M
2025-12-27 18:40:35
libcoq-core-ocaml_9.1.0+dfsg-3+b1_ppc64el.deb
23.85M
2025-12-27 18:40:35
libcoq-core_9.1.0+dfsg-3+b1_ppc64el.deb
1.09M
2025-12-27 18:40:35
rocqide_9.1.0+dfsg-3+b1_ppc64el.deb
1.90M
2025-12-27 18:40:35
coq_8.20.1+dfsg-1+b2_ppc64el.deb
68.36M
2025-12-27 18:40:31
coqide_8.20.1+dfsg-1+b2_ppc64el.deb
1.90M
2025-12-27 18:40:31
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b2_ppc64el.deb
50.22M
2025-12-27 18:40:31
libcoq-core-ocaml_8.20.1+dfsg-1+b2_ppc64el.deb
23.12M
2025-12-27 18:40:31
libcoq-stdlib_8.20.1+dfsg-1+b2_ppc64el.deb
22.44M
2025-12-27 18:40:31
coq_9.1.0+dfsg-3+b1_i386.deb
22.70M
2025-12-27 18:35:20
libcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_i386.deb
42.80M
2025-12-27 18:35:20
libcoq-core-ocaml_9.1.0+dfsg-3+b1_i386.deb
16.68M
2025-12-27 18:35:20
libcoq-core_9.1.0+dfsg-3+b1_i386.deb
1.09M
2025-12-27 18:35:20
rocqide_9.1.0+dfsg-3+b1_i386.deb
0.61M
2025-12-27 18:35:20
libcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_amd64.deb
51.23M
2025-12-27 18:30:15
libcoq-core-ocaml_9.1.0+dfsg-3+b1_amd64.deb
23.82M
2025-12-27 18:30:15
libcoq-core_9.1.0+dfsg-3+b1_amd64.deb
1.09M
2025-12-27 18:30:15
rocqide_9.1.0+dfsg-3+b1_amd64.deb
1.86M
2025-12-27 18:30:15
coq_9.1.0+dfsg-3+b1_amd64.deb
38.32M
2025-12-27 18:30:14
coq_8.20.1+dfsg-1+b2_amd64.deb
67.82M
2025-12-27 18:30:10
coqide_8.20.1+dfsg-1+b2_amd64.deb
1.86M
2025-12-27 18:30:10
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b2_amd64.deb
49.60M
2025-12-27 18:30:10
libcoq-core-ocaml_8.20.1+dfsg-1+b2_amd64.deb
23.09M
2025-12-27 18:30:10
libcoq-stdlib_8.20.1+dfsg-1+b2_amd64.deb
22.44M
2025-12-27 18:30:10
coq_9.1.0+dfsg-3+b1_arm64.deb
41.68M
2025-12-27 17:44:04
libcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_arm64.deb
51.10M
2025-12-27 17:44:04
libcoq-core-ocaml_9.1.0+dfsg-3+b1_arm64.deb
24.23M
2025-12-27 17:44:04
libcoq-core_9.1.0+dfsg-3+b1_arm64.deb
1.09M
2025-12-27 17:44:04
rocqide_9.1.0+dfsg-3+b1_arm64.deb
2.15M
2025-12-27 17:44:04
libcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_armhf.deb
42.80M
2025-12-27 17:23:49
libcoq-core-ocaml_9.1.0+dfsg-3+b1_armhf.deb
16.67M
2025-12-27 17:23:49
libcoq-core_9.1.0+dfsg-3+b1_armhf.deb
1.09M
2025-12-27 17:23:49
rocqide_9.1.0+dfsg-3+b1_armhf.deb
0.54M
2025-12-27 17:23:49
coq_9.1.0+dfsg-3+b1_armhf.deb
22.47M
2025-12-27 17:23:48
coq_9.1.0+dfsg-3.debian.tar.xz
23.6K
2025-11-11 17:29:44
coq_9.1.0+dfsg-3.dsc
2.5K
2025-11-11 17:29:44
coq_9.1.0+dfsg.orig.tar.xz
3.66M
2025-09-17 16:17:04
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