../ 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.1.debian.tar.xz 21-Sep-2025 11:55 3016 coq-quickchick_2.1.0-1.1.dsc 21-Sep-2025 11:55 2258 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.1.1-1.debian.tar.xz 30-Oct-2025 07:23 3080 coq-quickchick_2.1.1-1.dsc 30-Oct-2025 07:23 2287 coq-quickchick_2.1.1-2.debian.tar.xz 11-Nov-2025 19:57 3124 coq-quickchick_2.1.1-2.dsc 11-Nov-2025 19:57 2294 coq-quickchick_2.1.1.orig.tar.gz 30-Oct-2025 07:23 414612 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.1.0-1.1+b2_amd64.deb 28-Oct-2025 20:48 4253628 libcoq-quickchick_2.1.0-1.1+b2_arm64.deb 28-Oct-2025 20:48 4262428 libcoq-quickchick_2.1.0-1.1+b2_ppc64el.deb 28-Oct-2025 20:48 4265504 libcoq-quickchick_2.1.0-1.1+b2_riscv64.deb 29-Oct-2025 09:49 4414280 libcoq-quickchick_2.1.0-1.1+b2_s390x.deb 28-Oct-2025 20:48 4234468 libcoq-quickchick_2.1.0-1.1+b4_amd64.deb 28-Dec-2025 06:17 3576248 libcoq-quickchick_2.1.0-1.1+b4_arm64.deb 28-Dec-2025 06:17 3585800 libcoq-quickchick_2.1.0-1.1+b4_ppc64el.deb 28-Dec-2025 06:37 3591636 libcoq-quickchick_2.1.0-1.1+b4_riscv64.deb 29-Dec-2025 01:18 3746124 libcoq-quickchick_2.1.0-1.1+b4_s390x.deb 28-Dec-2025 07:02 3570596 libcoq-quickchick_2.1.1-1_arm64.deb 30-Oct-2025 15:10 4262996 libcoq-quickchick_2.1.1-1_ppc64el.deb 30-Oct-2025 20:57 4265200 libcoq-quickchick_2.1.1-1_s390x.deb 31-Oct-2025 11:38 4232228 libcoq-quickchick_2.1.1-2_amd64.deb 11-Nov-2025 19:57 4203864 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.1.0-1.1+b2_amd64.deb 28-Oct-2025 20:48 490260 quickchick_2.1.0-1.1+b2_arm64.deb 28-Oct-2025 20:48 533276 quickchick_2.1.0-1.1+b2_ppc64el.deb 28-Oct-2025 20:48 509624 quickchick_2.1.0-1.1+b2_riscv64.deb 29-Oct-2025 09:49 510176 quickchick_2.1.0-1.1+b2_s390x.deb 28-Oct-2025 20:48 495816 quickchick_2.1.0-1.1+b4_amd64.deb 28-Dec-2025 06:17 500980 quickchick_2.1.0-1.1+b4_arm64.deb 28-Dec-2025 06:17 541032 quickchick_2.1.0-1.1+b4_ppc64el.deb 28-Dec-2025 06:37 519784 quickchick_2.1.0-1.1+b4_riscv64.deb 29-Dec-2025 01:18 524708 quickchick_2.1.0-1.1+b4_s390x.deb 28-Dec-2025 07:02 513412 quickchick_2.1.1-1_arm64.deb 30-Oct-2025 15:10 532996 quickchick_2.1.1-1_ppc64el.deb 30-Oct-2025 20:57 508796 quickchick_2.1.1-1_s390x.deb 31-Oct-2025 11:38 495068 quickchick_2.1.1-2_amd64.deb 11-Nov-2025 19:57 489660
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.