Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | minisat+-2007.01.05-exitcode.patch | 1528 | logplain |
-rw-r--r-- | minisat+-2007.01.05-makefile.patch | 3081 | logplain |
-rw-r--r-- | minisat+-2007.01.05-script.patch | 367 | logplain |
-rw-r--r-- | minisat+-2007.01.05-spelling.patch | 814 | logplain |