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

../
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+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_s390x.deb           28-Oct-2025 20:48             4234468
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+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_s390x.deb                  28-Oct-2025 20:48              495816
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