../ minisat-dbgsym_2.2.1-8_alpha.deb 27-Feb-2024 09:03 202K minisat2_2.2.1-8_alpha.buildinfo 27-Feb-2024 09:03 5945 minisat_2.2.1-8_alpha.deb 27-Feb-2024 09:03 85K