/sci-mathematics/minisat+/files/

• ../
• minisat+-2007.01.05-exitcode.patch
• minisat+-2007.01.05-makefile.patch
• minisat+-2007.01.05-script.patch
• minisat+-2007.01.05-spelling.patch