Index of /archive.ubuntu.com/ubuntu/pool/universe/m/minisat+/

../
minisat+_1.0-4build1.debian.tar.xz                 22-Mar-2020 20:10    4252
minisat+_1.0-4build1.dsc                           22-Mar-2020 20:10    2033
minisat+_1.0-4build1_amd64.deb                     22-Mar-2020 20:50    139K
minisat+_1.0.orig.tar.gz                           12-Nov-2011 12:20     78K