Index of /ubuntu-ports/pool/universe/c/cadical/
Index of /ubuntu-ports/pool/universe/c/cadical/
../
cadical_1.5.3-2.debian.tar.xz 15-Nov-2022 12:18 2976
cadical_1.5.3-2.dsc 15-Nov-2022 12:18 1996
cadical_1.5.3-2_arm64.deb 15-Nov-2022 12:38 337K
cadical_1.5.3-2_armhf.deb 15-Nov-2022 12:29 310K
cadical_1.5.3-2_ppc64el.deb 15-Nov-2022 12:29 375K
cadical_1.5.3-2_riscv64.deb 15-Nov-2022 17:33 341K
cadical_1.5.3-2_s390x.deb 15-Nov-2022 12:29 331K
cadical_1.5.3.orig.tar.gz 06-Nov-2022 11:33 582K
libcadical-dev_1.5.3-2_arm64.deb 15-Nov-2022 12:38 307K
libcadical-dev_1.5.3-2_armhf.deb 15-Nov-2022 12:29 312K
libcadical-dev_1.5.3-2_ppc64el.deb 15-Nov-2022 12:29 345K
libcadical-dev_1.5.3-2_riscv64.deb 15-Nov-2022 17:33 1M
libcadical-dev_1.5.3-2_s390x.deb 15-Nov-2022 12:29 298K