../ cvc4_1.8-3+b4_amd64.deb 20-Jun-2026 21:07 81K cvc4_1.8-3+b4_i386.deb 13-Sep-2026 09:01 83K libcvc4-7_1.8-3+b4_amd64.deb 20-Jun-2026 21:07 6M libcvc4-7_1.8-3+b4_i386.deb 13-Sep-2026 09:01 7M libcvc4-dev_1.8-3+b4_amd64.deb 20-Jun-2026 21:07 128K libcvc4-dev_1.8-3+b4_i386.deb 13-Sep-2026 09:01 128K libcvc4parser7_1.8-3+b4_amd64.deb 20-Jun-2026 21:07 373K libcvc4parser7_1.8-3+b4_i386.deb 13-Sep-2026 09:01 402K