![](https://seccdn.libravatar.org/avatar/a73d94bc71ab9211ed8a31e3ede4fbfe.jpg?s=120&d=mm&r=g)
17 May
2010
17 May
'10
12:28
Hi all! Also libsatsolver needs to know armv7l exists. Please apply attached patch. Best, Jan-Simon