Index of /bionic-dev/pool/main/m/minisat+/

../
minisat+_1.0-4_amd64.deb                           07-Jan-2019 19:06              158646
minisat+_1.0-4_i386.deb                            07-Jan-2019 18:39              149354