summaryrefslogtreecommitdiffstats
path: root/meta/recipes-extended/sat-solver/sat-solver
Commit message (Expand)AuthorAgeFilesLines
* sat-solver: Add workaround for RPM 5 db constructionMark Hatle2011-03-161-0/+30
* sat-solver: uprev to the latest versionMark Hatle2011-03-161-21/+17
* sat-solver: add machine arch supportQing He2011-03-142-0/+57
* sat-solver: upgrade to newer git versionMark Hatle2011-01-304-38/+69
* sat-solver: fix the build failure caused by gcc dso linkcing changeNitin A Kamble2011-01-201-0/+31
* sat-solver: added new packageQing He2010-09-032-0/+92