../ cvc4_1.8-5+b1_amd64.deb 23-Apr-2026 15:35 80352 cvc4_1.8-5+b1_arm64.deb 23-Apr-2026 13:45 74348 cvc4_1.8-5+b1_armhf.deb 23-Apr-2026 14:06 74852 cvc4_1.8-5+b1_i386.deb 23-Apr-2026 15:51 82516 cvc4_1.8-5.debian.tar.xz 27-Oct-2025 09:28 17608 cvc4_1.8-5.dsc 27-Oct-2025 09:28 1861 cvc4_1.8-5_amd64.deb 27-Oct-2025 09:59 80784 cvc4_1.8-5_arm64.deb 27-Oct-2025 09:59 74376 cvc4_1.8-5_armhf.deb 27-Oct-2025 09:59 74828 cvc4_1.8-5_i386.deb 27-Oct-2025 10:04 82752 cvc4_1.8.orig.tar.gz 13-Sep-2020 23:17 7547187 libcvc4-7_1.8-5+b1_amd64.deb 23-Apr-2026 15:35 6498200 libcvc4-7_1.8-5+b1_arm64.deb 23-Apr-2026 13:45 5549964 libcvc4-7_1.8-5+b1_armhf.deb 23-Apr-2026 14:06 5571652 libcvc4-7_1.8-5+b1_i386.deb 23-Apr-2026 15:51 6931004 libcvc4-7_1.8-5_amd64.deb 27-Oct-2025 09:59 6491580 libcvc4-7_1.8-5_arm64.deb 27-Oct-2025 09:59 5544220 libcvc4-7_1.8-5_armhf.deb 27-Oct-2025 09:59 5565956 libcvc4-7_1.8-5_i386.deb 27-Oct-2025 10:04 6931028 libcvc4-dev_1.8-5+b1_amd64.deb 23-Apr-2026 15:35 131080 libcvc4-dev_1.8-5+b1_arm64.deb 23-Apr-2026 13:45 131048 libcvc4-dev_1.8-5+b1_armhf.deb 23-Apr-2026 14:06 131036 libcvc4-dev_1.8-5+b1_i386.deb 23-Apr-2026 15:51 131024 libcvc4-dev_1.8-5_amd64.deb 27-Oct-2025 09:59 131292 libcvc4-dev_1.8-5_arm64.deb 27-Oct-2025 09:59 131296 libcvc4-dev_1.8-5_armhf.deb 27-Oct-2025 09:59 131300 libcvc4-dev_1.8-5_i386.deb 27-Oct-2025 10:04 131300 libcvc4parser7_1.8-5+b1_amd64.deb 23-Apr-2026 15:35 384736 libcvc4parser7_1.8-5+b1_arm64.deb 23-Apr-2026 13:45 338580 libcvc4parser7_1.8-5+b1_armhf.deb 23-Apr-2026 14:06 350524 libcvc4parser7_1.8-5+b1_i386.deb 23-Apr-2026 15:51 412812 libcvc4parser7_1.8-5_amd64.deb 27-Oct-2025 09:59 385420 libcvc4parser7_1.8-5_arm64.deb 27-Oct-2025 09:59 339240 libcvc4parser7_1.8-5_armhf.deb 27-Oct-2025 09:59 350388 libcvc4parser7_1.8-5_i386.deb 27-Oct-2025 10:04 413520