| Parent Directory | - | - | - |
| 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 | 309K | - |
| cadical_1.5.3-2_arm64.deb | 15-Nov-2022 00:25 | 269K | - |
| cadical_1.5.3-2_armel.deb | 15-Nov-2022 00:40 | 270K | - |
| cadical_1.5.3-2_armhf.deb | 15-Nov-2022 00:40 | 274K | - |
| cadical_1.5.3-2_i386.deb | 15-Nov-2022 00:25 | 337K | - |
| cadical_1.5.3-2_mips64el.deb | 15-Nov-2022 04:43 | 307K | - |
| cadical_1.5.3-2_mipsel.deb | 15-Nov-2022 01:41 | 324K | - |
| cadical_1.5.3-2_ppc64el.deb | 15-Nov-2022 14:55 | 316K | - |
| cadical_1.5.3-2_s390x.deb | 15-Nov-2022 01:16 | 271K | - |
| cadical_1.5.3.orig.tar.gz | 01-Nov-2022 20:34 | 582K | - |
| cadical_1.7.4-1+b1_amd64.deb | 28-Oct-2024 16:02 | 387K | - |
| cadical_1.7.4-1+b1_arm64.deb | 28-Oct-2024 21:28 | 339K | - |
| cadical_1.7.4-1+b1_armel.deb | 28-Oct-2024 19:35 | 333K | - |
| cadical_1.7.4-1+b1_armhf.deb | 28-Oct-2024 18:19 | 340K | - |
| cadical_1.7.4-1+b1_i386.deb | 28-Oct-2024 16:19 | 419K | - |
| cadical_1.7.4-1+b1_ppc64el.deb | 28-Oct-2024 15:52 | 392K | - |
| cadical_1.7.4-1+b1_riscv64.deb | 29-Oct-2024 00:11 | 395K | - |
| cadical_1.7.4-1+b1_s390x.deb | 29-Oct-2024 09:50 | 392K | - |
| 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 | 633K | - |
| 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 | 456K | - |
| cadical_2.1.3-3_arm64.deb | 23-Mar-2026 13:18 | 400K | - |
| cadical_2.1.3-3_armhf.deb | 23-Mar-2026 13:18 | 391K | - |
| cadical_2.1.3-3_i386.deb | 23-Mar-2026 15:46 | 480K | - |
| cadical_2.1.3-3_loong64.deb | 23-Mar-2026 13:23 | 446K | - |
| cadical_2.1.3-3_ppc64el.deb | 23-Mar-2026 13:18 | 464K | - |
| cadical_2.1.3-3_riscv64.deb | 23-Mar-2026 13:54 | 458K | - |
| cadical_2.1.3-3_s390x.deb | 23-Mar-2026 16:58 | 466K | - |
| cadical_2.1.3.orig.tar.gz | 01-Dec-2025 23:18 | 714K | - |
| libcadical-dev_1.5.3-2_amd64.deb | 15-Nov-2022 00:25 | 281K | - |
| libcadical-dev_1.5.3-2_arm64.deb | 15-Nov-2022 00:25 | 262K | - |
| libcadical-dev_1.5.3-2_armel.deb | 15-Nov-2022 00:40 | 271K | - |
| libcadical-dev_1.5.3-2_armhf.deb | 15-Nov-2022 00:40 | 276K | - |
| libcadical-dev_1.5.3-2_i386.deb | 15-Nov-2022 00:25 | 318K | - |
| libcadical-dev_1.5.3-2_mips64el.deb | 15-Nov-2022 04:43 | 306K | - |
| libcadical-dev_1.5.3-2_mipsel.deb | 15-Nov-2022 01:41 | 320K | - |
| libcadical-dev_1.5.3-2_ppc64el.deb | 15-Nov-2022 14:55 | 303K | - |
| libcadical-dev_1.5.3-2_s390x.deb | 15-Nov-2022 01:16 | 259K | - |
| libcadical-dev_1.7.4-1+b1_amd64.deb | 28-Oct-2024 16:02 | 344K | - |
| libcadical-dev_1.7.4-1+b1_arm64.deb | 28-Oct-2024 21:28 | 325K | - |
| libcadical-dev_1.7.4-1+b1_armel.deb | 28-Oct-2024 19:35 | 328K | - |
| libcadical-dev_1.7.4-1+b1_armhf.deb | 28-Oct-2024 18:19 | 333K | - |
| libcadical-dev_1.7.4-1+b1_i386.deb | 28-Oct-2024 16:19 | 386K | - |
| libcadical-dev_1.7.4-1+b1_ppc64el.deb | 28-Oct-2024 15:52 | 366K | - |
| libcadical-dev_1.7.4-1+b1_riscv64.deb | 29-Oct-2024 00:11 | 1M | - |
| libcadical-dev_1.7.4-1+b1_s390x.deb | 29-Oct-2024 09:50 | 364K | - |
| libcadical-dev_2.1.3-3_amd64.deb | 23-Mar-2026 15:30 | 424K | - |
| libcadical-dev_2.1.3-3_arm64.deb | 23-Mar-2026 13:18 | 400K | - |
| libcadical-dev_2.1.3-3_armhf.deb | 23-Mar-2026 13:18 | 401K | - |
| libcadical-dev_2.1.3-3_i386.deb | 23-Mar-2026 15:46 | 461K | - |
| libcadical-dev_2.1.3-3_loong64.deb | 23-Mar-2026 13:23 | 2M | - |
| libcadical-dev_2.1.3-3_ppc64el.deb | 23-Mar-2026 13:18 | 455K | - |
| libcadical-dev_2.1.3-3_riscv64.deb | 23-Mar-2026 13:54 | 2M | - |
| libcadical-dev_2.1.3-3_s390x.deb | 23-Mar-2026 16:58 | 450K | - |