../ cvc4_1.8-3+b4_amd64.deb 01-May-2026 12:03 82828 cvc4_1.8-3+b4_arm64.deb 01-May-2026 12:00 76652 libcvc4-7_1.8-3+b4_amd64.deb 01-May-2026 11:46 6616160 libcvc4-7_1.8-3+b4_arm64.deb 01-May-2026 11:35 5656244 libcvc4-dev_1.8-3+b4_amd64.deb 01-May-2026 11:53 131428 libcvc4-dev_1.8-3+b4_arm64.deb 01-May-2026 11:29 131416 libcvc4parser7_1.8-3+b4_amd64.deb 01-May-2026 12:07 382200 libcvc4parser7_1.8-3+b4_arm64.deb 01-May-2026 11:54 333588