minisat-debian
maven
maven-cprover-api
no-hardcoded-ptrwidth
non-portable-tests
endianness_regression_tests
char-maybe-unsigned
float128
no-32-64-preprocessing
mipsel-and-byte-op-metric
more-no-m64
more-unsigned-char
big-endian-pointer-bug
fix-shift
hurd-compat
even-more-unsigned-char
linker-script-try-fix
disable-more-tests
big-endian-pointers
big-endian-pointers-2
include_fix
gcc_12_warnings
test-cast
fix-32
fix-casts2
disable-dfcc-test
