Index of ftp://ftp.zcu.cz/pub/linux/debian/pool/main/c/cadical

[DIR] Parent Directory

[ ] cadical_1.5.3-2.debian.tar.xz  2.91Kb  November 14 2022
[ ] cadical_1.5.3-2.dsc  1.95Kb  November 14 2022
[ ] cadical_1.5.3-2_amd64.deb  309.29Kb  November 15 2022
[ ] cadical_1.5.3-2_arm64.deb  268.67Kb  November 15 2022
[ ] cadical_1.5.3-2_armel.deb  269.82Kb  November 15 2022
[ ] cadical_1.5.3-2_armhf.deb  274.02Kb  November 15 2022
[ ] cadical_1.5.3-2_i386.deb  336.87Kb  November 15 2022
[ ] cadical_1.5.3-2_mips64el.deb  306.54Kb  November 15 2022
[ ] cadical_1.5.3-2_mipsel.deb  323.98Kb  November 15 2022
[ ] cadical_1.5.3-2_ppc64el.deb  316.43Kb  November 15 2022
[ ] cadical_1.5.3-2_riscv64.deb  326.20Kb  July 29 2023 at 02:40
[ ] cadical_1.5.3-2_s390x.deb  271.37Kb  November 15 2022
[ GZ] cadical_1.5.3.orig.tar.gz  582.40Kb  November 1 2022
[ ] libcadical-dev_1.5.3-2_amd64.deb  280.75Kb  November 15 2022
[ ] libcadical-dev_1.5.3-2_arm64.deb  262.22Kb  November 15 2022
[ ] libcadical-dev_1.5.3-2_armel.deb  270.68Kb  November 15 2022
[ ] libcadical-dev_1.5.3-2_armhf.deb  275.61Kb  November 15 2022
[ ] libcadical-dev_1.5.3-2_i386.deb  317.51Kb  November 15 2022
[ ] libcadical-dev_1.5.3-2_mips64el.deb  305.56Kb  November 15 2022
[ ] libcadical-dev_1.5.3-2_mipsel.deb  319.77Kb  November 15 2022
[ ] libcadical-dev_1.5.3-2_ppc64el.deb  303.20Kb  November 15 2022
[ ] libcadical-dev_1.5.3-2_riscv64.deb  1.02Mb  July 29 2023 at 02:40
[ ] libcadical-dev_1.5.3-2_s390x.deb  258.61Kb  November 15 2022