summaryrefslogtreecommitdiffstats
path: root/meta/recipes-extended/sat-solver/sat-solver/cmake.patch
Commit message (Expand)AuthorAgeFilesLines
* sat-solver: removePaul Eggleton2013-01-241-31/+0
* update patch upstream statusQing He2011-05-131-0/+2
* sat-solver: Fix solution DB generation and general cleanupMark Hatle2011-03-171-51/+7
* sat-solver: uprev to the latest versionMark Hatle2011-03-161-21/+17
* sat-solver: upgrade to newer git versionMark Hatle2011-01-301-5/+38
* sat-solver: added new packageQing He2010-09-031-0/+44