Name Last modified Size Parent Directory - minisat-dbgsym_2.2.1-8_m68k.deb 2024-02-27 01:03 183K minisat2_2.2.1-8_m68k.buildinfo 2024-02-27 01:03 5.8K minisat_2.2.1-8_m68k.deb 2024-02-27 01:03 77K