minisat-debian
big-endian-knownbugs2
non_static_build
