Index of /deb12/pool/main/m/minisat2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]minisat_2.2.1-5+b3_amd64.deb2021-12-06 18:15 83K 
[ ]minisat_2.2.1-5+b3_arm64.deb2021-12-12 13:04 80K 
Apache/2.4.58 (Ubuntu) Server at 164.92.97.77 Port 80