Index of /pool/main/c/cvc4/

../
cvc4-dbgsym_1.8-3_riscv64.deb                      02-Jul-2026 19:00              884132
cvc4_1.8-3.debian.tar.xz                           08-May-2024 13:36               16728
cvc4_1.8-3.dsc                                     08-May-2024 13:36                2244
cvc4_1.8-3_riscv64.buildinfo                       02-Jul-2026 19:01                9626
cvc4_1.8-3_riscv64.deb                             02-Jul-2026 19:00               77068
cvc4_1.8.orig.tar.gz                               08-May-2024 13:36             7547187
libcvc4-7-dbgsym_1.8-3_riscv64.deb                 02-Jul-2026 19:01           158720308
libcvc4-7_1.8-3_riscv64.deb                        02-Jul-2026 19:01             5888144
libcvc4-dev_1.8-3_riscv64.deb                      02-Jul-2026 19:01              131192
libcvc4parser7-dbgsym_1.8-3_riscv64.deb            02-Jul-2026 19:01             4268772
libcvc4parser7_1.8-3_riscv64.deb                   02-Jul-2026 19:01              348252