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

../
cvc4_1.8-3+b4_amd64.deb                            25-May-2026 09:05               82828
libcvc4-7_1.8-3+b4_amd64.deb                       25-May-2026 10:05             6616160
libcvc4-dev_1.8-3+b4_amd64.deb                     25-May-2026 13:36              131428
libcvc4parser7_1.8-3+b4_amd64.deb                  25-May-2026 08:47              382200