Index of /debian/pool/main/c/coq-quickchick/
../
coq-quickchick_1.6.4-3.debian.tar.xz 27-Jan-2023 12:18 2724
coq-quickchick_1.6.4-3.dsc 27-Jan-2023 12:18 2261
coq-quickchick_1.6.4.orig.tar.gz 15-Aug-2022 12:38 388461
coq-quickchick_2.1.0-1.1.debian.tar.xz 21-Sep-2025 17:55 3016
coq-quickchick_2.1.0-1.1.dsc 21-Sep-2025 17:55 2258
coq-quickchick_2.1.0-1.debian.tar.xz 18-Mar-2025 18:33 2908
coq-quickchick_2.1.0-1.dsc 18-Mar-2025 18:33 2288
coq-quickchick_2.1.0.orig.tar.gz 18-Mar-2025 18:33 414544
coq-quickchick_2.1.1-2.debian.tar.xz 12-Nov-2025 01:57 3124
coq-quickchick_2.1.1-2.dsc 12-Nov-2025 01:57 2294
coq-quickchick_2.1.1.orig.tar.gz 30-Oct-2025 13:23 414612
libcoq-quickchick_1.6.4-3+b1_amd64.deb 14-Feb-2023 12:11 1584008
libcoq-quickchick_1.6.4-3+b1_arm64.deb 14-Feb-2023 12:11 1605120
libcoq-quickchick_1.6.4-3+b1_armhf.deb 14-Feb-2023 12:11 1579732
libcoq-quickchick_1.6.4-3+b1_i386.deb 14-Feb-2023 12:16 1567080
libcoq-quickchick_1.6.4-3+b1_ppc64el.deb 14-Feb-2023 19:13 1588264
libcoq-quickchick_1.6.4-3+b1_s390x.deb 14-Feb-2023 12:26 1587008
libcoq-quickchick_2.1.0-1+b1_riscv64.deb 18-Jun-2025 03:40 4416132
libcoq-quickchick_2.1.0-1+b2_amd64.deb 15-Jun-2025 17:30 4253160
libcoq-quickchick_2.1.0-1+b2_arm64.deb 15-Jun-2025 17:35 4262452
libcoq-quickchick_2.1.0-1+b2_ppc64el.deb 15-Jun-2025 17:20 4265544
libcoq-quickchick_2.1.0-1+b2_s390x.deb 18-Jun-2025 04:47 4231724
libcoq-quickchick_2.1.0-1.1+b4_ppc64el.deb 28-Dec-2025 12:37 3591636
libcoq-quickchick_2.1.0-1.1+b4_riscv64.deb 29-Dec-2025 07:18 3746124
libcoq-quickchick_2.1.0-1.1+b4_s390x.deb 28-Dec-2025 13:02 3570596
libcoq-quickchick_2.1.0-1.1+b6_amd64.deb 14-Feb-2026 04:17 3574592
libcoq-quickchick_2.1.0-1.1+b6_arm64.deb 14-Feb-2026 01:47 3608396
libcoq-quickchick_2.1.1-2+b1_amd64.deb 15-Feb-2026 21:33 3520684
libcoq-quickchick_2.1.1-2_arm64.deb 11-Feb-2026 18:23 3551964
libcoq-quickchick_2.1.1-2_ppc64el.deb 15-Feb-2026 19:25 3532796
libcoq-quickchick_2.1.1-2_s390x.deb 14-Feb-2026 13:00 3515920
quickchick_1.6.4-3+b1_amd64.deb 14-Feb-2023 12:11 55660
quickchick_1.6.4-3+b1_arm64.deb 14-Feb-2023 12:11 55652
quickchick_1.6.4-3+b1_armhf.deb 14-Feb-2023 12:11 55656
quickchick_1.6.4-3+b1_i386.deb 14-Feb-2023 12:16 55656
quickchick_1.6.4-3+b1_ppc64el.deb 14-Feb-2023 19:13 55676
quickchick_1.6.4-3+b1_s390x.deb 14-Feb-2023 12:26 55672
quickchick_2.1.0-1+b1_riscv64.deb 18-Jun-2025 03:40 511940
quickchick_2.1.0-1+b2_amd64.deb 15-Jun-2025 17:30 492264
quickchick_2.1.0-1+b2_arm64.deb 15-Jun-2025 17:35 536168
quickchick_2.1.0-1+b2_ppc64el.deb 15-Jun-2025 17:20 511388
quickchick_2.1.0-1+b2_s390x.deb 18-Jun-2025 04:47 498080
quickchick_2.1.0-1.1+b4_ppc64el.deb 28-Dec-2025 12:37 519784
quickchick_2.1.0-1.1+b4_riscv64.deb 29-Dec-2025 07:18 524708
quickchick_2.1.0-1.1+b4_s390x.deb 28-Dec-2025 13:02 513412
quickchick_2.1.0-1.1+b6_amd64.deb 14-Feb-2026 04:17 500848
quickchick_2.1.0-1.1+b6_arm64.deb 14-Feb-2026 01:47 539172
quickchick_2.1.1-2+b1_amd64.deb 15-Feb-2026 21:33 501076
quickchick_2.1.1-2_arm64.deb 11-Feb-2026 18:23 538928
quickchick_2.1.1-2_ppc64el.deb 15-Feb-2026 19:25 519148
quickchick_2.1.1-2_s390x.deb 14-Feb-2026 13:00 513412