../ cadical-dbgsym_1.7.4-1_ppc64.deb 11-Feb-2024 06:03 7264620 cadical_1.7.4-1_ppc64.buildinfo 11-Feb-2024 06:03 6415 cadical_1.7.4-1_ppc64.deb 11-Feb-2024 06:03 387768 libcadical-dev_1.7.4-1_ppc64.deb 11-Feb-2024 06:03 367744