../ cvc4_1.8-3+b4_amd64.deb 08-Oct-2026 13:04 82828 cvc4_1.8-3_amd64.deb 08-Oct-2026 13:04 80688 libcvc4-7_1.8-3+b4_amd64.deb 08-Oct-2026 13:04 6616160 libcvc4-7_1.8-3_amd64.deb 08-Oct-2026 13:04 5936792 libcvc4-dev_1.8-3+b4_amd64.deb 08-Oct-2026 13:04 131428 libcvc4-dev_1.8-3_amd64.deb 08-Oct-2026 13:04 131112 libcvc4parser7_1.8-3+b4_amd64.deb 08-Oct-2026 13:04 382200 libcvc4parser7_1.8-3_amd64.deb 08-Oct-2026 13:04 362304