6 files changed, 5 insertions, 114 deletions
diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz
index 264646e15fa7..740cbb9f8ac0 100644
--- a/sci-mathematics/Manifest.gz
+++ b/sci-mathematics/Manifest.gz
diff --git a/sci-mathematics/primesieve/Manifest b/sci-mathematics/primesieve/Manifest
index c91c0ffc73a4..6a3c7a82e91b 100644
--- a/sci-mathematics/primesieve/Manifest
+++ b/sci-mathematics/primesieve/Manifest
@@ -1,5 +1,5 @@
 DIST primesieve-11.0.tar.gz 125086 BLAKE2B ac425b6435bc95efbfc3d7458b59719af390508db811e0a993a606397166771cfcb9c0269249341fb6f678aafa8bae4a89e7a914176f61a608e6ccdfd0cab22b SHA512 1be9ff9d07068cab1ca69315010238ab15e5ba3b674bd45e9a0e11d20418810ece05a8df3853796118193468ac2ac6e24391f82d6db9581658ce59ddabb5b7fc
 DIST primesieve-12.3.tar.gz 140761 BLAKE2B d93aa8747d43850b9194172a2300942a685797c1aeb503240eb23cbbfe4b99281f3058a622d0e2359017e144ff8200dcecdd56922e16b46366d693b04eb1350a SHA512 b7bd74223ca9abe41de9f6a48102e6cfd1b1989fb291292c13f5c751a31f8df93e1faaadee318f169cfe81fa4dc4d5b0678fe7556f77043941d8ae749c6e8cc7
 EBUILD primesieve-11.0.ebuild 1038 BLAKE2B 24f210bb5099c96234c0682bf634a3387ad33b8325b229497a93f7bcc77e04d604d08c579f4ad03414dc2669f648ebbf8ee0b1c6fbfe1c14c95fbeeb408e4120 SHA512 e8ef7324d624fbc1033081f443f3d241e631071869cf210ad4a5cf95ca879bda7f7dc29a308ddfedd775c60fbc5fd5d3fd1d85525ec76c06433439bcc8703331
-EBUILD primesieve-12.3.ebuild 1141 BLAKE2B f4e161b7bc5db0bc64b73496fa5b680b301b41b9488364e3e3d54bfbcecc705d430fa61f308523a2028fa511c14ed87aeb52c55b124a2f1bb2a69057066441b1 SHA512 e6a511d506cfcd76ebbbe8650a131114f321a7f6c970608b84af0fab7325560d181876d18a4c560b65231129ca9bf2124db68b14ebb73d51fbe92541620bfeb9
+EBUILD primesieve-12.3.ebuild 1153 BLAKE2B 861b9dfa6e2c1b4af6f3b3e723707cf8036852630b34d8e88fde4c06d0bd49b4e2499f75592adc759806732d6dde1ada250e95b14b12a7dae9593796af588816 SHA512 86719b43ea01e842693a3b5023238c66faa3147784439a2c86288a3594da61224aeec09c231a416605521eebb9e256d796286192e19aa38281a75fe7d345f609
 MISC metadata.xml 672 BLAKE2B e580c88061b6dcece5a34fde2cd13ce8c55264f3bac16fe3af6374df92d6280993452ebeea3d8446d9f8afcf7c1cb6927405c40e82a1c01a153d5060c77392fd SHA512 8ad3dd50c172ad3333d30a01b0e7ddb8f0f96b7666b61a0c6a1644e92abc49fa75f4f54c4c88eb72c2c8c7104d5e720d852bc7319fbc1a9569fcc5de85529b02
diff --git a/sci-mathematics/primesieve/primesieve-12.3.ebuild b/sci-mathematics/primesieve/primesieve-12.3.ebuild
index 72dec4e01fea..b1cba56d796a 100644
--- a/sci-mathematics/primesieve/primesieve-12.3.ebuild
+++ b/sci-mathematics/primesieve/primesieve-12.3.ebuild
@@ -10,7 +10,7 @@ HOMEPAGE="https://github.com/kimwalisch/primesieve"
 SRC_URI="https://github.com/kimwalisch/${PN}/archive/refs/tags/v${PV}.tar.gz -> ${P}.tar.gz"
 LICENSE="BSD-2"
 SLOT="0/12"  # subslot is first component of libprimesieve.so version
-KEYWORDS="~amd64 ~ppc64 ~riscv ~x86"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc64 ~riscv ~x86"
 IUSE="doc +executable test"
 RESTRICT="!test? ( test )"
 
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest
index c3f214a80712..21d40d1ab1a1 100644
--- a/sci-mathematics/z3/Manifest
+++ b/sci-mathematics/z3/Manifest
@@ -1,5 +1,3 @@
-DIST z3-4.13.3.tar.gz 5583533 BLAKE2B 9b2586eef75cc26b3556fca4657bc1e2c47473ce22772969d3dbc9d8c84be96d6ee8283616bffe8d95efe7e531b62bbd7d4fc1f3d6dc626a097792198266ed5f SHA512 c899f57d8cb5450801463b07cd651869d766a920e41a4beedc96c4978e940bfadff9af2fbbb5ba10f94f6742bb33f7abaca0a351f3e1803d778e84d735d6829e
 DIST z3-4.13.4.tar.gz 5766645 BLAKE2B 99e22754a7b7333868b713d78677de5d8c8ed7fdf15f0a60c224cca49bd89022e80dee86aa23f96cb7ec052ef1286ec6e2d025a6e336001d4c0d09cfce50ac55 SHA512 fd554122f3bb65e5d6622e2e331546d24892dfd3e5310bc4e041bd1c61fecfe53dbb487e4b125d87367338cacc9e06f28c71f380aac5fe8a74f4b45aaa27b6ce
-EBUILD z3-4.13.3.ebuild 2606 BLAKE2B 7daa36a15dc8210d75a1478ed71fc572151ec538432818a772afa0cee83726adb9e23289d02ebe7f7bbc44e39ae2ee87cad4b941a13443bb32956246142bc66a SHA512 911fb79ad3c840b7996f298c993deffd6392b448bc572664afcf41d7abd379999ca0feb90c062f44b262a5cb3e6e91a8669322673ebb85c6c8225341485fb59d
-EBUILD z3-4.13.4.ebuild 2612 BLAKE2B 71a877079a08d4eb3fd0a7382c34147173c357d163fde35ed0f92bed394036292ec419dd500f35ccb8c9733d09d066ca55da1a84edce2cd4c07d4db576d0dce6 SHA512 08ad8789e4ec1c6c386465e1c0aa8000bae26e2afd10764b5a94ea62fb6f5aaa0b1f16ed72cfb62c0450bda1a3e2ec2019a21275c09535e886ac29b1dcdbee76
+EBUILD z3-4.13.4.ebuild 2606 BLAKE2B 4d1558de478d4cde52c6202ce2dabb22645a71cee0782daf78bf36ca879b8bd539f9a95a9cbbfa9b7a0b0b08d780239bba50b5eb83c876071d5a993fb30c599b SHA512 210add2e050e469860ced42ddd316061646fcc8e9cba78cfc1ef0b6c9ad4ca9cc82ecee73a291c0fa290ed879b5b09c81b3b61afaf90dd2431700d8a7944a337
 MISC metadata.xml 1718 BLAKE2B a94783909c12aa7dd2d5fd1f9d2fc75e20ca91b6abffd6dc020f602e57ef698f7184acaf14def4b6e21bb659e595abd44956ba37a679134d11b523103b0461df SHA512 ed375986a8010a7ae1eadab3107342126194a5513cbb22ce2064ffeff42c7184ea94f4f69017204c73bd61236847475cd1f0d8b3ba369236b26630dc8b2f46a2
diff --git a/sci-mathematics/z3/z3-4.13.3.ebuild b/sci-mathematics/z3/z3-4.13.3.ebuild
deleted file mode 100644
index 651f968e3285..000000000000
--- a/sci-mathematics/z3/z3-4.13.3.ebuild
+++ /dev/null
@@ -1,107 +0,0 @@
-# Copyright 1999-2024 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-PYTHON_COMPAT=( python3_{10..13} )
-
-inherit cmake-multilib java-pkg-opt-2 python-single-r1
-
-DESCRIPTION="An efficient theorem prover"
-HOMEPAGE="https://github.com/Z3Prover/z3/"
-SRC_URI="https://github.com/Z3Prover/z3/archive/${P}.tar.gz"
-S=${WORKDIR}/z3-${P}
-
-LICENSE="MIT"
-SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="amd64 arm arm64 ~loong ~mips ~ppc ppc64 ~riscv sparc x86"
-IUSE="doc examples gmp isabelle java python"
-REQUIRED_USE="${PYTHON_REQUIRED_USE}"
-
-RDEPEND="
-	${PYTHON_DEPS}
-	gmp? ( dev-libs/gmp:0=[cxx(+),${MULTILIB_USEDEP}] )
-"
-DEPEND="
-	${RDEPEND}
-	java? ( >=virtual/jdk-1.8 )
-"
-BDEPEND="
-	doc? ( app-text/doxygen[dot] )
-"
-
-CMAKE_BUILD_TYPE=RelWithDebInfo
-
-src_prepare() {
-	cmake_src_prepare
-	java-pkg-opt-2_src_prepare
-}
-
-multilib_src_configure() {
-	local mycmakeargs=(
-		-DCMAKE_INSTALL_DOCDIR="${EPREFIX}/usr/share/doc/${PF}"
-		-DZ3_USE_LIB_GMP=$(usex gmp)
-		-DZ3_ENABLE_EXAMPLE_TARGETS=OFF
-		-DZ3_BUILD_DOCUMENTATION=$(multilib_native_usex doc)
-		-DZ3_BUILD_PYTHON_BINDINGS=$(multilib_native_usex python)
-		-DZ3_BUILD_JAVA_BINDINGS=$(multilib_native_usex java)
-		-DZ3_INCLUDE_GIT_DESCRIBE=OFF
-		-DZ3_INCLUDE_GIT_HASH=OFF
-	)
-
-	multilib_is_native_abi && use java && mycmakeargs+=( -DJAVA_HOME="$(java-config -g JAVA_HOME )" )
-
-	cmake_src_configure
-}
-
-multilib_src_test() {
-	cmake_build test-z3
-	set -- "${BUILD_DIR}"/test-z3 /a
-	echo "${@}" >&2
-	"${@}" || die
-}
-
-multilib_src_install_all() {
-	dodoc README.md
-	use examples && dodoc -r examples
-	use python && python_optimize
-
-	if use isabelle; then
-		insinto /usr/share/Isabelle/contrib/${P}/etc
-		newins - settings <<-EOF
-			Z3_COMPONENT="\$COMPONENT"
-			Z3_HOME="${EPREFIX}/usr/bin"
-			Z3_SOLVER="${EPREFIX}/usr/bin/z3"
-			Z3_REMOTE_SOLVER="z3"
-			Z3_VERSION="${PV}"
-			Z3_INSTALLED="yes"
-			Z3_NON_COMMERCIAL="yes"
-		EOF
-	fi
-}
-
-pkg_postinst() {
-	if use isabelle; then
-		if [[ -f ${ROOT}/etc/isabelle/components ]]; then
-			sed -e "/contrib\/${PN}-[0-9.]*/d" \
-				-i "${ROOT}/etc/isabelle/components" || die
-			cat <<-EOF >> "${ROOT}/etc/isabelle/components" || die
-				contrib/${P}
-			EOF
-		fi
-	fi
-}
-
-pkg_postrm() {
-	if use isabelle; then
-		if [[ ! ${REPLACING_VERSIONS} ]]; then
-			if [[ -f "${ROOT}/etc/isabelle/components" ]]; then
-				# Note: this sed should only match the version of this ebuild
-				# Which is what we want as we do not want to remove the line
-				# of a new Isabelle component being installed during an upgrade.
-				sed -e "/contrib\/${P}/d" \
-					-i "${ROOT}/etc/isabelle/components" || die
-			fi
-		fi
-	fi
-}
diff --git a/sci-mathematics/z3/z3-4.13.4.ebuild b/sci-mathematics/z3/z3-4.13.4.ebuild
index 882c1b84099b..aa0ae4da8a05 100644
--- a/sci-mathematics/z3/z3-4.13.4.ebuild
+++ b/sci-mathematics/z3/z3-4.13.4.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2024 Gentoo Authors
+# Copyright 1999-2025 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=8
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
 
 LICENSE="MIT"
 SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="~amd64 ~arm ~arm64 ~loong ~mips ~ppc ~ppc64 ~riscv ~sparc ~x86"
+KEYWORDS="amd64 arm arm64 ~loong ~mips ~ppc ppc64 ~riscv sparc x86"
 IUSE="doc examples gmp isabelle java python"
 REQUIRED_USE="${PYTHON_REQUIRED_USE}"