Index of /pool/main/c/cvc4/

directories: 0, files: 13

NameLast modifiedSize
../
cvc4_1.8.orig.tar.gz2021-07-05 04:49:287.20 MiB
libcvc4-dev_1.8-2_amd64.deb2021-07-05 04:53:36128.19 KiB
cvc4_1.8-3+b4_amd64.deb2025-08-29 09:17:3580.89 KiB
libcvc4-7_1.8-2_amd64.deb2021-07-05 05:17:575.39 MiB
cvc4_1.8-2.debian.tar.xz2021-07-05 04:49:2716.07 KiB
libcvc4-7_1.8-3+b4_amd64.deb2025-08-29 12:03:346.31 MiB
cvc4_1.8-3.debian.tar.xz2025-08-29 11:10:2716.34 KiB
cvc4_1.8-3.dsc2025-08-29 11:10:272.19 KiB
libcvc4parser7_1.8-2_amd64.deb2021-07-05 05:09:55357.63 KiB
cvc4_1.8-2.dsc2021-07-05 04:49:272.22 KiB
libcvc4parser7_1.8-3+b4_amd64.deb2025-08-29 13:10:40373.24 KiB
cvc4_1.8-2_amd64.deb2021-07-05 04:42:3379.58 KiB
libcvc4-dev_1.8-3+b4_amd64.deb2025-08-29 12:32:41128.35 KiB