summaryrefslogtreecommitdiffstats
path: root/meta/recipes-extended/sat-solver/sat-solver
ModeNameSize
-rw-r--r--0001-sat_xfopen.c-Forward-port-to-zlib-1.2.6-gzFile.patch1274logstatsplain
-rw-r--r--cmake.patch1127logstatsplain
-rw-r--r--db5.patch659logstatsplain
-rw-r--r--fix_gcc-4.6.0_compile_issue.patch6544logstatsplain
-rw-r--r--sat-solver_core.patch3815logstatsplain
-rw-r--r--sat-solver_obsolete.patch524logstatsplain
-rw-r--r--sat-solver_rpm5.patch2064logstatsplain