gentoo auto-resync : 09:08:2022 - 08:15:37

6 files changed, 4 insertions, 102 deletions

diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz
index 88110b83f339..c795d54d96e4 100644
--- a/sci-mathematics/Manifest.gz
+++ b/sci-mathematics/Manifest.gz
diff --git a/sci-mathematics/lean/Manifest b/sci-mathematics/lean/Manifest
index dd7f7ad68b49..3a662a610337 100644
--- a/sci-mathematics/lean/Manifest
+++ b/sci-mathematics/lean/Manifest
@@ -1,9 +1,9 @@
 AUX lean-CMakeLists-fix_flags.patch 1285 BLAKE2B 0507e553c1acf2a53c5267932127117d5ae5ba9015a08c88748b3d82c041f8d904d15cd033dd7934ac55c474fa75a5d4a46f680cc887fee37c05c3f5f3832839 SHA512 11a5918847e45aac7bf79e48d8f881ef5cd3e6b09dbb0979f3f0b88fd36458be21ebeb530158da801399a0cdc8fe382444ff338cd793cd9f1bfced90c5d5a71b
-DIST lean-3.43.0.tar.gz 1909158 BLAKE2B 587995afb123e6c74a730f9709a001bab6b2ac82471dcf8b1219dda782853fcdb9735d16038b95a7950f6530dd3cf1e0b13e4d1044d723d3662217951b809928 SHA512 25cbad94b869bb39edaf9ed2478ffc298b130f22cb4db7c116212546583d670079ddde1b524a33499d00ac43fc82b6928e6801c83d613597aae255db9c45d9f3
 DIST lean-3.44.1.tar.gz 1911708 BLAKE2B 33dc94fb1f1eac2684b7a37fda3545ad6d4f6d703e7914c44b9a05fb57e55d4b9bef484ff1f6608f9bb0fe453ca28b7fa5c74e6bce135df06fb25ad6d9d3a37b SHA512 69ffd1a8519b476dd1879bfe2f8f8f4268a5490f11b581ee1e583382e6f03f947d958e8b5ee8ceead562945a406ee2dc9b0ae2da6f29f03a38828eadab88a4f8
 DIST lean-3.45.0.tar.gz 1913638 BLAKE2B f36548be556407cbf7b30a7988bb2454542543cafcd2d0f2af90f75f886d4b711c6955503f7241844ffff69400ec354a194cc345feca8f0dbcb06a673cc2d3d4 SHA512 c97c1dc6004823c73d8e40b5587ebbee7bd7a90b65ecdd3a976510d0d335b6df9a26916eedd5524f7137a32254a59dd5a6f15ce67f77d500926c9bc781aa5526
-EBUILD lean-3.43.0.ebuild 1786 BLAKE2B b487fa10df236d03e46cdfe785e06337d2b6b2f98c8492573e5f3196bd49d6331f69cc3fb232adfe7ebfb0a46e779e7b5b8d6efb4875fe1e5eaa90f7c56e8d60 SHA512 09c7d71a12e09d83c362c21c2f5f6958c1777a4553e585214e908ced9b1080d0c22abf050b22393030e00651bb6f156d7f108c3389bd03267383d4748d5ce661
+DIST lean-3.46.0.tar.gz 1913857 BLAKE2B de0a48ab3cff934d6a9583833a94a409a6351bd8433dbf47dbb510620a6c27aae26891472b4f1443e0f833b1c13de8653f0ea4edf61d14d43cfdb1aa25a555bf SHA512 d4487154cf6364b49ce19d1946a0bf0af6faeb1276ef08754a3dbed9bf071c2873eebdb1d6bcbe39ab2aaf5e93a97007ce954fd7c1ca4062fb2e6214e75e3b2b
 EBUILD lean-3.44.1.ebuild 1786 BLAKE2B b487fa10df236d03e46cdfe785e06337d2b6b2f98c8492573e5f3196bd49d6331f69cc3fb232adfe7ebfb0a46e779e7b5b8d6efb4875fe1e5eaa90f7c56e8d60 SHA512 09c7d71a12e09d83c362c21c2f5f6958c1777a4553e585214e908ced9b1080d0c22abf050b22393030e00651bb6f156d7f108c3389bd03267383d4748d5ce661
 EBUILD lean-3.45.0.ebuild 1786 BLAKE2B b487fa10df236d03e46cdfe785e06337d2b6b2f98c8492573e5f3196bd49d6331f69cc3fb232adfe7ebfb0a46e779e7b5b8d6efb4875fe1e5eaa90f7c56e8d60 SHA512 09c7d71a12e09d83c362c21c2f5f6958c1777a4553e585214e908ced9b1080d0c22abf050b22393030e00651bb6f156d7f108c3389bd03267383d4748d5ce661
+EBUILD lean-3.46.0.ebuild 1786 BLAKE2B b487fa10df236d03e46cdfe785e06337d2b6b2f98c8492573e5f3196bd49d6331f69cc3fb232adfe7ebfb0a46e779e7b5b8d6efb4875fe1e5eaa90f7c56e8d60 SHA512 09c7d71a12e09d83c362c21c2f5f6958c1777a4553e585214e908ced9b1080d0c22abf050b22393030e00651bb6f156d7f108c3389bd03267383d4748d5ce661
 EBUILD lean-3.9999.ebuild 1786 BLAKE2B b487fa10df236d03e46cdfe785e06337d2b6b2f98c8492573e5f3196bd49d6331f69cc3fb232adfe7ebfb0a46e779e7b5b8d6efb4875fe1e5eaa90f7c56e8d60 SHA512 09c7d71a12e09d83c362c21c2f5f6958c1777a4553e585214e908ced9b1080d0c22abf050b22393030e00651bb6f156d7f108c3389bd03267383d4748d5ce661
 MISC metadata.xml 606 BLAKE2B 6478d84a762a59082fdea0a11a95b27c093782228c48dba58dc490ea9ac2cecef54cc3101dc98e385f3a29f85d84af21b7d2ae1a9f089ee0313158ecb44eb0e7 SHA512 02d2ac07b155c7a04c857d397d476a39864d02b10dd81c5830db5e21eb86c6dcff26da552a04717f5f587b326ddf8e2e8d27f1a138f88b391f0199d8004d8cb7
diff --git a/sci-mathematics/lean/lean-3.43.0.ebuild b/sci-mathematics/lean/lean-3.46.0.ebuild
index 6623228581a0..6623228581a0 100644
--- a/sci-mathematics/lean/lean-3.43.0.ebuild
+++ b/sci-mathematics/lean/lean-3.46.0.ebuild
diff --git a/sci-mathematics/pari/Manifest b/sci-mathematics/pari/Manifest
index bb4877f7956a..3690fc8b3b06 100644
--- a/sci-mathematics/pari/Manifest
+++ b/sci-mathematics/pari/Manifest
@@ -5,6 +5,6 @@ AUX pari-2.9.4-fltk-detection.patch 572 BLAKE2B 1c2e1fa6e52521c7865c3fd011824c83
 AUX pari-2.9.4-ppc.patch 363 BLAKE2B 135e76972e4121362666a25e3da236c4a5b7cffa058bbc25b59ca19ea20ccb0665327f70701adca5239cb936d513976e3ba7b5cda915a3f77c7b2eb28e75eaa0 SHA512 aaf5960010e56722f11234079a20ee7a7f8819dc084e1f6567fd11ad2820e3ae47617608f312941c2f373b5312a8c09c9cd51bfa44e263ffe1e8062c9fd9877d
 AUX pari-2.9.4-strip.patch 323 BLAKE2B 85a2b56f5501b4dafc0bffe48249c1662d6f96e81f8e8260ad52ecf84f053efef2ee6d6be6a6fda47886c372eb338d8bbf4443910df79a0d4e168b2666228c37 SHA512 50624ead82da41819ccfadfbdb746fb6ff414196ae2576c5d6a86e83c67355740b0e6e901a2860cab202db15adb1b00e346aabba338ab303230bc6aee8d33076
 DIST pari-2.13.4.tar.gz 4772735 BLAKE2B 5a3eebd380f1e47f38746b03ddde9a715ed74e7e8e4ed30ef8f2d62cf7289694b800fc8396557150ce9d79245c244fb56cecddac867c6057b438da4df68505e6 SHA512 0eb8c0100d76fb8f29fd29e6a49e9534b9a4d90e1869820dbfddd57fe444f0e83909947331823157a67be31f71a5d26fa1224f72ce3f9e5197db0194c417b9b9
-EBUILD pari-2.13.4-r1.ebuild 3672 BLAKE2B 1bfb79d530f7e2af624c817e4d3cc53a33b7af278c891b5c1deed6a5ba55c9275e945bbd70448f821a2ed238a109312d10d954db9b7c22bc7768ce635982d4c0 SHA512 e3cf5a1241d7edefac1b1a22343f8865ef7251ac369ec439c1261e90cd5cdb6eb0576b70ee4a54f6807189568fc8a287baf6b30b22f6ee206514ab49a25488bb
+EBUILD pari-2.13.4-r1.ebuild 3671 BLAKE2B c0e417e506e94cba9c1301594a10d00cd863c82ad9a82fe27ce8292424c15529956a6aefa1901a4d1d44d279f70031c2451a8ae35a137b34566478b2da169a81 SHA512 eec4bf91eb7a152131ed83d74a1f77147ee8fc1468cfa5983ce19d2227be46b73d840659d2c345fedd9c8ae7aaa8a66710cadb2d7c67bf6d7af0e00ccde0109c
 EBUILD pari-2.13.4.ebuild 3420 BLAKE2B 5c30dcb0cc91164956ce0ba5425d591dccbfda71b45991f3620129400a4924934ce857a0bd6758b10a0677ff560ef0295fba04ac3e2536897278ea9a9dec6cc3 SHA512 c18904b5fc26f7d32e8dbc8360f1daeebf2f16ff24760037780512bb85c3470df540d1f56a0b777cf71fa825c2058a8153e3fb5af50c586357fcffa0ee012535
 MISC metadata.xml 1765 BLAKE2B 5d45009ff34f4d7780e70d2cdd94a5c60ebef674c235ba84d0989485dec62e83d15b9be7cbcbd583bf258fc936c5aff3d610ca8ea682323b07430fc2e71ee225 SHA512 32f560edbcfcf283b7f6a907277c584e5e9a33044b334e66818bc3529fb49a8709888aa27332da3f46e8c80971711403f333de3616132a47c34b9a1413237772
diff --git a/sci-mathematics/pari/pari-2.13.4-r1.ebuild b/sci-mathematics/pari/pari-2.13.4-r1.ebuild
index a3404e9b1593..2c20485a6433 100644
--- a/sci-mathematics/pari/pari-2.13.4-r1.ebuild
+++ b/sci-mathematics/pari/pari-2.13.4-r1.ebuild
@@ -14,7 +14,7 @@ LICENSE="GPL-2"
 # The subslot is the value of $soname_num obtained from
 # upstream's config/version script.
 SLOT="0/7"
-KEYWORDS="~alpha amd64 ~arm ~hppa ~mips ~ppc ~ppc64 ~sparc ~x86 ~amd64-linux ~x86-linux"
+KEYWORDS="~alpha amd64 ~arm ~hppa ~mips ~ppc ~ppc64 ~sparc x86 ~amd64-linux ~x86-linux"
 IUSE="data doc fltk gmp test threads X"
 RESTRICT="!test? ( test )"
 
diff --git a/sci-mathematics/stp/stp-2.3.3-r1.ebuild b/sci-mathematics/stp/stp-2.3.3-r1.ebuild
deleted file mode 100644
index 67fbceb1ce9d..000000000000
--- a/sci-mathematics/stp/stp-2.3.3-r1.ebuild
+++ /dev/null
@@ -1,98 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-OC_H=119fe41a83bc455a24a11ecc9b78e7b13fcfcc45
-GT_H=2ad076167a676e3ed62f90b754b30fac5caa1f88
-
-PYTHON_COMPAT=( python3_{8,9,10} )
-
-inherit flag-o-matic python-single-r1 cmake
-
-DESCRIPTION="Simple Theorem Prover, an efficient SMT solver for bitvectors"
-HOMEPAGE="https://stp.github.io/"
-SRC_URI="https://github.com/stp/stp/archive/${PV}.tar.gz -> ${P}.tar.gz
-	test? (
-		https://github.com/stp/OutputCheck/archive/${OC_H}.tar.gz -> ${P}_OutputCheck.tar.gz
-		https://github.com/stp/googletest/archive/${GT_H}.tar.gz -> ${P}_gtest.tar.gz
-	)"
-
-LICENSE="GPL-2+ MIT"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~x86"
-IUSE="cryptominisat debug +python test"
-REQUIRED_USE="python? ( ${PYTHON_REQUIRED_USE} )"
-RESTRICT="!test? ( test )"
-
-RDEPEND="
-	dev-libs/boost:=
-	sci-mathematics/minisat:=
-	sys-libs/zlib:=
-	cryptominisat? (
-		dev-db/sqlite:3
-		dev-libs/icu:=
-		sci-mathematics/cryptominisat:=
-	)
-	python? ( ${PYTHON_DEPS} )
-"
-DEPEND="${RDEPEND}"
-BDEPEND="test? ( dev-python/lit )"
-
-PATCHES=(
-	"${FILESDIR}"/stp-CMakeLists.txt-fix_cflags.patch
-	"${FILESDIR}"/stp-stp.py-library_path.patch
-)
-
-pkg_setup() {
-	use python && python-single-r1_pkg_setup
-}
-
-src_unpack() {
-	unpack ${P}.tar.gz
-
-	if use test ; then
-		local i
-		for i in OutputCheck gtest ; do
-			tar xf "${DISTDIR}"/${P}_${i}.tar.gz --strip-components=1  \
-				-C "${S}"/utils/${i}  || die "failed to unpack ${i}"
-		done
-	fi
-}
-
-src_prepare() {
-	# Replace static lib with get_libdir
-	sed -i "s/set(LIBDIR lib/set(LIBDIR $(get_libdir)/" CMakeLists.txt || die
-
-	# Remove problematic test
-	rm "${S}"/tests/query-files/misc-tests/no-query.cvc || die
-
-	cmake_src_prepare
-}
-
-src_configure() {
-	# -Werror=odr warnings, bug #863263
-	filter-lto
-
-	local CMAKE_BUILD_TYPE
-	if use debug ; then
-		CMAKE_BUILD_TYPE=Debug
-	else
-		CMAKE_BUILD_TYPE=Release
-	fi
-
-	local mycmakeargs=(
-		-DNOCRYPTOMINISAT=$(usex cryptominisat 'OFF' 'ON')  # double negation
-		-DENABLE_PYTHON_INTERFACE=$(usex python)
-		-DENABLE_ASSERTIONS=$(usex test)
-		-DENABLE_TESTING=$(usex test)
-	)
-	cmake_src_configure
-}
-
-src_install() {
-	cmake_src_install
-	mv "${D}"/usr/man "${D}"/usr/share/man || die
-
-	dodoc -r papers
-}