Index of /rockos/trixie/rockos-base/pool/main/c/cvc4/

../
cvc4-dbgsym_1.8-3+b4_amd64.deb                     04-Jun-2025 23:22    986K
cvc4-dbgsym_1.8-3+b4_riscv64.deb                   23-May-2025 02:32    870K
cvc4_1.8-3+b4_amd64.deb                            04-Jun-2025 18:23     81K
cvc4_1.8-3+b4_riscv64.deb                          22-May-2025 22:44     77K
cvc4_1.8-3.debian.tar.xz                           15-May-2024 11:08     16K
cvc4_1.8-3.dsc                                     15-May-2024 11:08    2244
cvc4_1.8.orig.tar.gz                               15-May-2024 11:08      7M
libcvc4-7-dbgsym_1.8-3+b4_amd64.deb                04-Jun-2025 21:12    197M
libcvc4-7-dbgsym_1.8-3+b4_riscv64.deb              23-May-2025 01:59    159M
libcvc4-7_1.8-3+b4_amd64.deb                       04-Jun-2025 18:20      6M
libcvc4-7_1.8-3+b4_riscv64.deb                     23-May-2025 00:04      6M
libcvc4-dev_1.8-3+b4_amd64.deb                     04-Jun-2025 19:07    128K
libcvc4-dev_1.8-3+b4_riscv64.deb                   22-May-2025 22:36    128K
libcvc4parser7-dbgsym_1.8-3+b4_amd64.deb           04-Jun-2025 22:17      5M
libcvc4parser7-dbgsym_1.8-3+b4_riscv64.deb         23-May-2025 00:41      4M
libcvc4parser7_1.8-3+b4_amd64.deb                  04-Jun-2025 18:48    373K
libcvc4parser7_1.8-3+b4_riscv64.deb                22-May-2025 20:45    363K