aboutsummaryrefslogtreecommitdiffstats
path: root/meta/recipes-extended/sat-solver/sat-solver/cmake.patch
AgeCommit message (Expand)Author
2013-01-24sat-solver: removePaul Eggleton
2011-05-13update patch upstream statusQing He
2011-03-17sat-solver: Fix solution DB generation and general cleanupMark Hatle
2011-03-16sat-solver: uprev to the latest versionMark Hatle
2011-01-30sat-solver: upgrade to newer git versionMark Hatle
2010-09-03sat-solver: added new packageQing He