../ cvc4_1.8-3+b4_amd64.deb 05-Jan-2026 23:32 82828 cvc4_1.8-5+b1_amd64.deb 23-Apr-2026 22:11 80352 libcvc4-7_1.8-3+b4_amd64.deb 05-Jan-2026 23:32 6616160 libcvc4-7_1.8-5+b1_amd64.deb 23-Apr-2026 22:11 6498200 libcvc4-dev_1.8-3+b4_amd64.deb 05-Jan-2026 23:32 131428 libcvc4-dev_1.8-5+b1_amd64.deb 23-Apr-2026 22:11 131080 libcvc4parser7_1.8-3+b4_amd64.deb 05-Jan-2026 23:32 382200 libcvc4parser7_1.8-5+b1_amd64.deb 23-Apr-2026 22:11 384736