../ cvc4_1.8-3+b4_amd64.deb 29-Jul-2026 14:06 82828 cvc4_1.8-5+b1_amd64.deb 06-Sep-2026 16:32 80352 libcvc4-7_1.8-3+b4_amd64.deb 29-Jul-2026 14:06 6616160 libcvc4-7_1.8-5+b1_amd64.deb 06-Sep-2026 16:32 6498200 libcvc4-dev_1.8-3+b4_amd64.deb 29-Jul-2026 14:06 131428 libcvc4-dev_1.8-5+b1_amd64.deb 06-Sep-2026 16:32 131080 libcvc4parser7_1.8-3+b4_amd64.deb 29-Jul-2026 14:06 382200 libcvc4parser7_1.8-5+b1_amd64.deb 06-Sep-2026 16:32 384736