../ coq-quickchick_1.6.4-3.debian.tar.xz 27-Jan-2023 06:18 2724 coq-quickchick_1.6.4-3.dsc 27-Jan-2023 06:18 2261 coq-quickchick_1.6.4.orig.tar.gz 15-Aug-2022 06:38 388461 coq-quickchick_2.1.0-1.debian.tar.xz 18-Mar-2025 12:33 2908 coq-quickchick_2.1.0-1.dsc 18-Mar-2025 12:33 2288 coq-quickchick_2.1.0.orig.tar.gz 18-Mar-2025 12:33 414544 coq-quickchick_2.2.0-3.debian.tar.xz 12-Aug-2026 07:26 3892 coq-quickchick_2.2.0-3.dsc 12-Aug-2026 07:26 2306 coq-quickchick_2.2.0.orig.tar.gz 20-Jul-2026 20:12 416735 libcoq-quickchick_1.6.4-3+b1_amd64.deb 14-Feb-2023 06:11 1584008 libcoq-quickchick_1.6.4-3+b1_arm64.deb 14-Feb-2023 06:11 1605120 libcoq-quickchick_1.6.4-3+b1_armhf.deb 14-Feb-2023 06:11 1579732 libcoq-quickchick_1.6.4-3+b1_i386.deb 14-Feb-2023 06:16 1567080 libcoq-quickchick_1.6.4-3+b1_ppc64el.deb 14-Feb-2023 13:13 1588264 libcoq-quickchick_1.6.4-3+b1_s390x.deb 14-Feb-2023 06:26 1587008 libcoq-quickchick_2.1.0-1+b1_riscv64.deb 17-Jun-2025 21:40 4416132 libcoq-quickchick_2.1.0-1+b2_amd64.deb 15-Jun-2025 11:30 4253160 libcoq-quickchick_2.1.0-1+b2_arm64.deb 15-Jun-2025 11:35 4262452 libcoq-quickchick_2.1.0-1+b2_ppc64el.deb 15-Jun-2025 11:20 4265544 libcoq-quickchick_2.1.0-1+b2_s390x.deb 17-Jun-2025 22:47 4231724 libcoq-quickchick_2.2.0-3+b3_amd64.deb 02-Nov-2026 07:01 3500260 libcoq-quickchick_2.2.0-3+b3_arm64.deb 02-Nov-2026 07:01 3535656 libcoq-quickchick_2.2.0-3+b3_ppc64el.deb 02-Nov-2026 07:01 3520820 libcoq-quickchick_2.2.0-3+b3_riscv64.deb 02-Nov-2026 08:42 3681964 libcoq-quickchick_2.2.0-3+b3_s390x.deb 02-Nov-2026 07:01 3493788 quickchick_1.6.4-3+b1_amd64.deb 14-Feb-2023 06:11 55660 quickchick_1.6.4-3+b1_arm64.deb 14-Feb-2023 06:11 55652 quickchick_1.6.4-3+b1_armhf.deb 14-Feb-2023 06:11 55656 quickchick_1.6.4-3+b1_i386.deb 14-Feb-2023 06:16 55656 quickchick_1.6.4-3+b1_ppc64el.deb 14-Feb-2023 13:13 55676 quickchick_1.6.4-3+b1_s390x.deb 14-Feb-2023 06:26 55672 quickchick_2.1.0-1+b1_riscv64.deb 17-Jun-2025 21:40 511940 quickchick_2.1.0-1+b2_amd64.deb 15-Jun-2025 11:30 492264 quickchick_2.1.0-1+b2_arm64.deb 15-Jun-2025 11:35 536168 quickchick_2.1.0-1+b2_ppc64el.deb 15-Jun-2025 11:20 511388 quickchick_2.1.0-1+b2_s390x.deb 17-Jun-2025 22:47 498080 quickchick_2.2.0-3+b3_amd64.deb 02-Nov-2026 07:01 501560 quickchick_2.2.0-3+b3_arm64.deb 02-Nov-2026 07:01 538028 quickchick_2.2.0-3+b3_ppc64el.deb 02-Nov-2026 07:01 520448 quickchick_2.2.0-3+b3_riscv64.deb 02-Nov-2026 08:42 525108 quickchick_2.2.0-3+b3_s390x.deb 02-Nov-2026 07:01 513940
This is a mirror server that provides copies of open source software distributions for public convenience. We are not the original creators or maintainers of the mirrored content. All files are provided "as is" without any warranties or guarantees. We are not responsible for the content, quality, or functionality of the mirrored files. Use at your own risk.