/sci-mathematics/cryptominisat/files/
../
cryptominisat-5.11.4-gcc-13.patch