Index of /debian/pool/main/c/coq/

directories: 0, files: 152

NameLast modifiedSize
../
rocqide_9.2.0+dfsg-1_s390x.deb2026-07-10 11:06:241.93 MiB
rocqide_9.2.0+dfsg-1_riscv64.deb2026-07-10 17:18:401.95 MiB
rocqide_9.2.0+dfsg-1_ppc64el.deb2026-07-10 11:06:301.90 MiB
rocqide_9.2.0+dfsg-1_loong64.deb2026-07-10 11:11:32595.77 KiB
rocqide_9.2.0+dfsg-1_i386.deb2026-07-10 11:06:22623.13 KiB
rocqide_9.2.0+dfsg-1_armhf.deb2026-07-10 11:06:28552.54 KiB
rocqide_9.2.0+dfsg-1_arm64.deb2026-07-10 11:06:262.15 MiB
rocqide_9.2.0+dfsg-1_amd64.deb2026-07-10 10:36:051.85 MiB
libcoq-stdlib_8.20.1+dfsg-1+b5_arm64.deb2026-06-19 08:35:0222.44 MiB
libcoq-stdlib_8.20.1+dfsg-1+b4_amd64.deb2026-06-19 07:42:5022.44 MiB
libcoq-stdlib_8.20.1+dfsg-1+b3_s390x.deb2026-06-18 13:54:2822.43 MiB
libcoq-stdlib_8.20.1+dfsg-1+b3_riscv64.deb2026-06-20 11:02:5522.44 MiB
libcoq-stdlib_8.20.1+dfsg-1+b3_ppc64el.deb2026-06-19 09:10:3622.44 MiB
libcoq-stdlib_8.20.1+dfsg-1+b1_s390x.deb2025-06-16 14:17:3922.44 MiB
libcoq-stdlib_8.20.1+dfsg-1+b1_riscv64.deb2025-06-15 06:52:3622.44 MiB
libcoq-stdlib_8.20.1+dfsg-1+b1_ppc64el.deb2025-06-15 07:53:1622.44 MiB
libcoq-stdlib_8.20.1+dfsg-1+b1_arm64.deb2025-06-15 07:17:4822.44 MiB
libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb2025-06-15 03:07:2422.44 MiB
libcoq-stdlib_8.16.1+dfsg-1+b2_s390x.deb2023-02-13 02:45:2520.53 MiB
libcoq-stdlib_8.16.1+dfsg-1+b2_ppc64el.deb2023-02-13 04:13:4420.53 MiB
libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb2023-02-13 02:29:5020.53 MiB
libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb2023-02-13 02:55:4020.53 MiB
libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb2023-02-13 02:55:5920.53 MiB
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb2023-02-13 02:14:2420.53 MiB
libcoq-ocaml_8.12.0-3+b3_i386.deb2020-11-25 08:18:097.22 MiB
libcoq-ocaml_8.12.0-3+b3_armhf.deb2020-11-25 08:43:507.38 MiB
libcoq-ocaml_8.12.0-3+b3_arm64.deb2020-11-25 08:58:547.61 MiB
libcoq-ocaml_8.12.0-3+b3_amd64.deb2020-11-25 08:28:157.40 MiB
libcoq-ocaml-dev_8.12.0-3+b3_i386.deb2020-11-25 08:18:0817.79 MiB
libcoq-ocaml-dev_8.12.0-3+b3_armhf.deb2020-11-25 08:43:5018.31 MiB
libcoq-ocaml-dev_8.12.0-3+b3_arm64.deb2020-11-25 08:58:5417.86 MiB
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb2020-11-25 08:28:1517.86 MiB
libcoq-core_9.2.0+dfsg-1_s390x.deb2026-07-10 11:06:241.10 MiB
libcoq-core_9.2.0+dfsg-1_riscv64.deb2026-07-10 17:18:401.10 MiB
libcoq-core_9.2.0+dfsg-1_ppc64el.deb2026-07-10 11:06:301.10 MiB
libcoq-core_9.2.0+dfsg-1_loong64.deb2026-07-10 11:11:321.10 MiB
libcoq-core_9.2.0+dfsg-1_i386.deb2026-07-10 11:06:221.10 MiB
libcoq-core_9.2.0+dfsg-1_armhf.deb2026-07-10 11:06:281.10 MiB
libcoq-core_9.2.0+dfsg-1_arm64.deb2026-07-10 11:06:261.10 MiB
libcoq-core_9.2.0+dfsg-1_amd64.deb2026-07-10 10:36:051.10 MiB
libcoq-core-ocaml_9.2.0+dfsg-1_s390x.deb2026-07-10 11:06:2424.64 MiB
libcoq-core-ocaml_9.2.0+dfsg-1_riscv64.deb2026-07-10 17:18:4024.67 MiB
libcoq-core-ocaml_9.2.0+dfsg-1_ppc64el.deb2026-07-10 11:06:3024.58 MiB
libcoq-core-ocaml_9.2.0+dfsg-1_loong64.deb2026-07-10 11:11:3217.16 MiB
libcoq-core-ocaml_9.2.0+dfsg-1_i386.deb2026-07-10 11:06:2217.17 MiB
libcoq-core-ocaml_9.2.0+dfsg-1_armhf.deb2026-07-10 11:06:2817.17 MiB
libcoq-core-ocaml_9.2.0+dfsg-1_arm64.deb2026-07-10 11:06:2624.98 MiB
libcoq-core-ocaml_9.2.0+dfsg-1_amd64.deb2026-07-10 10:36:0524.52 MiB
libcoq-core-ocaml_8.20.1+dfsg-1+b5_arm64.deb2026-06-19 08:35:0223.48 MiB
libcoq-core-ocaml_8.20.1+dfsg-1+b4_amd64.deb2026-06-19 07:42:5023.08 MiB
libcoq-core-ocaml_8.20.1+dfsg-1+b3_s390x.deb2026-06-18 13:54:2823.19 MiB
libcoq-core-ocaml_8.20.1+dfsg-1+b3_riscv64.deb2026-06-20 11:02:5523.23 MiB
libcoq-core-ocaml_8.20.1+dfsg-1+b3_ppc64el.deb2026-06-19 09:10:3523.12 MiB
libcoq-core-ocaml_8.20.1+dfsg-1+b1_s390x.deb2025-06-16 14:17:3924.80 MiB
libcoq-core-ocaml_8.20.1+dfsg-1+b1_riscv64.deb2025-06-15 06:52:3524.82 MiB
libcoq-core-ocaml_8.20.1+dfsg-1+b1_ppc64el.deb2025-06-15 07:53:1524.78 MiB
libcoq-core-ocaml_8.20.1+dfsg-1+b1_arm64.deb2025-06-15 07:17:4825.17 MiB
libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb2025-06-15 03:07:2424.75 MiB
libcoq-core-ocaml_8.16.1+dfsg-1+b2_s390x.deb2023-02-13 02:45:2521.57 MiB
libcoq-core-ocaml_8.16.1+dfsg-1+b2_ppc64el.deb2023-02-13 04:13:4421.57 MiB
libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb2023-02-13 02:29:5020.74 MiB
libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb2023-02-13 02:55:4021.23 MiB
libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb2023-02-13 02:55:5922.02 MiB
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb2023-02-13 02:14:2421.51 MiB
libcoq-core-ocaml-dev_9.2.0+dfsg-1_s390x.deb2026-07-10 11:06:2352.69 MiB
libcoq-core-ocaml-dev_9.2.0+dfsg-1_riscv64.deb2026-07-10 17:18:4057.80 MiB
libcoq-core-ocaml-dev_9.2.0+dfsg-1_ppc64el.deb2026-07-10 11:06:3053.55 MiB
libcoq-core-ocaml-dev_9.2.0+dfsg-1_loong64.deb2026-07-10 11:11:3244.16 MiB
libcoq-core-ocaml-dev_9.2.0+dfsg-1_i386.deb2026-07-10 11:06:2244.17 MiB
libcoq-core-ocaml-dev_9.2.0+dfsg-1_armhf.deb2026-07-10 11:06:2744.17 MiB
libcoq-core-ocaml-dev_9.2.0+dfsg-1_arm64.deb2026-07-10 11:06:2653.27 MiB
libcoq-core-ocaml-dev_9.2.0+dfsg-1_amd64.deb2026-07-10 10:36:0552.87 MiB
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b5_arm64.deb2026-06-19 08:35:0249.91 MiB
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b4_amd64.deb2026-06-19 07:42:5049.59 MiB
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b3_s390x.deb2026-06-18 13:54:2749.43 MiB
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b3_riscv64.deb2026-06-20 11:02:5554.31 MiB
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b3_ppc64el.deb2026-06-19 09:10:3550.22 MiB
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_s390x.deb2025-06-16 14:17:3965.03 MiB
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_riscv64.deb2025-06-15 06:52:3570.14 MiB
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_ppc64el.deb2025-06-15 07:53:1566.12 MiB
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_arm64.deb2025-06-15 07:17:4865.39 MiB
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb2025-06-15 03:07:2465.52 MiB
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_s390x.deb2023-02-13 02:45:2540.29 MiB
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_ppc64el.deb2023-02-13 04:13:4441.54 MiB
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb2023-02-13 02:29:5040.48 MiB
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb2023-02-13 02:55:4041.12 MiB
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb2023-02-13 02:55:5940.84 MiB
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb2023-02-13 02:14:2440.75 MiB
coqide_8.20.1+dfsg-1+b5_arm64.deb2026-06-19 08:35:012.15 MiB
coqide_8.20.1+dfsg-1+b4_amd64.deb2026-06-19 07:42:491.85 MiB
coqide_8.20.1+dfsg-1+b3_s390x.deb2026-06-18 13:54:271.92 MiB
coqide_8.20.1+dfsg-1+b3_riscv64.deb2026-06-20 11:02:551.95 MiB
coqide_8.20.1+dfsg-1+b3_ppc64el.deb2026-06-19 09:10:351.89 MiB
coqide_8.20.1+dfsg-1+b1_s390x.deb2025-06-16 14:17:391.88 MiB
coqide_8.20.1+dfsg-1+b1_riscv64.deb2025-06-15 06:52:351.90 MiB
coqide_8.20.1+dfsg-1+b1_ppc64el.deb2025-06-15 07:53:151.88 MiB
coqide_8.20.1+dfsg-1+b1_arm64.deb2025-06-15 07:17:482.14 MiB
coqide_8.20.1+dfsg-1+b1_amd64.deb2025-06-15 03:07:231.84 MiB
coqide_8.16.1+dfsg-1+b2_s390x.deb2023-02-13 02:45:241.89 MiB
coqide_8.16.1+dfsg-1+b2_ppc64el.deb2023-02-13 04:13:431.98 MiB
coqide_8.16.1+dfsg-1+b2_i386.deb2023-02-13 02:29:501.72 MiB
coqide_8.16.1+dfsg-1+b2_armhf.deb2023-02-13 02:55:401.75 MiB
coqide_8.16.1+dfsg-1+b2_arm64.deb2023-02-13 02:55:592.20 MiB
coqide_8.16.1+dfsg-1+b2_amd64.deb2023-02-13 02:14:241.90 MiB
coqide_8.12.0-3+b3_i386.deb2020-11-25 08:18:081.64 MiB
coqide_8.12.0-3+b3_armhf.deb2020-11-25 08:43:491.66 MiB
coqide_8.12.0-3+b3_arm64.deb2020-11-25 08:58:542.07 MiB
coqide_8.12.0-3+b3_amd64.deb2020-11-25 08:28:151.79 MiB
coq_9.2.0+dfsg.orig.tar.xz2026-07-10 10:36:053.76 MiB
coq_9.2.0+dfsg-1_s390x.deb2026-07-10 11:06:2340.26 MiB
coq_9.2.0+dfsg-1_riscv64.deb2026-07-10 17:18:4040.43 MiB
coq_9.2.0+dfsg-1_ppc64el.deb2026-07-10 11:06:2939.97 MiB
coq_9.2.0+dfsg-1_loong64.deb2026-07-10 11:11:3223.15 MiB
coq_9.2.0+dfsg-1_i386.deb2026-07-10 11:06:2223.23 MiB
coq_9.2.0+dfsg-1_armhf.deb2026-07-10 11:06:2723.01 MiB
coq_9.2.0+dfsg-1_arm64.deb2026-07-10 11:06:2642.41 MiB
coq_9.2.0+dfsg-1_amd64.deb2026-07-10 10:36:0539.24 MiB
coq_9.2.0+dfsg-1.dsc2026-07-10 10:36:052.44 KiB
coq_9.2.0+dfsg-1.debian.tar.xz2026-07-10 10:36:0523.17 KiB
coq_8.20.1+dfsg.orig.tar.xz2025-02-17 17:37:024.78 MiB
coq_8.20.1+dfsg-1.dsc2025-02-17 17:37:022.52 KiB
coq_8.20.1+dfsg-1.debian.tar.xz2025-02-17 17:37:0229.50 KiB
coq_8.20.1+dfsg-1+b5_arm64.deb2026-06-19 08:35:0171.40 MiB
coq_8.20.1+dfsg-1+b4_amd64.deb2026-06-19 07:42:4967.82 MiB
coq_8.20.1+dfsg-1+b3_s390x.deb2026-06-18 13:54:2768.78 MiB
coq_8.20.1+dfsg-1+b3_riscv64.deb2026-06-20 11:02:5569.01 MiB
coq_8.20.1+dfsg-1+b3_ppc64el.deb2026-06-19 09:10:3568.37 MiB
coq_8.20.1+dfsg-1+b1_s390x.deb2025-06-16 14:17:3967.74 MiB
coq_8.20.1+dfsg-1+b1_riscv64.deb2025-06-15 06:52:3567.90 MiB
coq_8.20.1+dfsg-1+b1_ppc64el.deb2025-06-15 07:53:1567.57 MiB
coq_8.20.1+dfsg-1+b1_arm64.deb2025-06-15 07:17:4871.00 MiB
coq_8.20.1+dfsg-1+b1_amd64.deb2025-06-15 03:07:2366.97 MiB
coq_8.16.1+dfsg.orig.tar.xz2022-11-29 09:35:184.50 MiB
coq_8.16.1+dfsg-1.dsc2022-11-29 09:35:182.57 KiB
coq_8.16.1+dfsg-1.debian.tar.xz2022-11-29 09:35:1832.46 KiB
coq_8.16.1+dfsg-1+b2_s390x.deb2023-02-13 02:45:2488.99 MiB
coq_8.16.1+dfsg-1+b2_ppc64el.deb2023-02-13 04:13:4389.54 MiB
coq_8.16.1+dfsg-1+b2_i386.deb2023-02-13 02:29:5083.46 MiB
coq_8.16.1+dfsg-1+b2_armhf.deb2023-02-13 02:55:4085.70 MiB
coq_8.16.1+dfsg-1+b2_arm64.deb2023-02-13 02:55:5997.43 MiB
coq_8.16.1+dfsg-1+b2_amd64.deb2023-02-13 02:14:2488.89 MiB
coq_8.12.0.orig.tar.gz2020-08-22 11:26:385.73 MiB
coq_8.12.0-3.dsc2020-09-10 08:38:302.42 KiB
coq_8.12.0-3.debian.tar.xz2020-09-10 08:38:3036.89 KiB
coq_8.12.0-3+b3_i386.deb2020-11-25 08:18:0883.81 MiB
coq_8.12.0-3+b3_armhf.deb2020-11-25 08:43:4984.26 MiB
coq_8.12.0-3+b3_arm64.deb2020-11-25 08:58:5491.62 MiB
coq_8.12.0-3+b3_amd64.deb2020-11-25 08:28:1586.26 MiB
coq-theories_8.12.0-3+b3_i386.deb2020-11-25 08:18:0833.60 MiB
coq-theories_8.12.0-3+b3_armhf.deb2020-11-25 08:43:4922.81 MiB
coq-theories_8.12.0-3+b3_arm64.deb2020-11-25 08:58:5322.82 MiB
coq-theories_8.12.0-3+b3_amd64.deb2020-11-25 08:28:1434.81 MiB