Index of /pool/universe/m/minisat+/

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