../ cadical-dbgsym_1.7.4-1+b1_powerpc.deb 29-Oct-2024 18:03 7M cadical_1.7.4-1+b1_powerpc.buildinfo 29-Oct-2024 18:03 6228 cadical_1.7.4-1+b1_powerpc.deb 29-Oct-2024 18:03 387K libcadical-dev_1.7.4-1+b1_powerpc.deb 29-Oct-2024 18:03 352K