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

../
libcoq-quickchick_1.6.4-3+b1_amd64.deb             14-Feb-2023 14:11             1584008
libcoq-quickchick_1.6.4-3+b1_arm64.deb             14-Feb-2023 14:11             1605120
libcoq-quickchick_1.6.4-3+b1_i386.deb              14-Feb-2023 14:16             1567080
libcoq-quickchick_1.6.4-3+b1_ppc64el.deb           14-Feb-2023 21:13             1588264
libcoq-quickchick_2.0-2+b2_amd64.deb               22-Sep-2023 21:54             1821300
libcoq-quickchick_2.0-2+b2_arm64.deb               22-Sep-2023 21:59             1848640
libcoq-quickchick_2.0-2+b2_i386.deb                22-Sep-2023 21:43             1798788
libcoq-quickchick_2.0-2+b2_ppc64el.deb             22-Sep-2023 22:44             1826712
libcoq-quickchick_2.0.1-1_amd64.deb                25-Dec-2023 19:48             1705516
libcoq-quickchick_2.0.1-1_arm64.deb                25-Dec-2023 19:48             1732424
libcoq-quickchick_2.0.1-1_i386.deb                 25-Dec-2023 19:48             1682828
libcoq-quickchick_2.0.1-1_ppc64el.deb              25-Dec-2023 19:48             1711356
libcoq-quickchick_2.0.1-1_riscv64.deb              04-Jan-2024 12:54             1708004
quickchick_1.6.4-3+b1_amd64.deb                    14-Feb-2023 14:11               55660
quickchick_1.6.4-3+b1_arm64.deb                    14-Feb-2023 14:11               55652
quickchick_1.6.4-3+b1_i386.deb                     14-Feb-2023 14:16               55656
quickchick_1.6.4-3+b1_ppc64el.deb                  14-Feb-2023 21:13               55676
quickchick_2.0-2+b2_amd64.deb                      22-Sep-2023 21:54               58648
quickchick_2.0-2+b2_arm64.deb                      22-Sep-2023 21:59               58640
quickchick_2.0-2+b2_i386.deb                       22-Sep-2023 21:43               58672
quickchick_2.0-2+b2_ppc64el.deb                    22-Sep-2023 22:44               58640
quickchick_2.0.1-1_amd64.deb                       25-Dec-2023 19:48               58388
quickchick_2.0.1-1_arm64.deb                       25-Dec-2023 19:48               58384
quickchick_2.0.1-1_i386.deb                        25-Dec-2023 19:48               58384
quickchick_2.0.1-1_ppc64el.deb                     25-Dec-2023 19:48               58388
quickchick_2.0.1-1_riscv64.deb                     04-Jan-2024 12:54               58388