../ 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-2_amd64.deb 15-Dec-2025 10:40 457628 cadical_2.1.3-2_arm64.deb 15-Dec-2025 10:40 402740 cadical_2.1.3-2_armhf.deb 15-Dec-2025 10:40 395288 cadical_2.1.3-2_i386.deb 15-Dec-2025 10:40 486128 cadical_2.1.3-2_loong64.deb 21-Dec-2025 11:41 434772 cadical_2.1.3-2_ppc64el.deb 15-Dec-2025 10:40 461848 cadical_2.1.3-2_riscv64.deb 17-Dec-2025 04:22 457624 cadical_2.1.3-2_s390x.deb 15-Dec-2025 10:40 456552 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-2_amd64.deb 15-Dec-2025 10:40 425368 libcadical-dev_2.1.3-2_arm64.deb 15-Dec-2025 10:40 401168 libcadical-dev_2.1.3-2_armhf.deb 15-Dec-2025 10:40 407112 libcadical-dev_2.1.3-2_i386.deb 15-Dec-2025 10:40 469648 libcadical-dev_2.1.3-2_loong64.deb 21-Dec-2025 11:41 1987852 libcadical-dev_2.1.3-2_ppc64el.deb 15-Dec-2025 10:40 456224 libcadical-dev_2.1.3-2_riscv64.deb 17-Dec-2025 04:22 2076048 libcadical-dev_2.1.3-2_s390x.deb 15-Dec-2025 10:40 442728
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.