/sci-mathematics/cadical/files/

• ../
• cadical-makefile.in-ar.patch