../ cvc4_1.8-2.debian.tar.xz 18-Sep-2020 01:25 16456 cvc4_1.8-2.dsc 18-Sep-2020 01:25 2275 cvc4_1.8-2_amd64.deb 18-Sep-2020 02:11 81488 cvc4_1.8-2_arm64.deb 18-Sep-2020 02:27 76064 cvc4_1.8-2_armhf.deb 18-Sep-2020 02:32 75652 cvc4_1.8-2_i386.deb 18-Sep-2020 02:42 82548 cvc4_1.8-3+b4_amd64.deb 07-Apr-2025 16:25 82828 cvc4_1.8-3+b4_arm64.deb 08-Apr-2025 01:42 76652 cvc4_1.8-3+b4_armel.deb 08-Apr-2025 01:21 75524 cvc4_1.8-3+b4_armhf.deb 07-Apr-2025 17:16 77204 cvc4_1.8-3+b4_i386.deb 07-Apr-2025 16:36 85028 cvc4_1.8-3+b4_ppc64el.deb 07-Apr-2025 16:30 80800 cvc4_1.8-3+b4_riscv64.deb 10-Apr-2025 03:49 79248 cvc4_1.8-3+b4_s390x.deb 07-Apr-2025 17:44 79768 cvc4_1.8-3.debian.tar.xz 29-Oct-2022 19:57 16728 cvc4_1.8-3.dsc 29-Oct-2022 19:57 2244 cvc4_1.8-3_amd64.deb 29-Oct-2022 21:29 80688 cvc4_1.8-3_arm64.deb 29-Oct-2022 21:47 75564 cvc4_1.8-3_armel.deb 29-Oct-2022 21:57 74128 cvc4_1.8-3_armhf.deb 29-Oct-2022 21:47 75108 cvc4_1.8-3_i386.deb 29-Oct-2022 21:23 82652 cvc4_1.8-3_mips64el.deb 30-Oct-2022 01:59 73904 cvc4_1.8-3_mipsel.deb 29-Oct-2022 22:12 74096 cvc4_1.8-3_ppc64el.deb 29-Oct-2022 21:42 80404 cvc4_1.8-3_s390x.deb 29-Oct-2022 21:39 75768 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+b1_loong64.deb 23-Apr-2026 23:00 76428 cvc4_1.8-5+b1_ppc64el.deb 23-Apr-2026 15:35 78868 cvc4_1.8-5+b1_s390x.deb 23-Apr-2026 17:35 77876 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_riscv64.deb 27-Oct-2025 21:29 77180 cvc4_1.8.orig.tar.gz 13-Sep-2020 23:17 7547187 libcvc4-7_1.8-2_amd64.deb 18-Sep-2020 02:11 5651716 libcvc4-7_1.8-2_arm64.deb 18-Sep-2020 02:27 4783836 libcvc4-7_1.8-2_armhf.deb 18-Sep-2020 02:32 4989728 libcvc4-7_1.8-2_i386.deb 18-Sep-2020 02:42 6152812 libcvc4-7_1.8-3+b4_amd64.deb 07-Apr-2025 16:25 6616160 libcvc4-7_1.8-3+b4_arm64.deb 08-Apr-2025 01:42 5656244 libcvc4-7_1.8-3+b4_armel.deb 08-Apr-2025 01:21 5524316 libcvc4-7_1.8-3+b4_armhf.deb 07-Apr-2025 17:16 5580168 libcvc4-7_1.8-3+b4_i386.deb 07-Apr-2025 16:36 7176192 libcvc4-7_1.8-3+b4_ppc64el.deb 07-Apr-2025 16:30 6176332 libcvc4-7_1.8-3+b4_riscv64.deb 10-Apr-2025 03:49 6548720 libcvc4-7_1.8-3+b4_s390x.deb 07-Apr-2025 17:44 6715640 libcvc4-7_1.8-3_amd64.deb 29-Oct-2022 21:29 5936792 libcvc4-7_1.8-3_arm64.deb 29-Oct-2022 21:47 4997468 libcvc4-7_1.8-3_armel.deb 29-Oct-2022 21:57 5225988 libcvc4-7_1.8-3_armhf.deb 29-Oct-2022 21:47 5299080 libcvc4-7_1.8-3_i386.deb 29-Oct-2022 21:23 6700704 libcvc4-7_1.8-3_mips64el.deb 30-Oct-2022 01:59 4441684 libcvc4-7_1.8-3_mipsel.deb 29-Oct-2022 22:12 4571148 libcvc4-7_1.8-3_ppc64el.deb 29-Oct-2022 21:42 5652044 libcvc4-7_1.8-3_s390x.deb 29-Oct-2022 21:39 5327356 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+b1_loong64.deb 23-Apr-2026 23:00 5871804 libcvc4-7_1.8-5+b1_ppc64el.deb 23-Apr-2026 15:35 6132452 libcvc4-7_1.8-5+b1_s390x.deb 23-Apr-2026 17:35 6412268 libcvc4-7_1.8-5_riscv64.deb 27-Oct-2025 21:29 6428252 libcvc4-dev_1.8-2_amd64.deb 18-Sep-2020 02:11 131264 libcvc4-dev_1.8-2_arm64.deb 18-Sep-2020 02:27 131268 libcvc4-dev_1.8-2_armhf.deb 18-Sep-2020 02:32 131256 libcvc4-dev_1.8-2_i386.deb 18-Sep-2020 02:42 131252 libcvc4-dev_1.8-3+b4_amd64.deb 07-Apr-2025 16:25 131428 libcvc4-dev_1.8-3+b4_arm64.deb 08-Apr-2025 01:42 131416 libcvc4-dev_1.8-3+b4_armel.deb 08-Apr-2025 01:21 131420 libcvc4-dev_1.8-3+b4_armhf.deb 07-Apr-2025 17:16 131396 libcvc4-dev_1.8-3+b4_i386.deb 07-Apr-2025 16:36 131408 libcvc4-dev_1.8-3+b4_ppc64el.deb 07-Apr-2025 16:30 131396 libcvc4-dev_1.8-3+b4_riscv64.deb 10-Apr-2025 03:49 131448 libcvc4-dev_1.8-3+b4_s390x.deb 07-Apr-2025 17:44 131408 libcvc4-dev_1.8-3_amd64.deb 29-Oct-2022 21:29 131112 libcvc4-dev_1.8-3_arm64.deb 29-Oct-2022 21:47 131120 libcvc4-dev_1.8-3_armel.deb 29-Oct-2022 21:57 131104 libcvc4-dev_1.8-3_armhf.deb 29-Oct-2022 21:47 131116 libcvc4-dev_1.8-3_i386.deb 29-Oct-2022 21:23 131112 libcvc4-dev_1.8-3_mips64el.deb 30-Oct-2022 01:59 131124 libcvc4-dev_1.8-3_mipsel.deb 29-Oct-2022 22:12 131112 libcvc4-dev_1.8-3_ppc64el.deb 29-Oct-2022 21:42 131120 libcvc4-dev_1.8-3_s390x.deb 29-Oct-2022 21:39 131112 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+b1_loong64.deb 23-Apr-2026 23:00 131036 libcvc4-dev_1.8-5+b1_ppc64el.deb 23-Apr-2026 15:35 131032 libcvc4-dev_1.8-5+b1_s390x.deb 23-Apr-2026 17:35 131016 libcvc4-dev_1.8-5_riscv64.deb 27-Oct-2025 21:29 131300 libcvc4parser7_1.8-2_amd64.deb 18-Sep-2020 02:11 366212 libcvc4parser7_1.8-2_arm64.deb 18-Sep-2020 02:27 328200 libcvc4parser7_1.8-2_armhf.deb 18-Sep-2020 02:32 328140 libcvc4parser7_1.8-2_i386.deb 18-Sep-2020 02:42 382484 libcvc4parser7_1.8-3+b4_amd64.deb 07-Apr-2025 16:25 382200 libcvc4parser7_1.8-3+b4_arm64.deb 08-Apr-2025 01:42 333588 libcvc4parser7_1.8-3+b4_armel.deb 08-Apr-2025 01:21 334908 libcvc4parser7_1.8-3+b4_armhf.deb 07-Apr-2025 17:16 346668 libcvc4parser7_1.8-3+b4_i386.deb 07-Apr-2025 16:36 411984 libcvc4parser7_1.8-3+b4_ppc64el.deb 07-Apr-2025 16:30 364708 libcvc4parser7_1.8-3+b4_riscv64.deb 10-Apr-2025 03:49 371428 libcvc4parser7_1.8-3+b4_s390x.deb 07-Apr-2025 17:44 398752 libcvc4parser7_1.8-3_amd64.deb 29-Oct-2022 21:29 362304 libcvc4parser7_1.8-3_arm64.deb 29-Oct-2022 21:47 322668 libcvc4parser7_1.8-3_armel.deb 29-Oct-2022 21:57 317304 libcvc4parser7_1.8-3_armhf.deb 29-Oct-2022 21:47 329652 libcvc4parser7_1.8-3_i386.deb 29-Oct-2022 21:23 387704 libcvc4parser7_1.8-3_mips64el.deb 30-Oct-2022 01:59 303136 libcvc4parser7_1.8-3_mipsel.deb 29-Oct-2022 22:12 310600 libcvc4parser7_1.8-3_ppc64el.deb 29-Oct-2022 21:42 356100 libcvc4parser7_1.8-3_s390x.deb 29-Oct-2022 21:39 323124 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+b1_loong64.deb 23-Apr-2026 23:00 359560 libcvc4parser7_1.8-5+b1_ppc64el.deb 23-Apr-2026 15:35 373400 libcvc4parser7_1.8-5+b1_s390x.deb 23-Apr-2026 17:35 401572 libcvc4parser7_1.8-5_riscv64.deb 27-Oct-2025 21:29 376068