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

../
minisat+_1.0-4build1.debian.tar.xz                 04-Mar-2026 10:04    4252
minisat+_1.0-4build1.dsc                           04-Mar-2026 10:04    2033
minisat+_1.0-4build1_amd64.deb                     04-Mar-2026 10:04    139K
minisat+_1.0.orig.tar.gz                           04-Mar-2026 10:04     78K