1 diff -ruN --exclude='*~' satsolver-0.16.1.orig/src/poolarch.c satsolver-0.16.1/src/poolarch.c
2 --- satsolver-0.16.1.orig/src/poolarch.c 2011-02-01 13:24:58.378775620 +0200
3 +++ satsolver-0.16.1/src/poolarch.c 2011-02-01 13:26:21.013787507 +0200
5 "ia64", "ia64:i686:i586:i486:i386",
8 + "armv7tnhl", "arvm7tnhl:armv7thl:armv7nhl:armv7hl",
9 + "armv7thl", "armv7thl:armv7hl"
10 "armv7nhl", "armv7nhl:armv7hl",
12 "armv7l", "armv7l:armv6l:armv5tejl:armv5tel:armv5l:armv4tl:armv4l:armv3l",