Unix-Solutions Logo

mirror.unix-solutions.be

hosted by Unix-Solutions

services: http, https, rsync

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

File Last Modified Size
📂 Parent Directory
📄 coq-theories_8.12.0-3+b3_amd64.deb2020-11-25 07:28:1434.81 MB
📄 coq-theories_8.12.0-3+b3_arm64.deb2020-11-25 07:58:5322.82 MB
📄 coq-theories_8.12.0-3+b3_armhf.deb2020-11-25 07:43:4922.81 MB
📄 coq-theories_8.12.0-3+b3_i386.deb2020-11-25 07:18:0833.61 MB
📄 coq_8.12.0-3+b3_amd64.deb2020-11-25 07:28:1586.26 MB
📄 coq_8.12.0-3+b3_arm64.deb2020-11-25 07:58:5491.62 MB
📄 coq_8.12.0-3+b3_armhf.deb2020-11-25 07:43:4984.26 MB
📄 coq_8.12.0-3+b3_i386.deb2020-11-25 07:18:0883.81 MB
📄 coq_8.12.0-3.debian.tar.xz2020-09-10 06:38:3036.89 KB
📄 coq_8.12.0-3.dsc2020-09-10 06:38:302.42 KB
📄 coq_8.12.0.orig.tar.gz2020-08-22 09:26:385.73 MB
📄 coq_8.16.1+dfsg-1+b2_amd64.deb2023-02-13 01:14:2488.89 MB
📄 coq_8.16.1+dfsg-1+b2_arm64.deb2023-02-13 01:55:5997.44 MB
📄 coq_8.16.1+dfsg-1+b2_armhf.deb2023-02-13 01:55:4085.7 MB
📄 coq_8.16.1+dfsg-1+b2_i386.deb2023-02-13 01:29:5083.46 MB
📄 coq_8.16.1+dfsg-1+b2_ppc64el.deb2023-02-13 03:13:4389.54 MB
📄 coq_8.16.1+dfsg-1+b2_s390x.deb2023-02-13 01:45:2488.99 MB
📄 coq_8.16.1+dfsg-1.debian.tar.xz2022-11-29 08:35:1832.46 KB
📄 coq_8.16.1+dfsg-1.dsc2022-11-29 08:35:182.57 KB
📄 coq_8.16.1+dfsg.orig.tar.xz2022-11-29 08:35:184.5 MB
📄 coq_8.20.1+dfsg-1+b1_amd64.deb2025-06-15 01:07:2366.97 MB
📄 coq_8.20.1+dfsg-1+b1_arm64.deb2025-06-15 05:17:4871 MB
📄 coq_8.20.1+dfsg-1+b1_ppc64el.deb2025-06-15 05:53:1567.57 MB
📄 coq_8.20.1+dfsg-1+b1_riscv64.deb2025-06-15 04:52:3567.9 MB
📄 coq_8.20.1+dfsg-1+b1_s390x.deb2025-06-16 12:17:3967.74 MB
📄 coq_8.20.1+dfsg-1+b2_ppc64el.deb2025-12-27 18:40:3168.36 MB
📄 coq_8.20.1+dfsg-1+b2_riscv64.deb2025-12-28 02:09:1269.02 MB
📄 coq_8.20.1+dfsg-1+b2_s390x.deb2025-12-27 20:22:4568.8 MB
📄 coq_8.20.1+dfsg-1+b3_amd64.deb2026-02-12 09:13:3667.83 MB
📄 coq_8.20.1+dfsg-1+b4_arm64.deb2026-02-12 09:13:3171.44 MB
📄 coq_8.20.1+dfsg-1.debian.tar.xz2025-02-17 16:37:0229.5 KB
📄 coq_8.20.1+dfsg-1.dsc2025-02-17 16:37:022.52 KB
📄 coq_8.20.1+dfsg.orig.tar.xz2025-02-17 16:37:024.78 MB
📄 coq_9.1.0+dfsg-3+b1_armhf.deb2025-12-27 17:23:4822.47 MB
📄 coq_9.1.0+dfsg-3+b1_i386.deb2025-12-27 18:35:2022.7 MB
📄 coq_9.1.0+dfsg-3+b1_ppc64el.deb2025-12-27 18:40:3538.96 MB
📄 coq_9.1.0+dfsg-3+b1_s390x.deb2025-12-27 21:19:0639.36 MB
📄 coq_9.1.0+dfsg-3+b2_amd64.deb2026-02-14 23:45:3438.31 MB
📄 coq_9.1.0+dfsg-3+b2_arm64.deb2026-02-15 10:38:0941.66 MB
📄 coq_9.1.0+dfsg-3+b2_riscv64.deb2026-02-15 17:19:4439.42 MB
📄 coq_9.1.0+dfsg-3.debian.tar.xz2025-11-11 17:29:4423.57 KB
📄 coq_9.1.0+dfsg-3.dsc2025-11-11 17:29:442.48 KB
📄 coq_9.1.0+dfsg.orig.tar.xz2025-09-17 16:17:043.66 MB
📄 coqide_8.12.0-3+b3_amd64.deb2020-11-25 07:28:151.79 MB
📄 coqide_8.12.0-3+b3_arm64.deb2020-11-25 07:58:542.07 MB
📄 coqide_8.12.0-3+b3_armhf.deb2020-11-25 07:43:491.66 MB
📄 coqide_8.12.0-3+b3_i386.deb2020-11-25 07:18:081.64 MB
📄 coqide_8.16.1+dfsg-1+b2_amd64.deb2023-02-13 01:14:241.9 MB
📄 coqide_8.16.1+dfsg-1+b2_arm64.deb2023-02-13 01:55:592.2 MB
📄 coqide_8.16.1+dfsg-1+b2_armhf.deb2023-02-13 01:55:401.75 MB
📄 coqide_8.16.1+dfsg-1+b2_i386.deb2023-02-13 01:29:501.72 MB
📄 coqide_8.16.1+dfsg-1+b2_ppc64el.deb2023-02-13 03:13:431.98 MB
📄 coqide_8.16.1+dfsg-1+b2_s390x.deb2023-02-13 01:45:241.89 MB
📄 coqide_8.20.1+dfsg-1+b1_amd64.deb2025-06-15 01:07:231.84 MB
📄 coqide_8.20.1+dfsg-1+b1_arm64.deb2025-06-15 05:17:482.14 MB
📄 coqide_8.20.1+dfsg-1+b1_ppc64el.deb2025-06-15 05:53:151.88 MB
📄 coqide_8.20.1+dfsg-1+b1_riscv64.deb2025-06-15 04:52:351.9 MB
📄 coqide_8.20.1+dfsg-1+b1_s390x.deb2025-06-16 12:17:391.88 MB
📄 coqide_8.20.1+dfsg-1+b2_ppc64el.deb2025-12-27 18:40:311.9 MB
📄 coqide_8.20.1+dfsg-1+b2_riscv64.deb2025-12-28 02:09:121.95 MB
📄 coqide_8.20.1+dfsg-1+b2_s390x.deb2025-12-27 20:22:451.93 MB
📄 coqide_8.20.1+dfsg-1+b3_amd64.deb2026-02-12 09:13:361.85 MB
📄 coqide_8.20.1+dfsg-1+b4_arm64.deb2026-02-12 09:13:312.15 MB
📄 libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb2023-02-13 01:14:2440.75 MB
📄 libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb2023-02-13 01:55:5940.84 MB
📄 libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb2023-02-13 01:55:4041.12 MB
📄 libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb2023-02-13 01:29:5040.48 MB
📄 libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_ppc64el.deb2023-02-13 03:13:4441.54 MB
📄 libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_s390x.deb2023-02-13 01:45:2540.29 MB
📄 libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb2025-06-15 01:07:2465.52 MB
📄 libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_arm64.deb2025-06-15 05:17:4865.39 MB
📄 libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_ppc64el.deb2025-06-15 05:53:1566.12 MB
📄 libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_riscv64.deb2025-06-15 04:52:3570.14 MB
📄 libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_s390x.deb2025-06-16 12:17:3965.03 MB
📄 libcoq-core-ocaml-dev_8.20.1+dfsg-1+b2_ppc64el.deb2025-12-27 18:40:3150.22 MB
📄 libcoq-core-ocaml-dev_8.20.1+dfsg-1+b2_riscv64.deb2025-12-28 02:09:1254.3 MB
📄 libcoq-core-ocaml-dev_8.20.1+dfsg-1+b2_s390x.deb2025-12-27 20:22:4549.43 MB
📄 libcoq-core-ocaml-dev_8.20.1+dfsg-1+b3_amd64.deb2026-02-12 09:13:3749.6 MB
📄 libcoq-core-ocaml-dev_8.20.1+dfsg-1+b4_arm64.deb2026-02-12 09:13:3149.91 MB
📄 libcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_armhf.deb2025-12-27 17:23:4942.8 MB
📄 libcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_i386.deb2025-12-27 18:35:2042.8 MB
📄 libcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_ppc64el.deb2025-12-27 18:40:3551.92 MB
📄 libcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_s390x.deb2025-12-27 21:19:0651.05 MB
📄 libcoq-core-ocaml-dev_9.1.0+dfsg-3+b2_amd64.deb2026-02-14 23:45:3451.23 MB
📄 libcoq-core-ocaml-dev_9.1.0+dfsg-3+b2_arm64.deb2026-02-15 10:38:0951.59 MB
📄 libcoq-core-ocaml-dev_9.1.0+dfsg-3+b2_riscv64.deb2026-02-15 17:19:4456.05 MB
📄 libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb2023-02-13 01:14:2421.51 MB
📄 libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb2023-02-13 01:55:5922.02 MB
📄 libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb2023-02-13 01:55:4021.23 MB
📄 libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb2023-02-13 01:29:5020.74 MB
📄 libcoq-core-ocaml_8.16.1+dfsg-1+b2_ppc64el.deb2023-02-13 03:13:4421.57 MB
📄 libcoq-core-ocaml_8.16.1+dfsg-1+b2_s390x.deb2023-02-13 01:45:2521.57 MB
📄 libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb2025-06-15 01:07:2424.75 MB
📄 libcoq-core-ocaml_8.20.1+dfsg-1+b1_arm64.deb2025-06-15 05:17:4825.17 MB
📄 libcoq-core-ocaml_8.20.1+dfsg-1+b1_ppc64el.deb2025-06-15 05:53:1524.78 MB
📄 libcoq-core-ocaml_8.20.1+dfsg-1+b1_riscv64.deb2025-06-15 04:52:3524.82 MB
📄 libcoq-core-ocaml_8.20.1+dfsg-1+b1_s390x.deb2025-06-16 12:17:3924.8 MB
📄 libcoq-core-ocaml_8.20.1+dfsg-1+b2_ppc64el.deb2025-12-27 18:40:3123.12 MB
📄 libcoq-core-ocaml_8.20.1+dfsg-1+b2_riscv64.deb2025-12-28 02:09:1223.23 MB
📄 libcoq-core-ocaml_8.20.1+dfsg-1+b2_s390x.deb2025-12-27 20:22:4523.19 MB
📄 libcoq-core-ocaml_8.20.1+dfsg-1+b3_amd64.deb2026-02-12 09:13:3723.09 MB
📄 libcoq-core-ocaml_8.20.1+dfsg-1+b4_arm64.deb2026-02-12 09:13:3123.49 MB
📄 libcoq-core-ocaml_9.1.0+dfsg-3+b1_armhf.deb2025-12-27 17:23:4916.67 MB
📄 libcoq-core-ocaml_9.1.0+dfsg-3+b1_i386.deb2025-12-27 18:35:2016.68 MB
📄 libcoq-core-ocaml_9.1.0+dfsg-3+b1_ppc64el.deb2025-12-27 18:40:3523.85 MB
📄 libcoq-core-ocaml_9.1.0+dfsg-3+b1_s390x.deb2025-12-27 21:19:0623.92 MB
📄 libcoq-core-ocaml_9.1.0+dfsg-3+b2_amd64.deb2026-02-14 23:45:3423.82 MB
📄 libcoq-core-ocaml_9.1.0+dfsg-3+b2_arm64.deb2026-02-15 10:38:0924.23 MB
📄 libcoq-core-ocaml_9.1.0+dfsg-3+b2_riscv64.deb2026-02-15 17:19:4423.97 MB
📄 libcoq-core_9.1.0+dfsg-3+b1_armhf.deb2025-12-27 17:23:491.09 MB
📄 libcoq-core_9.1.0+dfsg-3+b1_i386.deb2025-12-27 18:35:201.09 MB
📄 libcoq-core_9.1.0+dfsg-3+b1_ppc64el.deb2025-12-27 18:40:351.09 MB
📄 libcoq-core_9.1.0+dfsg-3+b1_s390x.deb2025-12-27 21:19:061.08 MB
📄 libcoq-core_9.1.0+dfsg-3+b2_amd64.deb2026-02-14 23:45:341.09 MB
📄 libcoq-core_9.1.0+dfsg-3+b2_arm64.deb2026-02-15 10:38:091.09 MB
📄 libcoq-core_9.1.0+dfsg-3+b2_riscv64.deb2026-02-15 17:19:441.09 MB
📄 libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb2020-11-25 07:28:1517.86 MB
📄 libcoq-ocaml-dev_8.12.0-3+b3_arm64.deb2020-11-25 07:58:5417.86 MB
📄 libcoq-ocaml-dev_8.12.0-3+b3_armhf.deb2020-11-25 07:43:5018.31 MB
📄 libcoq-ocaml-dev_8.12.0-3+b3_i386.deb2020-11-25 07:18:0817.79 MB
📄 libcoq-ocaml_8.12.0-3+b3_amd64.deb2020-11-25 07:28:157.4 MB
📄 libcoq-ocaml_8.12.0-3+b3_arm64.deb2020-11-25 07:58:547.61 MB
📄 libcoq-ocaml_8.12.0-3+b3_armhf.deb2020-11-25 07:43:507.38 MB
📄 libcoq-ocaml_8.12.0-3+b3_i386.deb2020-11-25 07:18:097.22 MB
📄 libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb2023-02-13 01:14:2420.53 MB
📄 libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb2023-02-13 01:55:5920.53 MB
📄 libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb2023-02-13 01:55:4020.53 MB
📄 libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb2023-02-13 01:29:5020.53 MB
📄 libcoq-stdlib_8.16.1+dfsg-1+b2_ppc64el.deb2023-02-13 03:13:4420.53 MB
📄 libcoq-stdlib_8.16.1+dfsg-1+b2_s390x.deb2023-02-13 01:45:2520.53 MB
📄 libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb2025-06-15 01:07:2422.44 MB
📄 libcoq-stdlib_8.20.1+dfsg-1+b1_arm64.deb2025-06-15 05:17:4822.44 MB
📄 libcoq-stdlib_8.20.1+dfsg-1+b1_ppc64el.deb2025-06-15 05:53:1622.44 MB
📄 libcoq-stdlib_8.20.1+dfsg-1+b1_riscv64.deb2025-06-15 04:52:3622.44 MB
📄 libcoq-stdlib_8.20.1+dfsg-1+b1_s390x.deb2025-06-16 12:17:3922.44 MB
📄 libcoq-stdlib_8.20.1+dfsg-1+b2_ppc64el.deb2025-12-27 18:40:3122.44 MB
📄 libcoq-stdlib_8.20.1+dfsg-1+b2_riscv64.deb2025-12-28 02:09:1222.44 MB
📄 libcoq-stdlib_8.20.1+dfsg-1+b2_s390x.deb2025-12-27 20:22:4522.44 MB
📄 libcoq-stdlib_8.20.1+dfsg-1+b3_amd64.deb2026-02-12 09:13:3722.44 MB
📄 libcoq-stdlib_8.20.1+dfsg-1+b4_arm64.deb2026-02-12 09:13:3222.44 MB
📄 rocqide_9.1.0+dfsg-3+b1_armhf.deb2025-12-27 17:23:49555.8 KB
📄 rocqide_9.1.0+dfsg-3+b1_i386.deb2025-12-27 18:35:20626.11 KB
📄 rocqide_9.1.0+dfsg-3+b1_ppc64el.deb2025-12-27 18:40:351.9 MB
📄 rocqide_9.1.0+dfsg-3+b1_s390x.deb2025-12-27 21:19:071.94 MB
📄 rocqide_9.1.0+dfsg-3+b2_amd64.deb2026-02-14 23:45:341.86 MB
📄 rocqide_9.1.0+dfsg-3+b2_arm64.deb2026-02-15 10:38:092.16 MB
📄 rocqide_9.1.0+dfsg-3+b2_riscv64.deb2026-02-15 17:19:441.96 MB