../ cvc4_1.8-3_amd64.deb 20-May-2026 14:56 80688 libcvc4-7_1.8-3_amd64.deb 20-May-2026 14:42 5936792 libcvc4-dev_1.8-3_amd64.deb 20-May-2026 14:42 131112 libcvc4parser7_1.8-3_amd64.deb 20-May-2026 14:49 362304