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

../
cadical-dbgsym_2.1.3-2_powerpc.deb                 15-Dec-2025 18:03             8598096
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              448684
libcadical-dev_2.1.3-2_powerpc.deb                 15-Dec-2025 18:03              430676