Index of /pool/main/c/cvc5/

directories: 0, files: 8

NameLast modifiedSize
../
python3-cvc5_1.1.2-2+b3_amd64.deb2025-08-29 13:14:19331.13 KiB
cvc5_1.1.2.orig.tar.gz2025-08-29 12:20:028.18 MiB
cvc5_1.1.2-2+b3_amd64.deb2025-08-29 09:52:23106.62 KiB
libcvc5-1_1.1.2-2+b3_amd64.deb2025-08-29 09:33:276.37 MiB
cvc5_1.1.2-2.debian.tar.xz2025-08-29 12:20:017.22 KiB
cvc5_1.1.2-2.dsc2025-08-29 12:20:012.41 KiB
libcvc5parser1_1.1.2-2+b3_amd64.deb2025-08-29 09:21:26231.20 KiB
libcvc5-dev_1.1.2-2+b3_amd64.deb2025-08-29 10:17:1091.11 KiB