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