Index of /ubuntu/pool/main/m/minisat+/

../
minisat+_1.0-2_amd64.deb                           16-Mar-2016 10:38              180538
minisat+_1.0-4_amd64.deb                           02-Oct-2018 09:42              158646