Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | cmake.patch | 1127 | logplain |
-rw-r--r-- | db5.patch | 659 | 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 | 524 | logplain |
-rw-r--r-- | sat-solver_rpm5.patch | 2064 | logplain |