Index of /revyos/trixie32/revyos-base/pool/main/c/cvc4/

../
cvc4-dbgsym_1.8-3+b4_amd64.deb                     04-Jun-2025 23:22    986K
cvc4_1.8-3+b4_amd64.deb                            04-Jun-2025 18:23     81K
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_1.8-3+b4_amd64.deb                       04-Jun-2025 18:20      6M
libcvc4-dev_1.8-3+b4_amd64.deb                     04-Jun-2025 19:07    128K
libcvc4parser7-dbgsym_1.8-3+b4_amd64.deb           04-Jun-2025 22:17      5M
libcvc4parser7_1.8-3+b4_amd64.deb                  04-Jun-2025 18:48    373K