Index of /stable/debian-9-official-release/pool/main/m/minisat+/

../
minisat+_1.0-3_amd64.deb                           24-Sep-2019 10:44              158392
minisat+_1.0-3_i386.deb                            22-Jan-2020 00:24              160068