summaryrefslogtreecommitdiff
path: root/sci-mathematics
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2022-09-22 17:28:08 +0100
committerV3n3RiX <venerix@koprulu.sector>2022-09-22 17:28:08 +0100
commitd79ab35b7ac170babebe8bc151fe5d037c16285c (patch)
treec774a4913f32e952079ae36fc6afd2dad747837f /sci-mathematics
parent992aa50a54a56c9e705ca4e85d809ec8989d74a2 (diff)
gentoo auto-resync : 22:09:2022 - 17:28:08
Diffstat (limited to 'sci-mathematics')
-rw-r--r--sci-mathematics/Manifest.gzbin16202 -> 16207 bytes
-rw-r--r--sci-mathematics/z3/Manifest2
-rw-r--r--sci-mathematics/z3/z3-4.11.2.ebuild2
3 files changed, 2 insertions, 2 deletions
diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz
index df399032aa59..41abd4bb6084 100644
--- a/sci-mathematics/Manifest.gz
+++ b/sci-mathematics/Manifest.gz
Binary files differ
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest
index 74f29359dd53..b8a2f17d9c43 100644
--- a/sci-mathematics/z3/Manifest
+++ b/sci-mathematics/z3/Manifest
@@ -7,7 +7,7 @@ DIST z3-4.9.1.tar.gz 5358020 BLAKE2B b707084424b615a43dcefbc395d6cf0519f3d6ea3ab
EBUILD z3-4.10.1.ebuild 2597 BLAKE2B eba2a719e5ec43add7ebcb3919ce9c315a0d5a36bb5cfc0bb2d72b65b7f0c51c99d9e2daa980d887526fb5f112b4285ad849c5962ef3ed6fae061ca6fb44293e SHA512 9ea78fee2dd63521e56bed98b565a785da1a27efab83f0e2d16e707d1cef48b6bdd268aa215a87a24958ebd7c4bca1416e302cbb26a8aff5bbe127abdffdea03
EBUILD z3-4.10.2.ebuild 2593 BLAKE2B 80eedc9d3aefea51c06a81bfd18a58005c83385f093fe6cfeafc2a5a5f442e67fff70fa43d2030a07894b6a0d5b272c21052699c6620bea1d240d756f2ce62fe SHA512 74c36a1ad1c41951a0a12e453eabf8da4a5d78d21a988fe94b5544478d2f4545394e5629b8087577d51f7593d7dbf2fb3e601fd01aa912ba2f22432d84991ac3
EBUILD z3-4.11.0.ebuild 2597 BLAKE2B 08065cfcdf7bf9e38d272c8820e74c2f658f5043463f28bdd5fb726a892fabfd40401c6cbd731f13f14321b0a6ea1b30623918c2c47c4984a3f0e166a0f85910 SHA512 53f817c5131a4a9632720a06efd167dd716ff873f7672d74c5e69aa0e45eaa064c4e1829045dc6143756af447856bb77aa963bc1068490efd3fd8f3406a3f2cf
-EBUILD z3-4.11.2.ebuild 2597 BLAKE2B 08065cfcdf7bf9e38d272c8820e74c2f658f5043463f28bdd5fb726a892fabfd40401c6cbd731f13f14321b0a6ea1b30623918c2c47c4984a3f0e166a0f85910 SHA512 53f817c5131a4a9632720a06efd167dd716ff873f7672d74c5e69aa0e45eaa064c4e1829045dc6143756af447856bb77aa963bc1068490efd3fd8f3406a3f2cf
+EBUILD z3-4.11.2.ebuild 2593 BLAKE2B 2492d686758dfcbb8d22c7967f8f4a88f9f8878d7f6ce676ee269d05b341516f8683374f891bdde27a66747dd4ce9c088bf7dcdf8b455b80d529da65e4c1fac5 SHA512 fe397099e1a03d36bfdd0d68638727e3829f2c74302d9a6a845f778741e3c7fe3eaa3506de554b9684b656a3971c1dd8e2888bdb609c05eb314bbb52aa8ef3ff
EBUILD z3-4.8.17.ebuild 2594 BLAKE2B a9b14f2abe00c69252c4b66621f804c3e29a423bea51324cb03cb618f2f42b8762ebffc44f0cfe0cfa35f2c7f5baa615a07d3d8170a2c5f9a2ef40762ae38e2b SHA512 d548f50364c08cbc14c6c966535882286042c538c3a2119951fbe4ce2c3c9dd1f244d955b0060e28045ea89c7199a7a9617c65d1cace66e146de392f5a4d724d
EBUILD z3-4.9.1-r1.ebuild 2597 BLAKE2B eba2a719e5ec43add7ebcb3919ce9c315a0d5a36bb5cfc0bb2d72b65b7f0c51c99d9e2daa980d887526fb5f112b4285ad849c5962ef3ed6fae061ca6fb44293e SHA512 9ea78fee2dd63521e56bed98b565a785da1a27efab83f0e2d16e707d1cef48b6bdd268aa215a87a24958ebd7c4bca1416e302cbb26a8aff5bbe127abdffdea03
MISC metadata.xml 617 BLAKE2B f940ac3d7c159dadf4398164b749eaded84c12af5553a154d97fd9bfb939c72e3122e08e11c1c9764514f59a87695534daff6628bd15be4de834c7cfdb65d7f9 SHA512 758df481a60606de12c5a450162ee89fd2f68f842675b3bf280f024fcd61232228476ac889e60c09e42ebae01ad855b32ad77793ba7fa5714861ccc5ca52bfc7
diff --git a/sci-mathematics/z3/z3-4.11.2.ebuild b/sci-mathematics/z3/z3-4.11.2.ebuild
index 4c7fa51d483e..f578c7837da9 100644
--- a/sci-mathematics/z3/z3-4.11.2.ebuild
+++ b/sci-mathematics/z3/z3-4.11.2.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~sparc ~x86"
+KEYWORDS="amd64 arm arm64 ~ppc ~ppc64 ~riscv ~sparc x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"