Index of /debian_trixie_main/latest/pool/main/c/cvc5/

../
libcvc5-1_1.1.2-2+b3_amd64.deb                     29-Sep-2025 16:03      6M
libcvc5-dev_1.1.2-2+b3_amd64.deb                   28-Jan-2026 08:40     91K
libcvc5parser1_1.1.2-2+b3_amd64.deb                29-Sep-2025 16:03    231K