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

../
libcoq-quickchick_1.6.4-3+b1_amd64.deb             17-Jul-2023 21:07             1584008
libcoq-quickchick_1.6.4-3+b1_arm64.deb             17-Jul-2023 14:00             1605120
libcoq-quickchick_1.6.4-3+b1_i386.deb              17-Jul-2023 17:26             1567080
quickchick_1.6.4-3+b1_amd64.deb                    17-Jul-2023 17:54               55660
quickchick_1.6.4-3+b1_arm64.deb                    17-Jul-2023 17:18               55652
quickchick_1.6.4-3+b1_i386.deb                     17-Jul-2023 16:27               55656