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