summaryrefslogtreecommitdiff
path: root/meta/recipes-extended/sat-solver/sat-solver
AgeCommit message (Expand)AuthorFiles
2012-02-10sat-solver: Fix build with zlib 1.2.6Khem Raj1
2011-05-13update patch upstream statusQing He4
2011-05-11recipes: Fix the Upstream-Status formatNitin A Kamble1
2011-05-08sat-solver: fix compilation issue with gcc 4.6.0Nitin A Kamble1
2011-04-26sat-solver: fix arch=all packagesQing He1
2011-03-31Fix integration of zypper and sat-solverMark Hatle3
2011-03-31Fix sat-solver & RPM5 integration issueMark Hatle1
2011-03-17sat-solver: Fix solution DB generation and general cleanupMark Hatle4
2011-03-16sat-solver: Add workaround for RPM 5 db constructionMark Hatle1
2011-03-16sat-solver: uprev to the latest versionMark Hatle1
2011-03-14sat-solver: add machine arch supportQing He2
2011-01-30sat-solver: upgrade to newer git versionMark Hatle4
2011-01-20sat-solver: fix the build failure caused by gcc dso linkcing changeNitin A Kamble1
2010-09-03sat-solver: added new packageQing He2