../ 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+b2_amd64.deb 19-Sep-2026 02:36 3499540 libcoq-quickchick_2.2.0-3+b2_arm64.deb 19-Sep-2026 02:36 3534332 libcoq-quickchick_2.2.0-3+b2_ppc64el.deb 19-Sep-2026 02:36 3520772 libcoq-quickchick_2.2.0-3+b2_riscv64.deb 19-Sep-2026 07:20 3680400 libcoq-quickchick_2.2.0-3+b2_s390x.deb 19-Sep-2026 06:14 3493068 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+b2_amd64.deb 19-Sep-2026 02:36 501712 quickchick_2.2.0-3+b2_arm64.deb 19-Sep-2026 02:36 540004 quickchick_2.2.0-3+b2_ppc64el.deb 19-Sep-2026 02:36 520056 quickchick_2.2.0-3+b2_riscv64.deb 19-Sep-2026 07:20 525480 quickchick_2.2.0-3+b2_s390x.deb 19-Sep-2026 06:14 514436
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.