../ cvc4_1.8-3_amd64.deb 06-Mar-2026 07:50 79K libcvc4-7_1.8-3_amd64.deb 06-Mar-2026 07:50 6M libcvc4-dev_1.8-3_amd64.deb 06-Mar-2026 07:50 128K libcvc4parser7_1.8-3_amd64.deb 06-Mar-2026 07:50 354K