/sci-mathematics/z3/files/
../
z3-4.8.14-libatomic.patch