/sci-mathematics/picosat/files/

• ../
• picosat-965-makefile.in.patch