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

../
coq-quickchick_1.6.4-3.debian.tar.xz               31-Jul-2024 11:45                2724
coq-quickchick_1.6.4-3.dsc                         31-Jul-2024 11:45                2261
coq-quickchick_1.6.4.orig.tar.gz                   31-Jul-2024 11:45              388461
libcoq-quickchick_1.6.4-3+b1_amd64.deb             31-Jul-2024 11:53             1584008
libcoq-quickchick_1.6.4-3+b1_arm64.deb             31-Jul-2024 11:48             1605120
libcoq-quickchick_1.6.4-3+b1_i386.deb              31-Jul-2024 12:15             1567080
quickchick_1.6.4-3+b1_amd64.deb                    31-Jul-2024 11:52               55660
quickchick_1.6.4-3+b1_arm64.deb                    31-Jul-2024 12:24               55652
quickchick_1.6.4-3+b1_i386.deb                     31-Jul-2024 12:25               55656