Index of /debian/pool/main/c/cadical/
../
cadical_1.5.3-2+b1_riscv64.deb 30-Dec-2023 17:41 334256
cadical_1.5.3-2_amd64.deb 15-Nov-2022 08:25 316708
cadical_1.5.3-2_arm64.deb 15-Nov-2022 08:25 275116
cadical_1.5.3-2_i386.deb 15-Nov-2022 08:25 344952
cadical_1.5.3-2_mips64el.deb 15-Nov-2022 12:43 313892
cadical_1.5.3-2_ppc64el.deb 15-Nov-2022 22:55 324020
libcadical-dev_1.5.3-2+b1_riscv64.deb 30-Dec-2023 17:41 1069824
libcadical-dev_1.5.3-2_amd64.deb 15-Nov-2022 08:25 287488
libcadical-dev_1.5.3-2_arm64.deb 15-Nov-2022 08:25 268512
libcadical-dev_1.5.3-2_i386.deb 15-Nov-2022 08:25 325132
libcadical-dev_1.5.3-2_mips64el.deb 15-Nov-2022 12:43 312892
libcadical-dev_1.5.3-2_ppc64el.deb 15-Nov-2022 22:55 310476