Index of /debian/pool/main/c/coq-quickchick/

../
libcoq-quickchick_1.6.4-3+b1_amd64.deb             14-Feb-2023 07:11      2M
libcoq-quickchick_1.6.4-3+b1_arm64.deb             14-Feb-2023 07:11      2M
libcoq-quickchick_1.6.4-3+b1_armhf.deb             14-Feb-2023 07:11      2M
libcoq-quickchick_1.6.4-3+b1_i386.deb              14-Feb-2023 07:16      1M
libcoq-quickchick_1.6.4-3+b1_ppc64el.deb           14-Feb-2023 14:13      2M
libcoq-quickchick_1.6.4-3+b1_s390x.deb             14-Feb-2023 07:26      2M
libcoq-quickchick_2.1.0-1+b1_riscv64.deb           17-Jun-2025 22:40      4M
libcoq-quickchick_2.1.0-1+b2_amd64.deb             15-Jun-2025 12:30      4M
libcoq-quickchick_2.1.0-1+b2_arm64.deb             15-Jun-2025 12:35      4M
libcoq-quickchick_2.1.0-1+b2_ppc64el.deb           15-Jun-2025 12:20      4M
libcoq-quickchick_2.1.0-1+b2_s390x.deb             17-Jun-2025 23:47      4M
libcoq-quickchick_2.1.0-1.1+b2_amd64.deb           28-Oct-2025 21:48      4M
libcoq-quickchick_2.1.0-1.1+b2_arm64.deb           28-Oct-2025 21:48      4M
libcoq-quickchick_2.1.0-1.1+b2_ppc64el.deb         28-Oct-2025 21:48      4M
libcoq-quickchick_2.1.0-1.1+b2_riscv64.deb         29-Oct-2025 10:49      4M
libcoq-quickchick_2.1.0-1.1+b2_s390x.deb           28-Oct-2025 21:48      4M
libcoq-quickchick_2.1.1-1_arm64.deb                30-Oct-2025 16:10      4M
libcoq-quickchick_2.1.1-1_ppc64el.deb              30-Oct-2025 21:57      4M
libcoq-quickchick_2.1.1-1_s390x.deb                31-Oct-2025 12:38      4M
libcoq-quickchick_2.1.1-2_amd64.deb                11-Nov-2025 20:57      4M
quickchick_1.6.4-3+b1_amd64.deb                    14-Feb-2023 07:11     54K
quickchick_1.6.4-3+b1_arm64.deb                    14-Feb-2023 07:11     54K
quickchick_1.6.4-3+b1_armhf.deb                    14-Feb-2023 07:11     54K
quickchick_1.6.4-3+b1_i386.deb                     14-Feb-2023 07:16     54K
quickchick_1.6.4-3+b1_ppc64el.deb                  14-Feb-2023 14:13     54K
quickchick_1.6.4-3+b1_s390x.deb                    14-Feb-2023 07:26     54K
quickchick_2.1.0-1+b1_riscv64.deb                  17-Jun-2025 22:40    500K
quickchick_2.1.0-1+b2_amd64.deb                    15-Jun-2025 12:30    481K
quickchick_2.1.0-1+b2_arm64.deb                    15-Jun-2025 12:35    524K
quickchick_2.1.0-1+b2_ppc64el.deb                  15-Jun-2025 12:20    499K
quickchick_2.1.0-1+b2_s390x.deb                    17-Jun-2025 23:47    486K
quickchick_2.1.0-1.1+b2_amd64.deb                  28-Oct-2025 21:48    479K
quickchick_2.1.0-1.1+b2_arm64.deb                  28-Oct-2025 21:48    521K
quickchick_2.1.0-1.1+b2_ppc64el.deb                28-Oct-2025 21:48    498K
quickchick_2.1.0-1.1+b2_riscv64.deb                29-Oct-2025 10:49    498K
quickchick_2.1.0-1.1+b2_s390x.deb                  28-Oct-2025 21:48    484K
quickchick_2.1.1-1_arm64.deb                       30-Oct-2025 16:10    521K
quickchick_2.1.1-1_ppc64el.deb                     30-Oct-2025 21:57    497K
quickchick_2.1.1-1_s390x.deb                       31-Oct-2025 12:38    483K
quickchick_2.1.1-2_amd64.deb                       11-Nov-2025 20:57    478K