../ cvc4_1.8-5_amd64.deb 03-Jun-2026 17:14 70364 libcvc4-7_1.8-5_amd64.deb 03-Jun-2026 17:14 4918224 libcvc4-dev_1.8-5_amd64.deb 03-Jun-2026 17:14 125236 libcvc4parser7_1.8-5_amd64.deb 03-Jun-2026 17:14 384090