diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2021-05-22 07:31:18 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2021-05-22 07:31:18 +0100 |
| commit | 908778078736bd36f7a60a2d576d415cb8e000fa (patch) | |
| tree | c6a4796c48b608c14dc7e9674cdbd38f905e3c15 /sci-mathematics/z3 | |
| parent | 185fa19bbf68a4d4dca534d2b46729207a177f16 (diff) | |
gentoo resync : 22.05.2021
Diffstat (limited to 'sci-mathematics/z3')
| -rw-r--r-- | sci-mathematics/z3/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/z3/z3-4.8.10.ebuild | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest index f3d2c0f3b3b2..b309dd9d7303 100644 --- a/sci-mathematics/z3/Manifest +++ b/sci-mathematics/z3/Manifest @@ -1,3 +1,3 @@ DIST z3-4.8.10.tar.gz 4731869 BLAKE2B 92487f71a0c8d961949dc23032d8fa3ff157fe7acc29b41d0d79326f8b59c60e19f43527cccf4e51872c0f0664598f9063876b04cc581f918aa48c37a13c4f3f SHA512 d2741d7ad3e1d5ee3fec92095b061a96a700c3327b2eb2090d4162bdcaeaebca8c072ef79c5daac1f6de3456165c2cc38e13f1045bc707779d1027b943837c5b -EBUILD z3-4.8.10.ebuild 2420 BLAKE2B 39acf50fa71c74efce6841e2a55a20402294882dd02b43496b545fe07a533f2d91253c3cc223db37f5f8b9cc9b681fe60fa07972b18f6742e08694290af6f890 SHA512 ca5881c4a2603a92ef122753fb972eda636f58363f83e7b02fd6a9822538fe1978c1b4a895a91ddc2f1c26fdadc5240b7cbb24e38c3d4dce9585dd0bad500e77 +EBUILD z3-4.8.10.ebuild 2425 BLAKE2B 23db5049ead16c9323773aa20d487b76cfb6d2126f1b93f7e507b5db93db490daf5a6a03b9a090404bd48182c0bf4a92aa3452bb9278b13cff89e235661f7e88 SHA512 3f69ea5e9b9de7dbf99ac2886791dc7947e12c9542fab93b9da9a82c8fb2273f07f5441ac54a1f5e8bc839c9f62815f95ea049e2c50e060eb11befbe676fd7ed MISC metadata.xml 616 BLAKE2B c35cac6f5810148c69a612d6b04ed4cacdbf066e61951ea1433336f14b2b058c4dd50530b547021007489122f5e94407b30641dc9ccf3b59a345e7a09e5fdd28 SHA512 eaf72a29601e96d5312120a1fc01a0b3dd2b7d8dbee70f6052e8ff7a7e07ae8b768d1417b7f4b523e755e5569092f2685bba77beaf3d7c455ccbd057cc9b670a diff --git a/sci-mathematics/z3/z3-4.8.10.ebuild b/sci-mathematics/z3/z3-4.8.10.ebuild index ab2ad4852f5d..eb07c4a20143 100644 --- a/sci-mathematics/z3/z3-4.8.10.ebuild +++ b/sci-mathematics/z3/z3-4.8.10.ebuild @@ -15,7 +15,7 @@ S=${WORKDIR}/z3-${P} SLOT="0/4.8" LICENSE="MIT" -KEYWORDS="amd64 arm arm64 ppc64 ~riscv x86" +KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv x86" IUSE="doc examples gmp isabelle java python" REQUIRED_USE="${PYTHON_REQUIRED_USE}" |