/pool/main/c/cvc5/

0 directories 10 files
Name Size Modified
Go up — —
cvc5_1.1.2-3_amd64.deb 105 KiB
cvc5_1.1.2-3_arm64.deb 95 KiB
libcvc5-1_1.1.2-3_amd64.deb 6.4 MiB
libcvc5-1_1.1.2-3_arm64.deb 5.4 MiB
libcvc5-dev_1.1.2-3_amd64.deb 91 KiB
libcvc5-dev_1.1.2-3_arm64.deb 91 KiB
libcvc5parser1_1.1.2-3_amd64.deb 232 KiB
libcvc5parser1_1.1.2-3_arm64.deb 203 KiB
python3-cvc5_1.1.2-3_amd64.deb 333 KiB
python3-cvc5_1.1.2-3_arm64.deb 291 KiB