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

../
minisat+_1.0-4build1.debian.tar.xz                 25-Aug-2023 23:53                4252
minisat+_1.0-4build1.dsc                           25-Aug-2023 23:53                2033
minisat+_1.0-4build1_amd64.deb                     25-Aug-2023 23:53              142004
minisat+_1.0.orig.tar.gz                           25-Aug-2023 23:53               79990