/sci-mathematics/cryptominisat/files/

• ../
• cryptominisat-5.8.0-setup.py.in-sysconfig.patch