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

../
coq-quickchick_1.6.4-2.debian.tar.xz               06-Sep-2022 09:09                2672
coq-quickchick_1.6.4-2.dsc                         06-Sep-2022 09:09                2256
coq-quickchick_1.6.4.orig.tar.gz                   15-Aug-2022 06:38              388461
libcoq-quickchick_1.6.4-2+b2_amd64.deb             30-Nov-2022 04:43             1583232
libcoq-quickchick_1.6.4-2+b2_arm64.deb             30-Nov-2022 04:27             1605440
libcoq-quickchick_1.6.4-2+b2_armhf.deb             30-Nov-2022 03:42             1579848
libcoq-quickchick_1.6.4-2+b2_i386.deb              30-Nov-2022 02:06             1566932
libcoq-quickchick_1.6.4-2+b2_ppc64el.deb           30-Nov-2022 04:43             1588940
libcoq-quickchick_1.6.4-2+b2_s390x.deb             30-Nov-2022 11:20             1586444
quickchick_1.6.4-2+b2_amd64.deb                    30-Nov-2022 04:43               55576
quickchick_1.6.4-2+b2_arm64.deb                    30-Nov-2022 04:27               55596
quickchick_1.6.4-2+b2_armhf.deb                    30-Nov-2022 03:42               55596
quickchick_1.6.4-2+b2_i386.deb                     30-Nov-2022 02:06               55568
quickchick_1.6.4-2+b2_ppc64el.deb                  30-Nov-2022 04:43               55568
quickchick_1.6.4-2+b2_s390x.deb                    30-Nov-2022 11:20               55576