Index of /debian-trixie/debian/pool/main/c/cvc4/

../
cvc4_1.8-3+b4_amd64.deb                            09-Feb-2026 20:51               82828
cvc4_1.8-3.debian.tar.xz                           09-Feb-2026 20:51               16728
cvc4_1.8-3.dsc                                     09-Feb-2026 20:51                2244
cvc4_1.8.orig.tar.gz                               09-Feb-2026 20:51             7547187
libcvc4-7_1.8-3+b4_amd64.deb                       09-Feb-2026 20:51             6616160
libcvc4-dev_1.8-3+b4_amd64.deb                     09-Feb-2026 20:51              131428
libcvc4parser7_1.8-3+b4_amd64.deb                  09-Feb-2026 20:51              382200