/sci-mathematics/z3/files/

• ../
• z3-4.1.2-configure.patch
• z3-4.4.1-gcc-6.patch