/pool/main/c/cvc4/

0 directories 8 files
Name Size Modified
Go up — —
cvc4_1.8-5_amd64.deb 79 KiB
cvc4_1.8-5_arm64.deb 73 KiB
libcvc4-7_1.8-5_amd64.deb 6.2 MiB
libcvc4-7_1.8-5_arm64.deb 5.3 MiB
libcvc4-dev_1.8-5_amd64.deb 128 KiB
libcvc4-dev_1.8-5_arm64.deb 128 KiB
libcvc4parser7_1.8-5_amd64.deb 376 KiB
libcvc4parser7_1.8-5_arm64.deb 331 KiB