../ cvc4_1.8-3+b4_amd64.deb 05-Jan-2026 23:32 82828 cvc4_1.8-5_amd64.deb 05-Jan-2026 23:32 80784 libcvc4-7_1.8-3+b4_amd64.deb 05-Jan-2026 23:32 6616160 libcvc4-7_1.8-5_amd64.deb 05-Jan-2026 23:32 6491580 libcvc4-dev_1.8-3+b4_amd64.deb 05-Jan-2026 23:32 131428 libcvc4-dev_1.8-5_amd64.deb 05-Jan-2026 23:32 131292 libcvc4parser7_1.8-3+b4_amd64.deb 05-Jan-2026 23:32 382200 libcvc4parser7_1.8-5_amd64.deb 05-Jan-2026 23:32 385420