[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[   ]minisat+_1.0-5_amd64.deb2024-10-10 02:45 146K
[   ]minisat+_1.0-5_riscv64.deb2024-10-10 03:20 148K
[   ]minisat+_1.0-4_amd64.deb2017-02-22 22:12 155K