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

../
cadical-dbgsym_2.1.3-2_powerpc.deb                 15-Dec-2025 18:03      8M
cadical_2.1.3-2_powerpc.buildinfo                  15-Dec-2025 18:03    5947
cadical_2.1.3-2_powerpc.deb                        15-Dec-2025 18:03    438K
libcadical-dev_2.1.3-2_powerpc.deb                 15-Dec-2025 18:03    421K