Index of /bianbu-ports/pool/universe/m/minisat2

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]minisat2_2.2.1-5build2_riscv64.deb2023-12-10 20:42 4.2K 
[   ]minisat_2.2.1-5build2_riscv64.deb2023-12-10 20:42 173K