Index of /debian-ports/pool-powerpc/main/c/cadical/

../
cadical-dbgsym_2.1.3-3_powerpc.deb                 24-Mar-2026 00:03      8M
cadical_2.1.3-3_powerpc.buildinfo                  24-Mar-2026 00:03    5900
cadical_2.1.3-3_powerpc.deb                        24-Mar-2026 00:03    444K
libcadical-dev_2.1.3-3_powerpc.deb                 24-Mar-2026 00:03    426K