From bbf139b9303dc6b712efb64157b947d1bfb48df2 Mon Sep 17 00:00:00 2001 From: Andreas Baumann Date: Fri, 13 Dec 2019 10:55:17 +0100 Subject: community/z3: added trailing_zeroes32-intrinsic patch --- .../z3/z3-z3-4.8.7-gnu-trailing_zeroes32-intrinsic.patch | Bin 0 -> 580 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 community/z3/z3-z3-4.8.7-gnu-trailing_zeroes32-intrinsic.patch (limited to 'community/z3/z3-z3-4.8.7-gnu-trailing_zeroes32-intrinsic.patch') diff --git a/community/z3/z3-z3-4.8.7-gnu-trailing_zeroes32-intrinsic.patch b/community/z3/z3-z3-4.8.7-gnu-trailing_zeroes32-intrinsic.patch new file mode 100644 index 00000000..7cdb9ab9 Binary files /dev/null and b/community/z3/z3-z3-4.8.7-gnu-trailing_zeroes32-intrinsic.patch differ -- cgit v1.2.3-54-g00ecf