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

../
coq-quickchick_1.6.4-3.debian.tar.xz               08-May-2024 13:36                2724
coq-quickchick_1.6.4-3.dsc                         08-May-2024 13:36                2261
coq-quickchick_1.6.4-3_riscv64.buildinfo           01-Jul-2026 22:00                6821
coq-quickchick_1.6.4.orig.tar.gz                   08-May-2024 13:36              388461
libcoq-quickchick-dbgsym_1.6.4-3+b1_riscv64.deb    25-May-2024 11:13               25648
libcoq-quickchick-dbgsym_1.6.4-3_riscv64.deb       01-Jul-2026 22:00               25492
libcoq-quickchick_1.6.4-3+b1_riscv64.deb           25-May-2024 11:13             1576928
libcoq-quickchick_1.6.4-3_riscv64.deb              01-Jul-2026 22:00             1577440
quickchick_1.6.4-3+b1_riscv64.deb                  25-May-2024 11:13               55668
quickchick_1.6.4-3_riscv64.deb                     01-Jul-2026 22:00               55348