Index of /debian_trixie_main/2026-04-13T06:00:09Z/pool/main/c/cvc4/

../
libcvc4-7_1.8-3+b4_amd64.deb                       29-Sep-2025 16:03      6M
libcvc4-dev_1.8-3+b4_amd64.deb                     28-Jan-2026 08:40    128K
libcvc4parser7_1.8-3+b4_amd64.deb                  29-Sep-2025 16:03    373K