summaryrefslogtreecommitdiff
path: root/sci-mathematics/z3
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2020-01-15 15:51:32 +0000
committerV3n3RiX <venerix@redcorelinux.org>2020-01-15 15:51:32 +0000
commit21435953e16cda318a82334ddbadb3b5c36d9ea7 (patch)
treee1810a4b135afce04b34862ef0fab2bfaeb8aeca /sci-mathematics/z3
parent7bc9c63c9da678a7e6fceb095d56c634afd22c56 (diff)
gentoo resync : 15.01.2020
Diffstat (limited to 'sci-mathematics/z3')
-rw-r--r--sci-mathematics/z3/Manifest2
-rw-r--r--sci-mathematics/z3/z3-4.8.6.ebuild4
2 files changed, 3 insertions, 3 deletions
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest
index 8bf53b70953e..9350b6d0e167 100644
--- a/sci-mathematics/z3/Manifest
+++ b/sci-mathematics/z3/Manifest
@@ -1,3 +1,3 @@
DIST z3-4.8.6.tar.gz 4328752 BLAKE2B 4932670f3c1ab9bdba18a6ad80f4fd8812eb70d71705ebdf1f93c3b052ffb632dc10e4f7f4043f098af214288d6d4a4a26ef7f8cc0d1183c9f27b14ef1787c46 SHA512 d338413274a3d11a9e9287202989df9da4c31e095c14428a418d4019e9f86c0e2b681c519d2d0bcbb4cd99a722a2539006f5c86ade568b1ee208545b142369f1
-EBUILD z3-4.8.6.ebuild 2339 BLAKE2B de6532630288a2fd70f3d8ed47ee61b627bff96e26779a03f213ef868bb47c04fbaa62e30741fe31c7204e894c44166b1ecd4198d858b2b16088005b5da5242d SHA512 d0f9ef9fc1359830a495c679a6404f87bb7a0f377b9c740d4648a093d1ea731d9a434149ee5f5f6ca5410a52afc8f12e3d55045636788d38c8b1eaabf90a729e
+EBUILD z3-4.8.6.ebuild 2337 BLAKE2B 1f8627d18c873c2cfb398e030d5c738458ddb1847cc83623211aa384c623bdf9be4c4a5dd6d5766e508619c77cc7c9fcb2f5c71200b9b8c5df5c0c1dd4aac36d SHA512 ccd2db341b9e425d3bf00d722af24be8028659e3324c638cfd4556a1d0ee633f35dda3076af5c17a3b2d353fd6f97592530d39e7ff2dc851201811cae583cb39
MISC metadata.xml 862 BLAKE2B 1d219fcfb0772a48ec398a51b8916748db336730b91b66e336e8df0b8522b9a47df718d6303aff5f305b699e9297aaad9b352c69d529a93f66cf2a1b76c8f094 SHA512 2a5cc11ae87199a23c72ffb7366c65cbb33683bb6ad142d1df84a65b56bd69f50907bca69f066a1c860947254c241089521c026bac9ff92bd405038c266907ef
diff --git a/sci-mathematics/z3/z3-4.8.6.ebuild b/sci-mathematics/z3/z3-4.8.6.ebuild
index 5845b66caf22..24aed3818759 100644
--- a/sci-mathematics/z3/z3-4.8.6.ebuild
+++ b/sci-mathematics/z3/z3-4.8.6.ebuild
@@ -1,9 +1,9 @@
-# Copyright 1999-2019 Gentoo Authors
+# Copyright 1999-2020 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=7
-PYTHON_COMPAT=( python{2_7,3_{5,6,7,8}} )
+PYTHON_COMPAT=( python{2_7,3_{6,7,8}} )
inherit cmake-multilib python-single-r1 toolchain-funcs