../ minisat+-dbgsym_1.0-5_hppa.deb 10-Oct-2024 15:03 778K minisat+_1.0-5_hppa.buildinfo 10-Oct-2024 15:03 5566 minisat+_1.0-5_hppa.deb 10-Oct-2024 15:03 130K