../ minisat-dbgsym_2.2.1-8_hurd-i386.deb 27-Feb-2024 03:03 194K minisat2_2.2.1-8_hurd-i386.buildinfo 27-Feb-2024 03:03 5986 minisat_2.2.1-8_hurd-i386.deb 27-Feb-2024 03:03 89K