| Parent directory/ | - | - |
| libcadical-dev_1.7.4-1+b1_riscv64.deb | 1M | 29-Oct-2024 04:11 |
| cadical_1.7.4.orig.tar.gz | 633K | 11-Feb-2024 08:22 |
| cadical_1.5.3.orig.tar.gz | 582K | 02-Nov-2022 00:34 |
| cadical_1.7.4-1+b1_i386.deb | 419K | 28-Oct-2024 20:19 |
| 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+b1_ppc64el.deb | 392K | 28-Oct-2024 19:52 |
| cadical_1.7.4-1+b1_amd64.deb | 387K | 28-Oct-2024 20:02 |
| libcadical-dev_1.7.4-1+b1_i386.deb | 386K | 28-Oct-2024 20:19 |
| cadical_1.7.4-1+b1_mips64el.deb | 380K | 29-Oct-2024 08:04 |
| libcadical-dev_1.7.4-1+b1_mips64el.deb | 373K | 29-Oct-2024 08:04 |
| libcadical-dev_1.7.4-1+b1_ppc64el.deb | 366K | 28-Oct-2024 19:52 |
| libcadical-dev_1.7.4-1+b1_s390x.deb | 364K | 29-Oct-2024 13:50 |
| libcadical-dev_1.7.4-1+b1_amd64.deb | 344K | 28-Oct-2024 20:02 |
| cadical_1.7.4-1+b1_armhf.deb | 340K | 28-Oct-2024 22:19 |
| cadical_1.7.4-1+b1_arm64.deb | 339K | 29-Oct-2024 01:28 |
| cadical_1.5.3-2_i386.deb | 337K | 15-Nov-2022 04:25 |
| libcadical-dev_1.7.4-1+b1_armhf.deb | 333K | 28-Oct-2024 22:19 |
| cadical_1.7.4-1+b1_armel.deb | 333K | 28-Oct-2024 23:35 |
| libcadical-dev_1.7.4-1+b1_armel.deb | 328K | 28-Oct-2024 23:35 |
| libcadical-dev_1.7.4-1+b1_arm64.deb | 325K | 29-Oct-2024 01:28 |
| cadical_1.5.3-2_mipsel.deb | 324K | 15-Nov-2022 05:41 |
| libcadical-dev_1.5.3-2_mipsel.deb | 320K | 15-Nov-2022 05:41 |
| libcadical-dev_1.5.3-2_i386.deb | 318K | 15-Nov-2022 04:25 |
| cadical_1.5.3-2_ppc64el.deb | 316K | 15-Nov-2022 18:55 |
| cadical_1.5.3-2_amd64.deb | 309K | 15-Nov-2022 04:25 |
| cadical_1.5.3-2_mips64el.deb | 307K | 15-Nov-2022 08:43 |
| libcadical-dev_1.5.3-2_mips64el.deb | 306K | 15-Nov-2022 08:43 |
| libcadical-dev_1.5.3-2_ppc64el.deb | 303K | 15-Nov-2022 18:55 |
| libcadical-dev_1.5.3-2_amd64.deb | 281K | 15-Nov-2022 04:25 |
| libcadical-dev_1.5.3-2_armhf.deb | 276K | 15-Nov-2022 04:40 |
| cadical_1.5.3-2_armhf.deb | 274K | 15-Nov-2022 04:40 |
| cadical_1.5.3-2_s390x.deb | 271K | 15-Nov-2022 05:16 |
| libcadical-dev_1.5.3-2_armel.deb | 271K | 15-Nov-2022 04:40 |
| cadical_1.5.3-2_armel.deb | 270K | 15-Nov-2022 04:40 |
| cadical_1.5.3-2_arm64.deb | 269K | 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_s390x.deb | 259K | 15-Nov-2022 05:16 |
| cadical_1.7.4-1.debian.tar.xz | 3960 | 11-Feb-2024 08:22 |
| cadical_1.5.3-2.debian.tar.xz | 2976 | 15-Nov-2022 03:53 |
| cadical_1.7.4-1.dsc | 1996 | 11-Feb-2024 08:22 |
| cadical_1.5.3-2.dsc | 1996 | 15-Nov-2022 03:53 |
