/meta/recipes-extended/sat-solver/sat-solver/
../
cmake.patch
db5.patch
fix_gcc-4.6.0_compile_issue.patch
sat-solver_core.patch
sat-solver_obsolete.patch
sat-solver_rpm5.patch