![[DIR]](/icons/back.gif){kind=icon}
Parent Directory![[ ]](/icons/unknown.gif){kind=icon} cadical_1.5.3-2_amd64.deb | ||
| cadical_1.5.3-2_arm64.deb | ||
| cadical_1.5.3-2_armhf.deb | ||
| cadical_1.5.3-2.debian.tar.xz | ||
| cadical_1.5.3-2.dsc | ||
| cadical_1.5.3-2_ppc64el.deb | ||
| cadical_1.5.3-2_riscv64.deb | ||
| cadical_1.5.3-2_s390x.deb | ||
![[ GZ]](/icons/compressed.gif){kind=icon} cadical_1.5.3.orig.tar.gz | ||
| libcadical-dev_1.5.3-2_amd64.deb | ||
| libcadical-dev_1.5.3-2_arm64.deb | ||
| libcadical-dev_1.5.3-2_armhf.deb | ||
| libcadical-dev_1.5.3-2_ppc64el.deb | ||
| libcadical-dev_1.5.3-2_riscv64.deb | ||
| libcadical-dev_1.5.3-2_s390x.deb |