../ 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+b1_amd64.deb 26-Aug-2026 17:08 3501788 libcoq-quickchick_2.2.0-3+b1_arm64.deb 26-Aug-2026 16:43 3535232 libcoq-quickchick_2.2.0-3+b1_ppc64el.deb 26-Aug-2026 17:39 3519948 libcoq-quickchick_2.2.0-3+b1_riscv64.deb 27-Aug-2026 07:12 3680536 libcoq-quickchick_2.2.0-3+b1_s390x.deb 26-Aug-2026 17:19 3492256 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+b1_amd64.deb 26-Aug-2026 17:08 503884 quickchick_2.2.0-3+b1_arm64.deb 26-Aug-2026 16:43 539912 quickchick_2.2.0-3+b1_ppc64el.deb 26-Aug-2026 17:39 520076 quickchick_2.2.0-3+b1_riscv64.deb 27-Aug-2026 07:12 524600 quickchick_2.2.0-3+b1_s390x.deb 26-Aug-2026 17:19 514824
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.