../ cvc4_1.8-3+b4_amd64.deb 08-Aug-2026 21:54 81K cvc4_1.8-3.debian.tar.xz 09-Aug-2026 21:57 16K cvc4_1.8-3.dsc 09-Aug-2026 21:57 2244 cvc4_1.8.orig.tar.gz 09-Aug-2026 21:57 7M libcvc4-7_1.8-3+b4_amd64.deb 08-Aug-2026 21:54 6M libcvc4-dev_1.8-3+b4_amd64.deb 08-Aug-2026 21:54 128K libcvc4parser7_1.8-3+b4_amd64.deb 08-Aug-2026 21:54 373K