../ cadical_1.5.3-2.debian.tar.xz 14-Nov-2022 23:53 2976 cadical_1.5.3-2.dsc 14-Nov-2022 23:53 1996 cadical_1.5.3-2_amd64.deb 15-Nov-2022 00:25 316708 cadical_1.5.3-2_arm64.deb 15-Nov-2022 00:25 275116 cadical_1.5.3-2_armel.deb 15-Nov-2022 00:40 276300 cadical_1.5.3-2_armhf.deb 15-Nov-2022 00:40 280600 cadical_1.5.3-2_i386.deb 15-Nov-2022 00:25 344952 cadical_1.5.3-2_mips64el.deb 15-Nov-2022 04:43 313892 cadical_1.5.3-2_mipsel.deb 15-Nov-2022 01:41 331760 cadical_1.5.3-2_ppc64el.deb 15-Nov-2022 14:55 324020 cadical_1.5.3-2_s390x.deb 15-Nov-2022 01:16 277880 cadical_1.5.3.orig.tar.gz 01-Nov-2022 20:34 596378 cadical_1.7.4-1+b1_amd64.deb 28-Oct-2024 16:02 396096 cadical_1.7.4-1+b1_arm64.deb 28-Oct-2024 21:28 347412 cadical_1.7.4-1+b1_armel.deb 28-Oct-2024 19:35 340544 cadical_1.7.4-1+b1_armhf.deb 28-Oct-2024 18:19 348520 cadical_1.7.4-1+b1_i386.deb 28-Oct-2024 16:19 429168 cadical_1.7.4-1+b1_ppc64el.deb 28-Oct-2024 15:52 401104 cadical_1.7.4-1+b1_riscv64.deb 29-Oct-2024 00:11 404172 cadical_1.7.4-1+b1_s390x.deb 29-Oct-2024 09:50 401796 cadical_1.7.4-1.debian.tar.xz 11-Feb-2024 04:22 3960 cadical_1.7.4-1.dsc 11-Feb-2024 04:22 1996 cadical_1.7.4.orig.tar.gz 11-Feb-2024 04:22 647830 cadical_2.1.3-2.debian.tar.xz 15-Dec-2025 01:27 4620 cadical_2.1.3-2.dsc 15-Dec-2025 01:27 1996 cadical_2.1.3-3.debian.tar.xz 23-Mar-2026 12:58 4816 cadical_2.1.3-3.dsc 23-Mar-2026 12:58 2000 cadical_2.1.3-3_amd64.deb 23-Mar-2026 15:30 467080 cadical_2.1.3-3_arm64.deb 23-Mar-2026 13:18 409464 cadical_2.1.3-3_armhf.deb 23-Mar-2026 13:18 400676 cadical_2.1.3-3_i386.deb 23-Mar-2026 15:46 491840 cadical_2.1.3-3_loong64.deb 23-Mar-2026 13:23 456428 cadical_2.1.3-3_ppc64el.deb 23-Mar-2026 13:18 475044 cadical_2.1.3-3_riscv64.deb 23-Mar-2026 13:54 468644 cadical_2.1.3-3_s390x.deb 23-Mar-2026 16:58 477032 cadical_2.1.3.orig.tar.gz 01-Dec-2025 23:18 731545 libcadical-dev_1.5.3-2_amd64.deb 15-Nov-2022 00:25 287488 libcadical-dev_1.5.3-2_arm64.deb 15-Nov-2022 00:25 268512 libcadical-dev_1.5.3-2_armel.deb 15-Nov-2022 00:40 277180 libcadical-dev_1.5.3-2_armhf.deb 15-Nov-2022 00:40 282220 libcadical-dev_1.5.3-2_i386.deb 15-Nov-2022 00:25 325132 libcadical-dev_1.5.3-2_mips64el.deb 15-Nov-2022 04:43 312892 libcadical-dev_1.5.3-2_mipsel.deb 15-Nov-2022 01:41 327444 libcadical-dev_1.5.3-2_ppc64el.deb 15-Nov-2022 14:55 310476 libcadical-dev_1.5.3-2_s390x.deb 15-Nov-2022 01:16 264816 libcadical-dev_1.7.4-1+b1_amd64.deb 28-Oct-2024 16:02 352116 libcadical-dev_1.7.4-1+b1_arm64.deb 28-Oct-2024 21:28 332764 libcadical-dev_1.7.4-1+b1_armel.deb 28-Oct-2024 19:35 335712 libcadical-dev_1.7.4-1+b1_armhf.deb 28-Oct-2024 18:19 341432 libcadical-dev_1.7.4-1+b1_i386.deb 28-Oct-2024 16:19 394956 libcadical-dev_1.7.4-1+b1_ppc64el.deb 28-Oct-2024 15:52 375108 libcadical-dev_1.7.4-1+b1_riscv64.deb 29-Oct-2024 00:11 1303548 libcadical-dev_1.7.4-1+b1_s390x.deb 29-Oct-2024 09:50 372360 libcadical-dev_2.1.3-3_amd64.deb 23-Mar-2026 15:30 434196 libcadical-dev_2.1.3-3_arm64.deb 23-Mar-2026 13:18 409412 libcadical-dev_2.1.3-3_armhf.deb 23-Mar-2026 13:18 411092 libcadical-dev_2.1.3-3_i386.deb 23-Mar-2026 15:46 472240 libcadical-dev_2.1.3-3_loong64.deb 23-Mar-2026 13:23 2017424 libcadical-dev_2.1.3-3_ppc64el.deb 23-Mar-2026 13:18 466100 libcadical-dev_2.1.3-3_riscv64.deb 23-Mar-2026 13:54 2095856 libcadical-dev_2.1.3-3_s390x.deb 23-Mar-2026 16:58 461136
This is a mirror server that provides copies of open source software distributions for public convenience. We are not the original creators or maintainers of the mirrored content. All files are provided "as is" without any warranties or guarantees. We are not responsible for the content, quality, or functionality of the mirrored files. Use at your own risk.