Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | cmake.patch | 1079 | logplain |
-rw-r--r-- | db5.patch | 633 | logplain |
-rw-r--r-- | fix_gcc-4.6.0_compile_issue.patch | 6544 | logplain |
-rw-r--r-- | sat-solver_core.patch | 3815 | logplain |
-rw-r--r-- | sat-solver_obsolete.patch | 498 | logplain |
-rw-r--r-- | sat-solver_rpm5.patch | 2038 | logplain |