(BIN) cadical_1.5.3-2.debian.tar.xz (TXT) cadical_1.5.3-2.dsc (BIN) cadical_1.5.3-2_amd64.deb (BIN) cadical_1.5.3-2_arm64.deb (BIN) cadical_1.5.3-2_armel.deb (BIN) cadical_1.5.3-2_armhf.deb (BIN) cadical_1.5.3-2_i386.deb (BIN) cadical_1.5.3-2_mips64el.deb (BIN) cadical_1.5.3-2_mipsel.deb (BIN) cadical_1.5.3-2_ppc64el.deb (BIN) cadical_1.5.3-2_s390x.deb (BIN) cadical_1.5.3.orig.tar.gz (BIN) cadical_1.7.4-1+b1_amd64.deb (BIN) cadical_1.7.4-1+b1_arm64.deb (BIN) cadical_1.7.4-1+b1_armel.deb (BIN) cadical_1.7.4-1+b1_armhf.deb (BIN) cadical_1.7.4-1+b1_i386.deb (BIN) cadical_1.7.4-1+b1_ppc64el.deb (BIN) cadical_1.7.4-1+b1_riscv64.deb (BIN) cadical_1.7.4-1+b1_s390x.deb (BIN) cadical_1.7.4-1.debian.tar.xz (TXT) cadical_1.7.4-1.dsc (BIN) cadical_1.7.4.orig.tar.gz (BIN) cadical_2.1.3-3.debian.tar.xz (TXT) cadical_2.1.3-3.dsc (BIN) cadical_2.1.3-3_amd64.deb (BIN) cadical_2.1.3-3_arm64.deb (BIN) cadical_2.1.3-3_armhf.deb (BIN) cadical_2.1.3-3_i386.deb (BIN) cadical_2.1.3-3_loong64.deb (BIN) cadical_2.1.3-3_ppc64el.deb (BIN) cadical_2.1.3-3_riscv64.deb (BIN) cadical_2.1.3-3_s390x.deb (BIN) cadical_2.1.3.orig.tar.gz (BIN) libcadical-dev_1.5.3-2_amd64.deb (BIN) libcadical-dev_1.5.3-2_arm64.deb (BIN) libcadical-dev_1.5.3-2_armel.deb (BIN) libcadical-dev_1.5.3-2_armhf.deb (BIN) libcadical-dev_1.5.3-2_i386.deb (BIN) libcadical-dev_1.5.3-2_mips64el.deb (BIN) libcadical-dev_1.5.3-2_mipsel.deb (BIN) libcadical-dev_1.5.3-2_ppc64el.deb (BIN) libcadical-dev_1.5.3-2_s390x.deb (BIN) libcadical-dev_1.7.4-1+b1_amd64.deb (BIN) libcadical-dev_1.7.4-1+b1_arm64.deb (BIN) libcadical-dev_1.7.4-1+b1_armel.deb (BIN) libcadical-dev_1.7.4-1+b1_armhf.deb (BIN) libcadical-dev_1.7.4-1+b1_i386.deb (BIN) libcadical-dev_1.7.4-1+b1_ppc64el.deb (BIN) libcadical-dev_1.7.4-1+b1_riscv64.deb (BIN) libcadical-dev_1.7.4-1+b1_s390x.deb (BIN) libcadical-dev_2.1.3-3_amd64.deb (BIN) libcadical-dev_2.1.3-3_arm64.deb (BIN) libcadical-dev_2.1.3-3_armhf.deb (BIN) libcadical-dev_2.1.3-3_i386.deb (BIN) libcadical-dev_2.1.3-3_loong64.deb (BIN) libcadical-dev_2.1.3-3_ppc64el.deb (BIN) libcadical-dev_2.1.3-3_riscv64.deb (BIN) libcadical-dev_2.1.3-3_s390x.deb