../ cvc4_1.8-5_amd64.deb 21-Jun-2026 03:47 69K libcvc4-7_1.8-5_amd64.deb 21-Jun-2026 03:47 5M libcvc4-dev_1.8-5_amd64.deb 21-Jun-2026 03:47 122K libcvc4parser7_1.8-5_amd64.deb 21-Jun-2026 03:47 375K