summaryrefslogtreecommitdiff
path: root/meta/recipes-extended/sat-solver
AgeCommit message (Expand)AuthorFiles
2011-01-30sat-solver: upgrade to newer git versionMark Hatle5
2011-01-29sat-solver: Add db as DEPENDS and bump PRSaul Wold1
2011-01-20sat-solver: fix the build failure caused by gcc dso linkcing changeNitin A Kamble2
2010-09-08sat-solver: change /usr/lib64 to /usr/libKevin Tian1
2010-09-06poky-default-revisions.inc: Move SRCREVs to correct locations, fix whitespaceRichard Purdie1
2010-09-03sat-solver: added new packageQing He3