minisat-debian
big-endian-knownbugs2
0001-Indexed-access-to-vector-elements-for-any-endianness.patch
0002-Fix-endianness-maps-for-bitfields.patch
0003-Big-endian-support-for-unions-in-all-contexts.patch
0004-SH-4-doesn-t-have-FE_UPWARD-FE_DOWNWARD-rounding-mod.patch
0005-ARM64-to-be-identified-by-__aarch64__.patch
workaround-764573
