PKGBUILDs/community/z3
..
PKGBUILD
z3-no-sse.patch