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

../
cadical-dbgsym_2.1.3-3_powerpc.deb                 24-Mar-2026 00:03             8525704
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              454344
libcadical-dev_2.1.3-3_powerpc.deb                 24-Mar-2026 00:03              435972