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

../
minisat+_1.0-4build1.debian.tar.xz                 18-Dec-2023 16:21                4252
minisat+_1.0-4build1.dsc                           18-Dec-2023 16:21                2033
minisat+_1.0-4build1_amd64.deb                     21-Nov-2024 21:01              142004
minisat+_1.0.orig.tar.gz                           18-Dec-2023 16:21               79990