../ cvc4_1.8-3+b4_amd64.deb 23-Aug-2025 04:35 81K cvc4_1.8-3+b4_arm64.deb 25-Aug-2025 00:06 75K libcvc4-7_1.8-3+b4_amd64.deb 23-Aug-2025 04:35 6M libcvc4-7_1.8-3+b4_arm64.deb 25-Aug-2025 00:07 5M libcvc4-dev_1.8-3+b4_amd64.deb 23-Aug-2025 04:35 128K libcvc4-dev_1.8-3+b4_arm64.deb 25-Aug-2025 00:07 128K libcvc4parser7_1.8-3+b4_amd64.deb 23-Aug-2025 04:35 373K libcvc4parser7_1.8-3+b4_arm64.deb 25-Aug-2025 00:07 326K