../ minisat-dbgsym_2.2.1-8_ia64.deb 28-Feb-2024 00:03 237K minisat2_2.2.1-8_ia64.buildinfo 28-Feb-2024 00:03 6037 minisat_2.2.1-8_ia64.deb 28-Feb-2024 00:03 97K