../ cvc4_1.8-3+b4_amd64.deb 10-Aug-2025 10:30 82828 cvc4_1.8-3_amd64.deb 27-Jul-2023 18:16 80688 libcvc4-7_1.8-3+b4_amd64.deb 10-Aug-2025 10:30 6616160 libcvc4-7_1.8-3_amd64.deb 27-Jul-2023 18:16 5936792 libcvc4-dev_1.8-3+b4_amd64.deb 10-Aug-2025 10:30 131428 libcvc4-dev_1.8-3_amd64.deb 27-Jul-2023 18:16 131112 libcvc4parser7_1.8-3+b4_amd64.deb 10-Aug-2025 10:30 382200 libcvc4parser7_1.8-3_amd64.deb 27-Jul-2023 18:16 362304