../ cvc4_1.8-4.debian.tar.xz 27-Jul-2025 14:17 17264 cvc4_1.8-4.dsc 27-Jul-2025 14:17 2231 cvc4_1.8-4_amd64.deb 11-Aug-2025 16:09 82424 cvc4_1.8-4_arm64.deb 11-Aug-2025 16:19 75848 cvc4_1.8-4_armhf.deb 11-Aug-2025 16:09 76344 cvc4_1.8-4_i386.deb 11-Aug-2025 16:04 84528 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-4_amd64.deb 11-Aug-2025 16:09 6547176 libcvc4-7_1.8-4_arm64.deb 11-Aug-2025 16:19 5590484 libcvc4-7_1.8-4_armhf.deb 11-Aug-2025 16:09 5517648 libcvc4-7_1.8-4_i386.deb 11-Aug-2025 16:04 7133888 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-4_amd64.deb 11-Aug-2025 16:09 131156 libcvc4-dev_1.8-4_arm64.deb 11-Aug-2025 16:19 131156 libcvc4-dev_1.8-4_armhf.deb 11-Aug-2025 16:09 131160 libcvc4-dev_1.8-4_i386.deb 11-Aug-2025 16:04 131160 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-4_amd64.deb 11-Aug-2025 16:09 381836 libcvc4parser7_1.8-4_arm64.deb 11-Aug-2025 16:19 333744 libcvc4parser7_1.8-4_armhf.deb 11-Aug-2025 16:09 344112 libcvc4parser7_1.8-4_i386.deb 11-Aug-2025 16:04 411588 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