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

../
cadical-dbgsym_2.1.3-3_hppa.deb                    23-Mar-2026 18:03             8279376
cadical_2.1.3-3_hppa.buildinfo                     23-Mar-2026 18:03                5799
cadical_2.1.3-3_hppa.deb                           23-Mar-2026 18:03              459124
libcadical-dev_2.1.3-3_hppa.deb                    23-Mar-2026 18:03              463696