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

../
minisat+_1.0-4build1.debian.tar.xz                 31-Aug-2023 00:30                4252
minisat+_1.0-4build1.dsc                           31-Aug-2023 00:30                2033
minisat+_1.0-4build1_arm64.deb                     31-Aug-2023 00:30              126544
minisat+_1.0.orig.tar.gz                           31-Aug-2023 00:30               79990