| Parent directory/ | - | - |
| cadical_1.5.3-2.debian.tar.xz | 2976 | 15-Nov-2022 03:53 |
| cadical_1.5.3-2.dsc | 1996 | 15-Nov-2022 03:53 |
| cadical_1.5.3-2_amd64.deb | 309K | 15-Nov-2022 04:25 |
| cadical_1.5.3-2_arm64.deb | 269K | 15-Nov-2022 04:25 |
| cadical_1.5.3-2_armel.deb | 270K | 15-Nov-2022 04:40 |
| cadical_1.5.3-2_armhf.deb | 274K | 15-Nov-2022 04:40 |
| cadical_1.5.3-2_i386.deb | 337K | 15-Nov-2022 04:25 |
| cadical_1.5.3-2_mips64el.deb | 307K | 15-Nov-2022 08:43 |
| cadical_1.5.3-2_mipsel.deb | 324K | 15-Nov-2022 05:41 |
| cadical_1.5.3-2_ppc64el.deb | 316K | 15-Nov-2022 18:55 |
| cadical_1.5.3-2_s390x.deb | 271K | 15-Nov-2022 05:16 |
| cadical_1.5.3.orig.tar.gz | 582K | 02-Nov-2022 00:34 |
| cadical_1.7.4-1+b1_amd64.deb | 387K | 28-Oct-2024 20:02 |
| cadical_1.7.4-1+b1_arm64.deb | 339K | 29-Oct-2024 01:28 |
| cadical_1.7.4-1+b1_armel.deb | 333K | 28-Oct-2024 23:35 |
| cadical_1.7.4-1+b1_armhf.deb | 340K | 28-Oct-2024 22:19 |
| cadical_1.7.4-1+b1_i386.deb | 419K | 28-Oct-2024 20:19 |
| cadical_1.7.4-1+b1_ppc64el.deb | 392K | 28-Oct-2024 19:52 |
| cadical_1.7.4-1+b1_riscv64.deb | 395K | 29-Oct-2024 04:11 |
| cadical_1.7.4-1+b1_s390x.deb | 392K | 29-Oct-2024 13:50 |
| cadical_1.7.4-1.debian.tar.xz | 3960 | 11-Feb-2024 08:22 |
| cadical_1.7.4-1.dsc | 1996 | 11-Feb-2024 08:22 |
| cadical_1.7.4.orig.tar.gz | 633K | 11-Feb-2024 08:22 |
| cadical_2.1.3-1.debian.tar.xz | 4132 | 02-Dec-2025 03:18 |
| cadical_2.1.3-1.dsc | 1996 | 02-Dec-2025 03:18 |
| cadical_2.1.3-1_amd64.deb | 447K | 02-Dec-2025 03:33 |
| cadical_2.1.3-1_arm64.deb | 391K | 02-Dec-2025 03:33 |
| cadical_2.1.3-1_armhf.deb | 386K | 02-Dec-2025 03:33 |
| cadical_2.1.3-1_i386.deb | 475K | 02-Dec-2025 03:38 |
| cadical_2.1.3-1_ppc64el.deb | 451K | 02-Dec-2025 03:38 |
| cadical_2.1.3-1_s390x.deb | 447K | 02-Dec-2025 03:33 |
| cadical_2.1.3.orig.tar.gz | 714K | 02-Dec-2025 03:18 |
| libcadical-dev_1.5.3-2_amd64.deb | 281K | 15-Nov-2022 04:25 |
| libcadical-dev_1.5.3-2_arm64.deb | 262K | 15-Nov-2022 04:25 |
| libcadical-dev_1.5.3-2_armel.deb | 271K | 15-Nov-2022 04:40 |
| libcadical-dev_1.5.3-2_armhf.deb | 276K | 15-Nov-2022 04:40 |
| libcadical-dev_1.5.3-2_i386.deb | 318K | 15-Nov-2022 04:25 |
| libcadical-dev_1.5.3-2_mips64el.deb | 306K | 15-Nov-2022 08:43 |
| libcadical-dev_1.5.3-2_mipsel.deb | 320K | 15-Nov-2022 05:41 |
| libcadical-dev_1.5.3-2_ppc64el.deb | 303K | 15-Nov-2022 18:55 |
| libcadical-dev_1.5.3-2_s390x.deb | 259K | 15-Nov-2022 05:16 |
| libcadical-dev_1.7.4-1+b1_amd64.deb | 344K | 28-Oct-2024 20:02 |
| libcadical-dev_1.7.4-1+b1_arm64.deb | 325K | 29-Oct-2024 01:28 |
| libcadical-dev_1.7.4-1+b1_armel.deb | 328K | 28-Oct-2024 23:35 |
| libcadical-dev_1.7.4-1+b1_armhf.deb | 333K | 28-Oct-2024 22:19 |
| libcadical-dev_1.7.4-1+b1_i386.deb | 386K | 28-Oct-2024 20:19 |
| libcadical-dev_1.7.4-1+b1_ppc64el.deb | 366K | 28-Oct-2024 19:52 |
| libcadical-dev_1.7.4-1+b1_riscv64.deb | 1M | 29-Oct-2024 04:11 |
| libcadical-dev_1.7.4-1+b1_s390x.deb | 364K | 29-Oct-2024 13:50 |
| libcadical-dev_2.1.3-1_amd64.deb | 415K | 02-Dec-2025 03:33 |
| libcadical-dev_2.1.3-1_arm64.deb | 392K | 02-Dec-2025 03:33 |
| libcadical-dev_2.1.3-1_armhf.deb | 398K | 02-Dec-2025 03:33 |
| libcadical-dev_2.1.3-1_i386.deb | 459K | 02-Dec-2025 03:38 |
| libcadical-dev_2.1.3-1_ppc64el.deb | 445K | 02-Dec-2025 03:38 |
| libcadical-dev_2.1.3-1_s390x.deb | 432K | 02-Dec-2025 03:33 |
