minisat-debian
big-endian-knownbugs2
mmx1_knownbug
a7f0998ead83cd5ed5389696311bf75071e944e1.patch
6c5dd34c325a417d4ae7b33bd4ca48fc98dcb904.patch
