/meta/recipes-extended/sat-solver/sat-solver/
../
0001-sat_xfopen.c-Forward-port-to-zlib-1.2.6-gzFile.patch
cmake.patch
db5.patch
fix_gcc-4.6.0_compile_issue.patch
futimes.patch
sat-solver_core.patch
sat-solver_obsolete.patch
sat-solver_rpm5.patch