Index of /nightly/debian-7-official-release/pool/main/m/minisat+/

../
minisat+_1.0-2_amd64.deb                           24-Sep-2019 08:11              180194
minisat+_1.0-2_i386.deb                            21-Jan-2020 15:24              174052