Index of /rockos/trixie/rockos-base/pool/main/c/coq-quickchick/

../
coq-quickchick_2.1.0-1.debian.tar.xz               22-May-2025 22:04    2908
coq-quickchick_2.1.0-1.dsc                         22-May-2025 22:04    2288
coq-quickchick_2.1.0.orig.tar.gz                   22-May-2025 22:04    405K
libcoq-quickchick-dbgsym_2.1.0-1+b1_riscv64.deb    21-Jun-2025 16:52     75K
libcoq-quickchick-dbgsym_2.1.0-1+b2_amd64.deb      21-Jun-2025 16:56     85K
libcoq-quickchick_2.1.0-1+b1_riscv64.deb           21-Jun-2025 16:37      4M
libcoq-quickchick_2.1.0-1+b2_amd64.deb             21-Jun-2025 16:40      4M
quickchick-dbgsym_2.1.0-1+b1_riscv64.deb           21-Jun-2025 16:54    153K
quickchick-dbgsym_2.1.0-1+b2_amd64.deb             21-Jun-2025 16:57    160K
quickchick_2.1.0-1+b1_riscv64.deb                  21-Jun-2025 16:40    500K
quickchick_2.1.0-1+b2_amd64.deb                    21-Jun-2025 16:34    481K