1 files changed, 0 insertions, 12 deletions
diff --git a/community/z3/PKGBUILD b/community/z3/PKGBUILD
deleted file mode 100644
index d86a1c87..00000000
--- a/community/z3/PKGBUILD
+++ /dev/null
@@ -1,12 +0,0 @@
-# https://github.com/Z3Prover/z3/issues/2776
-# upstream fix for 32-bit intrinsics in GNU compiler
-source+=('z3-z3-4.8.7-gnu-trailing_zeroes32-intrinsic.patch')
-sha512sums+=('98495c9bd6aaa2c1f37fa7b3c0843b36a28148b711b44817ec375334e44690ff055d789d3e44fcdff7e58e0d9fdf8b547c194d401ce3b8aee17febbe584217ea')
-
-eval "$(
-  declare -f prepare | \
-    sed '
-      /cd/ a \
-        patch -Np1 -i "$srcdir/z3-z3-4.8.7-gnu-trailing_zeroes32-intrinsic.patch" \
-    '
-)"