diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2020-12-14 13:26:14 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2020-12-14 13:26:14 +0000 |
| commit | 6abbf81ef2f298e3221ff5e67a1f3c5f23958212 (patch) | |
| tree | 25413d1cb3a0cbfe36029db32398c0f333609215 /sci-mathematics/z3 | |
| parent | 9c417bacd51da6d8b57fa9f37425161d30d4b95b (diff) | |
gentoo resync : 14.12.2020
Diffstat (limited to 'sci-mathematics/z3')
| -rw-r--r-- | sci-mathematics/z3/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/z3/z3-4.8.9.ebuild | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest index 3c880a7fb5c3..0fe23437e4d0 100644 --- a/sci-mathematics/z3/Manifest +++ b/sci-mathematics/z3/Manifest @@ -1,3 +1,3 @@ DIST z3-4.8.9.tar.gz 4624159 BLAKE2B ff97a688ef3f977cd1204ddafaf6b4ef5824fc8f9f38f0ce9a31657b99b8cb08ee5834893ac67056eb4d7f7df67585933029292eed41d140a93c10b9daa8e100 SHA512 a50da5c3f9e27d3e804c1b71f648a3dbd5a55223b7344d66f191a1b34a4d787810abd976840d3ab3878aaf5c96d89f5a517cac0781b82aa927a9d8d54836d54f -EBUILD z3-4.8.9.ebuild 2413 BLAKE2B 0c8dc765d4de1af2418f5bc85a445f367663b87162759cf8d9f5a4d368b90176a1c813fc9676d5d4573357a56d0052bca9917a9b9b7e1fcd231a679d3e93a7b9 SHA512 c4be47b21f3ae4b333d0413140f1dc4fd43f82210f67f835808faec1eb7b9e0da291f5a3b58dd641127fa2818a8c549e6e8b65f49cfc213383b0ee1501bb997e +EBUILD z3-4.8.9.ebuild 2420 BLAKE2B ab0d58d6e1066bda6a5bdf8314f9bc30912ed2b8f7c194589b0d0eb27772d5bac1cedee90c9d2bab4cd9ca863179404e6cbb652adc9382ae2e662e91dde87ade SHA512 763792bb4fad6b14e8b629103a5ba026bc0fdde49a6cdaa05de9c05448a40aedab7039de0ec1909457dc615e391674eacfdc621f184e4ec312e5584797e57bb8 MISC metadata.xml 616 BLAKE2B aeef1be6d9c4a94062310c6e2c3ac7fb1efe39bb608d96c143a01e9a01585f11ee25aa56d8f67d0a96d880b543882f2cb781247c034eda75e7f6f030767bf660 SHA512 aed4bbc517cc4f9e78ad3f5d50af5837757efa2985aa61a3faf40e39203179d356830a1d6fd4712422257eb244a67ae5eb5c4b2db76ab75769f5fe5e6d045a0c diff --git a/sci-mathematics/z3/z3-4.8.9.ebuild b/sci-mathematics/z3/z3-4.8.9.ebuild index b4a56e60b2bc..2c71ac1da260 100644 --- a/sci-mathematics/z3/z3-4.8.9.ebuild +++ b/sci-mathematics/z3/z3-4.8.9.ebuild @@ -15,7 +15,7 @@ S=${WORKDIR}/z3-${P} SLOT="0/4.8" LICENSE="MIT" -KEYWORDS="amd64 arm arm64 ppc64 x86" +KEYWORDS="amd64 arm arm64 ppc64 ~riscv x86" IUSE="doc examples gmp isabelle java python" REQUIRED_USE="${PYTHON_REQUIRED_USE}" |