2023-05-17 21:10:06+00:00

39 files changed, 235 insertions, 130 deletions

diff --git a/Manifest b/Manifest
index 9c27b41a46782..a0abef0f10d4e 100644
--- a/Manifest
+++ b/Manifest
@@ -1,23 +1,23 @@
 -----BEGIN PGP SIGNED MESSAGE-----
 Hash: SHA512
 
-MANIFEST Manifest.files.gz 29446 BLAKE2B a3e2f58e2fbc007590dea3ac569266876a1d6a37945ef3831a3fd81aeac16f0c8ce7fcd1304f3fa972bd10fc156a369266a30c653547b3623888106692cc4180 SHA512 d715d4b8acdbdd4592329f936e440b30e83b004aa76972648bb33910a597297d9daafd6af9c4d1725a62b86ab697e1521989391e4ec3549c71adb3f19ac4952f
-TIMESTAMP 2023-05-17T20:40:07Z
+MANIFEST Manifest.files.gz 29457 BLAKE2B ffcda75e46089b6ca3e080bfaf6356a7924dff3b025b5b3505585009936b272b55e1e1b5f5b4334bc5936435441533d68da1b3fd5bec5ea770424af8a67a8979 SHA512 1c2a5c00fbf6118891a3a807343138d4ff983798350947a4f1987a2e2dfe0dc822cdcfacac530f3b189a55b2a63c19dccdc3974522e55f6bbdc0721a95b82b1a
+TIMESTAMP 2023-05-17T21:10:10Z
 -----BEGIN PGP SIGNATURE-----
 
-iQKTBAEBCgB9FiEE4dartjv8+0ugL98c7FkO6skYklAFAmRlO6dfFIAAAAAALgAo
+iQKTBAEBCgB9FiEE4dartjv8+0ugL98c7FkO6skYklAFAmRlQrJfFIAAAAAALgAo
 aXNzdWVyLWZwckBub3RhdGlvbnMub3BlbnBncC5maWZ0aGhvcnNlbWFuLm5ldEUx
 RDZBQkI2M0JGQ0ZCNEJBMDJGREYxQ0VDNTkwRUVBQzkxODkyNTAACgkQ7FkO6skY
-klDT8BAApSUUMwJ7QjzQYj0AIUPKdjug6ESugMMezNPoZk8eHmtDu/YdCPmk2wUp
-NiuHYH4vDhzrp0UlEpSVrdK71U6e6Vg/3fKVf6SSyPPMzn06X+ljp1Am9npT4r6a
-mMRR1MJmc9BetM0z6qRjU0jM1RL0iaodHs/yM3TVmLxAJapEssNQa4HTvI1YJlf+
-F33GgzHdtYUnM3t6sPpWkfr9vWsmXhgqiSeEp/0onWsBg3p9QwLGfVA1zOl8C+ry
-Ov2CueNCuJ9/xcctSZLRq59u8sy6VRaZYSscCQN5O3PsuFcmR4n3VMiM+eP8Zsjx
-ibc4JtPuhaWccreqMlHlJSkBQR7+cYDKBMAFPS30BkNiT4CTH/ShJJ1Z9rBRZdWl
-YjEoH72KQp3z5BvU2AjNmFILeCz4hjf8U/1SjEUkCrYKcme3n3lcPHSIbbiEeLOL
-MeGY5syotzbNfWXmD1dNQ/5aqkZhYmbg1ODq1sOzWl5ucBHAss374rCy3X4AjexN
-82obs3QT5qGFVIYQ+ua7+cqL0Vu5dO6xxilNaHDShvcglI/3S9uPLR1hcmADcJZY
-R79BTPfyFMl1NpT0LmQQfT6F1tfr3q//Oa7BF2Ew311tpFKPZDzh6AvDXjxNz0DQ
-9IC9mZaIiD5rvIxFemSTDnIJjX+DWDRMp/t2hNwhk6IP0XqqA2Q=
-=0bSk
+klDxlRAAotUNqlzYUW15iD3uabqYAHHsa0Si4fWWjDNpX7B8hW0x7ivJWRuJHdVV
+fuD4zqc0N3N0+DODN3YDnj/Y5dp5CB/HnnAOLobGU/0PvGsHuvzi/dhTJBy+SCOR
+Q260mLHkD3OETpUZnPr+5H1/PD5uvM8JwLjLOYTdju+v4rpnM/d9dt69PI9X+FlX
+YPYnqFvjNThZtr6Q6t2/byIh2EMfpT7dfzCe7Qt/+O0QCko5coiO16UyAVHCJfkN
+/mNKIUJTwD3dlmBT5dvlIGe/wKA+pTbYPJwgI4Mu9JCq41ap8EmQGezKPX4+8UW2
+KuNpfH5y4Tb65JjZzBUE26BaVmGEqrxRhEex96sEANc4mh1UtuWqAJOde3E5KL/5
+f27Vm1bKdGsVt4sz4r/eL4flvzaxFyhtZLyYgyqwfrJ/2X2Z9OptFiT43Q1+Z9UB
+YpJs1OO8WLdf7lMKFD1k72kIiSisN4ePqPrpsUn8FFfk32ChYtHIXCzLVKqe17fB
+7kQkucbqzxNfNyMgqOIN+jizTGRdcO5WVD6s1KGDrb+Qi00tb3hqIdaOvEZF+TiC
+GPD8ewAvPdT0qBKhWdU1CVTOw7L44DKAXsb7HoljXZS59Q1/cQq1MdjGR7DHAnTI
+gEg4c7uh3tSN4Xv1Oej8mPvzX7NYfEiIdQEI8981O1UTzGF9Muo=
+=9gX8
 -----END PGP SIGNATURE-----
diff --git a/Manifest.files.gz b/Manifest.files.gz
index 5d0f8a47391ca..f799c0c7a176a 100644
--- a/Manifest.files.gz
+++ b/Manifest.files.gz
diff --git a/dev-lang/Manifest.gz b/dev-lang/Manifest.gz
index 741c1cc5e495e..a906425f9a6bc 100644
--- a/dev-lang/Manifest.gz
+++ b/dev-lang/Manifest.gz
diff --git a/dev-lang/eisl/Manifest b/dev-lang/eisl/Manifest
index 6cda92c04cf02..86ee8e9bb2769 100644
--- a/dev-lang/eisl/Manifest
+++ b/dev-lang/eisl/Manifest
@@ -1,10 +1,8 @@
-AUX eisl-2.65-implicit.patch 270 BLAKE2B 3c3e8b9474d7eb4647b9982b27a0bb34f316abbf780ca8bdd78445a4401e96743e8e299d518deeb5ce0903f892684bc9b96f36888a3663b5bb54d221735bc279 SHA512 fd69358726a1226dfc9197dd6e861ee36ee974050ba2455c6d29ecb82efd8128cc7b787dd18c2f686431ba5d8161ae5f8242675f2c66e10725a4985e5c52c181
-AUX eisl-2.67-Makefile.patch 981 BLAKE2B f237f8757f527e8d2e3fb9a207cb0ccbc94427c77b0c0a0df12cea5f32ea8975277a427a017e32071c3dd050596fa3c4719068bebd00a16080ba01199b750537 SHA512 eedc5921f166093d48ed62718028bfca76962b6525d17c9cf2e392942b313bcd5b07a6ceb2782cfaa7e0065e37c68a0d21f546586fa61cb53b0f6b5d56d96502
 AUX eisl-2.85-Makefile.patch 987 BLAKE2B b5823a4579915fb7785548622f5d3fbbd968d8b4a20467cb0cbc01dd9ce9f137d324126056a13174bf70b4d787277a4580c7485d86e603217cd8e290160525e4 SHA512 c25e8d084294ef757c3b51f0c640e3b994a4cec0aebda930cf3059e628aaeb3a4bdbd709d3079f3f800159adda61e200ff28aa0314cfe81da4f5cadbef8165e2
-DIST eisl-2.72.tar.gz 2124119 BLAKE2B e0a1216b4e9c301ec965d0dc7a6fcaa5acd91fd611193959fee698a27523c0c4832e7960652af14af3e7f5846131d81f0ae9db7030511e051d5384ba573241ae SHA512 80998239b9cc421f42323f24ffbc5f518a2675c314580284309d127523bab328db21d294d8d32dca413abd63d279a2c857ea34ec35548da15459235eb0f3da2b
 DIST eisl-2.85.tar.gz 2126779 BLAKE2B b95735cac70a1bae0277f910ba0b69746ca44979c08b4c19c5642d1d998e0a248827cf6cc0bac9f29c620c34ede2558e7723b7ab8b841fadbf366fa9047e6a7c SHA512 4b09e0faa126e30e44d0d23cfb79316289631da1ae8069989c58852f14c4b1f2e28539698fc8a1f433ff11e0be7a63efd836d0978965eefe42a7620c11b56c54
 DIST eisl-2.90.tar.gz 2129524 BLAKE2B 5b7a7aaf68a53ac4611b90f98f50fb66973411f1303f0de9dab14301a49847a1250c07d1e912d55783b939d3a2b7a6aa82fa3d9b42818ea9aacf37949ba9e14a SHA512 3cefc6608e1f4d4a0ba581c2043cb9af9d379273cfda74a4ac77f802dbb672faf98af5a60a946e12f0abedd47074b67a0c8163a81eebca92a20cd04f767d6b0f
-EBUILD eisl-2.72.ebuild 921 BLAKE2B bbaa420166c20be9151fc3ba5f3d2896001b0bf701d66e6066a61e2d14028c54a2fe217c4ad2dc176aaf3e18daad61ec41c600c180fa915af6c1cb89bc49f80e SHA512 f4dbfd02ad131befc7730ade32eb76ab66820b530a53a1a6eb1ad3124ff9fde6494373cb93441d223a0a0e2044058b3159904e693f5b93ea7fd73f9af816d164
+DIST eisl-2.93.tar.gz 2138623 BLAKE2B 049628a3dba0b9da5334bb575e7cfd977cdee6b08f009590c3dd13ba81e325ef4cf9d64c8a3fc7b59b9459e5dca0f7d49243b61040d662200a3b64f797d631fe SHA512 261ca84594f6fa408739e3aedb0f0c0b0d246df14b6b79a3efb013219730b93290e725eb976980ac23488c361bca05eb642d3b4fc408ee4355ba84ca658185e7
 EBUILD eisl-2.85.ebuild 873 BLAKE2B 7438f1e9c6324f10b90b6189136f0ca049870ee2f475fdd451b0e3abc679c8d528ffdbe2021715a002beb0cb21e302622ae0586e4eae9b6172db144f8c457977 SHA512 242c39416e07b29855c84e9607cebfba81ee36c0d4fcc035a26371d84bc0a934c32fa8f6a11d76c5e06aea74011149e7907db4f35baec3ea5ba51c9ef7ddd2b4
 EBUILD eisl-2.90.ebuild 880 BLAKE2B 19e62d0d8a04533bffb4ad146b14820c63bd6ed35071985087638e881c17a809cb8455298c4b56e5572bdd27e20c49ff918d2e8486534e887e733cf3185a7d74 SHA512 592c066fb7fb440aa8b990dd182f794b76ddd462b19c708dfa320462a2993a1aa083644a45de71c060e119fc27f73c0ed47bd9aafaa8ef628b5a4747fa03c4e8
+EBUILD eisl-2.93.ebuild 881 BLAKE2B a32bc9b537be85d1fcdc2a63afd38ddcac6150a268f0677548aaf4670f805caebe95d0070807eebf75a125af8c19d518c46993fcc8bd2acff1052c2bb3eebcec SHA512 1cdfe8341514c9e9b9209048012dffb461b217654fd18b9988480d0acd2dd5572d3a32e827ed5676aa95d1cbc8ddf546e54515f68bf20f7608648600f74e680b
 MISC metadata.xml 631 BLAKE2B fd171b07cf1f7beae7be774a5da360d466c83f01a6bd52dc69af436926ae5aebec27a2723c11498be21c4f96f6b82c6aa3571f4b84e763459ef78086450252f2 SHA512 dd9e329f24ce6d3922e92e81d36234b93151f71c88d6ba4b38557565a7c1c3bc4b7172d4d55f1d2d5bd6c5cada449691067cc71abd4d456941f6a8b78fe0df87
diff --git a/dev-lang/eisl/eisl-2.72.ebuild b/dev-lang/eisl/eisl-2.93.ebuild
index c79630e56a741..fc6d817410fa6 100644
--- a/dev-lang/eisl/eisl-2.72.ebuild
+++ b/dev-lang/eisl/eisl-2.93.ebuild
@@ -7,12 +7,12 @@ inherit toolchain-funcs
 
 DESCRIPTION="Interpreter and compiler compatible with the ISLisp standard"
 HOMEPAGE="https://github.com/sasagawa888/eisl/"
-SRC_URI="https://github.com/sasagawa888/eisl/archive/v${PV}.tar.gz
+SRC_URI="https://github.com/sasagawa888/${PN}/archive/v${PV}.tar.gz
 	-> ${P}.tar.gz"
 
 LICENSE="BSD-2"
 SLOT="0"
-KEYWORDS="amd64 ~x86"
+KEYWORDS="~amd64 ~x86"
 RESTRICT="test"  # Tests run cppcheck (and fail)
 
 DOCS=( README{,-ja}.md documents )
@@ -20,10 +20,7 @@ DOCS=( README{,-ja}.md documents )
 RDEPEND="sys-libs/ncurses:="
 DEPEND="${RDEPEND}"
 
-PATCHES=(
-	"${FILESDIR}"/${PN}-2.67-Makefile.patch
-	"${FILESDIR}"/${PN}-2.65-implicit.patch
-)
+PATCHES=( "${FILESDIR}"/${PN}-2.85-Makefile.patch )
 
 src_compile() {
 	emake CC="$(tc-getCC)" clean edlis eisl
diff --git a/dev-lang/eisl/files/eisl-2.65-implicit.patch b/dev-lang/eisl/files/eisl-2.65-implicit.patch
deleted file mode 100644
index d4bb779e177e2..0000000000000
--- a/dev-lang/eisl/files/eisl-2.65-implicit.patch
+++ /dev/null
@@ -1,11 +0,0 @@
---- a/main.c
-+++ b/main.c
-@@ -252,7 +252,7 @@ static inline void maybe_greet(void)
- 	Fmt_print("Easy-ISLisp Ver%1.2f\n", VERSION);
- }
- 
--static inline disable_repl_flag(void)
-+static inline void disable_repl_flag(void)
- {
- #ifndef WITHOUT_CURSES
-     repl_flag = false;
diff --git a/dev-lang/eisl/files/eisl-2.67-Makefile.patch b/dev-lang/eisl/files/eisl-2.67-Makefile.patch
deleted file mode 100644
index 3cd6d09f59443..0000000000000
--- a/dev-lang/eisl/files/eisl-2.67-Makefile.patch
+++ /dev/null
@@ -1,32 +0,0 @@
---- a/makefile
-+++ b/makefile
-@@ -38,7 +38,7 @@ else
- 		endif
- 	endif
- endif
--CFLAGS += $(INCS) -Wall -Wextra -D_FORTIFY_SOURCE=2 $(CURSES_CFLAGS) -U_XOPEN_SOURCE -D_XOPEN_SOURCE=700 -D_XOPEN_SOURCE_EXTENDED -Inana/src
-+CFLAGS += $(INCS) -Wall -Wextra $(CURSES_CFLAGS) -U_XOPEN_SOURCE -D_XOPEN_SOURCE=700 -D_XOPEN_SOURCE_EXTENDED -Inana/src
- DFLAGS := --preview=all --de -w --O3 --release --betterC
- SRC_CII := cii/src/except.c cii/src/fmt.c cii/src/str.c cii/src/text.c
- SRC_D := dextension.d disl.d
-@@ -65,7 +65,7 @@ ifeq ($(DEBUG),1)
- 		LDFLAGS += -fsanitize=undefined
- 	endif
- else
--	CFLAGS += -O3 -flto -DNDEBUG=1 -DWITHOUT_NANA=1
-+	CFLAGS += -DNDEBUG=1 -DWITHOUT_NANA=1
- 	SRC_CII += cii/src/mem.c
- endif
- OBJ_CII := $(SRC_CII:.c=.o)
-@@ -83,11 +83,9 @@ ifeq  ($(shell uname -n),raspberrypi)
- 	CFLAGS += -D__rpi__
- endif
- ifneq ($(DEBUG),1)
--	LDFLAGS += -flto
- 	ifeq  ($(shell uname),Darwin)
- 		LDFLAGS += -Wl,-S,-x
- 	else
--		LDFLAGS += -s
- 	endif
- endif
- PREFIX := /usr/local
diff --git a/dev-lang/fuzion/Manifest b/dev-lang/fuzion/Manifest
index fcbf70b388139..c9ef35b8149aa 100644
--- a/dev-lang/fuzion/Manifest
+++ b/dev-lang/fuzion/Manifest
@@ -1,5 +1,7 @@
 DIST fuzion-0.080.tar.gz 659142 BLAKE2B b1889ea646ddcb49248db1aa65cfbd3971ddfcad28976e39f631d7f6e3bd7e78f4dbc08756711820e982bcee8aef7eaf8de69a01408457d371c00fad926386ac SHA512 6bae87090b613dc82cc08526c66a62b81e757dc686130553a6f35ef9ea11dacbd726ee52ccb63019bcec876d5531b6a7263f48538eb05c062482f7609cd229c8
 DIST fuzion-0.081.tar.gz 710674 BLAKE2B ef58bb6b27640f6de4af3abe63b5ef6edbf82b6dc1914ba5dacf66ab2330e5eee884fbe08a3152353454474fd6226cdc5746b04bc791e4d26e81ae6fe8f47b3b SHA512 784823e5c1dc26cac2f61320b1c0aee232a8582e77fbb0d7a99d1ddc116232c436b0a1fc662fda025f93acee05c49e99a2cffdd6d0f1fa013c82d6475a194aeb
+DIST fuzion-0.082.tar.gz 751728 BLAKE2B d876d8bc762e9f2bee25e93aee0b118721136398f9e6c98e70adc50ce684fdcaa15991448ca748b1ae1f348e5facc442277b600ab3b5a809284144aa2f9b4928 SHA512 17cd56186e0fd7e07d5f592b7f8edc47e2609d0a6df08877c1db773f9ac56d8fd8ce60a1b7cffd918e23e20fad29a4c05c49d95a07cc3bec492e67d749837c83
 EBUILD fuzion-0.080.ebuild 1167 BLAKE2B cfd39d258fcd3c30cca01538cf2e9a1ade8efd619268f05b65949cdbdf4bac970e4617ceb4b16fe85dd5c16c79cfb29d351446bdfe020cbedaa31b3df225ded2 SHA512 cc4f04359e552c451321fab0bacdfdd2a2a7aec66190d2df1d0ac65201fe89960a212e8f742e7767a8a2cc53b0a4bd75921d1062ff9b1967ac87ca04c6743bad
 EBUILD fuzion-0.081.ebuild 1167 BLAKE2B 5264cc60755a49de1751898d8103cf791f1b9181d6ce06c3ce4b1100f971226ace22e5848088d0aaa2858bd5f0d05563916e8a9968a43cfd6f8062bd634f6b34 SHA512 befedccd4c0e28c66e3ba1ee81927cc0b5f5a74dc9b63dde2d04eb366ce52b859ff5d04e2754d410a1edcde1b5303258673e85bd107013908e9f971737196a87
+EBUILD fuzion-0.082.ebuild 1167 BLAKE2B 5264cc60755a49de1751898d8103cf791f1b9181d6ce06c3ce4b1100f971226ace22e5848088d0aaa2858bd5f0d05563916e8a9968a43cfd6f8062bd634f6b34 SHA512 befedccd4c0e28c66e3ba1ee81927cc0b5f5a74dc9b63dde2d04eb366ce52b859ff5d04e2754d410a1edcde1b5303258673e85bd107013908e9f971737196a87
 MISC metadata.xml 678 BLAKE2B 1785e807c53bd64819e1e7510d96a6d81bf316351d38633cd45f506fe79faad7334fb13ca646366c31146f66301dfbe638a71fffee0726867f6863340b7d14f3 SHA512 d61ffbe425b6a6b84dc1f813f279c0e655650e8b5273c69492f1092414ae956c8f1413bda3a87e5a28783a1d219d7d69282eeeaab1c8e6227a04c05ca0bea27b
diff --git a/dev-lang/fuzion/fuzion-0.082.ebuild b/dev-lang/fuzion/fuzion-0.082.ebuild
new file mode 100644
index 0000000000000..207890e5124aa
--- /dev/null
+++ b/dev-lang/fuzion/fuzion-0.082.ebuild
@@ -0,0 +1,55 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit java-pkg-2
+
+DESCRIPTION="A language with a focus on simplicity, safety and correctness"
+HOMEPAGE="https://flang.dev/
+	https://github.com/tokiwa-software/fuzion/"
+SRC_URI="https://github.com/tokiwa-software/${PN}/archive/v${PV}.tar.gz
+	-> ${P}.tar.gz"
+
+LICENSE="GPL-3"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+IUSE="test"
+RESTRICT="!test? ( test )"
+
+RDEPEND=">=virtual/jre-17:*"
+DEPEND=">=virtual/jdk-17:*"
+BDEPEND="test? ( sys-devel/clang:* )"
+
+DOCS=( README.md release_notes.md )
+
+src_compile() {
+	emake -j1
+}
+
+src_test() {
+	emake -j1 run_tests_parallel
+}
+
+src_install() {
+	# Remove unnecessary files from build directory. bug #893450
+	local torm torm_path
+	for torm in tests run_tests.{failures,results} ; do
+		torm_path="${S}"/build/${torm}
+		if [[ -e "${torm_path}" ]] ; then
+			rm -r "${torm_path}" || die "failed to remove ${toremove_path}"
+		fi
+	done
+
+	insinto /usr/share/${PN}
+	doins -r build/.
+	insopts -m755
+	doins -r build/bin
+
+	local bin
+	for bin in fz fzjava ; do
+		dosym -r /usr/share/${PN}/bin/${bin} /usr/bin/${bin}
+	done
+
+	einstalldocs
+}
diff --git a/metadata/.checksum-test-marker b/metadata/.checksum-test-marker
index 70ba6b221c51b..fa6a5c20e6bf7 100644
--- a/metadata/.checksum-test-marker
+++ b/metadata/.checksum-test-marker
@@ -1,4 +1,4 @@
-1684356040 Wed May 17 08:40:40 PM UTC 2023
+1684357844 Wed May 17 09:10:44 PM UTC 2023
 # Testcase for mirror network:
 # Watch the value over a day, if unchanging then
 # one or more mirrors is missing --checksum
diff --git a/metadata/Manifest.gz b/metadata/Manifest.gz
index d6853a60e08e1..23aec6d5eb4b8 100644
--- a/metadata/Manifest.gz
+++ b/metadata/Manifest.gz
diff --git a/metadata/dtd/timestamp.chk b/metadata/dtd/timestamp.chk
index 4de66386ec337..8f64da33043bc 100644
--- a/metadata/dtd/timestamp.chk
+++ b/metadata/dtd/timestamp.chk
@@ -1 +1 @@
-Wed, 17 May 2023 20:40:03 +0000
+Wed, 17 May 2023 21:10:06 +0000
diff --git a/metadata/glsa/Manifest b/metadata/glsa/Manifest
index 0f12152816866..5b1a42811e4e5 100644
--- a/metadata/glsa/Manifest
+++ b/metadata/glsa/Manifest
@@ -2,22 +2,22 @@
 Hash: SHA512
 
 MANIFEST Manifest.files.gz 543888 BLAKE2B da15fb010da91c403608af1847df77a89c9a8a24b2f5c1999256191c31d7755cd7667c19867e75c2bbdd07063f4ce4dd641cf53415eb08b83e35cbb3d2cd35e2 SHA512 ac5e51b2bf8075889870e4eedfe469274eaf28945ed1e974bc76ae0576dc1aa0db2a5fdacfc15e8cfb28486195fad65b487cf50896a207c5fcad4ffae850adbc
-TIMESTAMP 2023-05-17T20:40:07Z
+TIMESTAMP 2023-05-17T21:10:09Z
 -----BEGIN PGP SIGNATURE-----
 
-iQKTBAEBCgB9FiEE4dartjv8+0ugL98c7FkO6skYklAFAmRlO6dfFIAAAAAALgAo
+iQKTBAEBCgB9FiEE4dartjv8+0ugL98c7FkO6skYklAFAmRlQrFfFIAAAAAALgAo
 aXNzdWVyLWZwckBub3RhdGlvbnMub3BlbnBncC5maWZ0aGhvcnNlbWFuLm5ldEUx
 RDZBQkI2M0JGQ0ZCNEJBMDJGREYxQ0VDNTkwRUVBQzkxODkyNTAACgkQ7FkO6skY
-klChoA/9FVZlH5HmNk7WZkxIddLwYklZEbexG0WKLCCk1RQ5Zgkuw/g7gRv8cnlo
-vkNV2kHWc4AMrozE1WmeidG3Sj0SUOmfor4WkIKzZDb4dAtMtVk+lOvVJ/dvJvmt
-RlGp1t4oPuRyG0bh8fF591fwdH9PDjGRxJjXaCrcDPSSdFQkumL6IUCQ7bjB+aKQ
-FJxP351zwviTk26g+eI+G0UlWkvqyYsPGVcpgmJL3LQY3F3siNBwYFXDRpQdQZiB
-5VUfkp6gAlIOanp2nMkTb+ND5i40QxVZO4JlJ0r7o2Q/1CD/qORsTWEaI35rwG27
-ZnDV3MCctOaIvfMRfpxeq0LchhIbSS4Y61pOPT4GtGXdkSISla9xcMQzenST/HRo
-k4G9qnmGg5pOHR9cccGdlrRvZSYab7Q3KYsTtwf4JgTGhJNIeI+tOiJGU+jhAn+m
-iMG0Qpipe0evThnUdmMwkG85KGq+C10vZpNnax7D8LhUgf9CEUglKG6AQajebI6F
-1eQ+7As974z/x1vnBqVQU+EDIOcxUAPWjHtsT9F2oIJuaEFxyumslpX28WCaNxmQ
-Yabm9aqycWwIL7LDNpXaWRKoTwOebKzCMy3i+s5CtX8L7FKldNSErUkekCvI19Ld
-E5FlYN9DGnm9uSyWExFFXXnugdZgOPGFkX4sw+ft7LnF3vOzOs4=
-=B4sJ
+klB6lA//ZgnEAdGlF3hItR12tjE3/3p20UTHY20qJkTLuZPBMKk4LosFPK6sqaig
+LVHxdNXiIGst7AiIV6dUYWdxWI8ASiTuO6nqJQ4w8rvHR24F1hWMZcAg3h4IgFfE
+FlNfWKhMDGhft0zdIg8Xte4VxJxEBZAL/Bm9AQi/Gy7gWGeN4NQdMlGMjpYWV+JR
+pTSFUhvK8o6FS7EJ2E0hCdE1/ZLfCozbr4RUVQDr8fjlKl/41hg3yEJ/AKA4NzJI
+WUm/eIsw6ya43CyqmEfRiawgU2NpfsuD4yJZ0PnGt6dQvD28VkTWkFK7HnF3kYPD
+LdXjI4uaFdwzq3QzLCmO1XsbX7ka7UyQP/utZut0du68RaQEZvzppqUX4lbcVkfH
+iq4P6/a77B5OH0mVdJoB75n6N1ZItX9XA/FXtRXkaNucc5qh4ETe3At2qyWjV0J2
+ePUk6orIdjUkS/PN1uVxNPNLyGX46URPcFWgQIIo1QzONt3cVYkv1GJ/DETbFsRT
+0381Uimin6oP+929g5HSBX2jy2pUWHqrd2ErrvBEn+Kx0czt6T5jww6I86QhPfWf
+Vg8ROznS0m/zLHeVrdbkN6cVwbLwb6/8a1uRSYtuxFHO3Em+d5YfltbNfUp1a353
+TG3dqpqr3tkn1QN61UC9YqHtYafv38GmiDbQB8OCsrLaTWoNwC8=
+=QWyu
 -----END PGP SIGNATURE-----
diff --git a/metadata/glsa/timestamp.chk b/metadata/glsa/timestamp.chk
index 4de66386ec337..fc7a9266158ee 100644
--- a/metadata/glsa/timestamp.chk
+++ b/metadata/glsa/timestamp.chk
@@ -1 +1 @@
-Wed, 17 May 2023 20:40:03 +0000
+Wed, 17 May 2023 21:10:07 +0000
diff --git a/metadata/md5-cache/Manifest.gz b/metadata/md5-cache/Manifest.gz
index 035581a089092..51183f68da736 100644
--- a/metadata/md5-cache/Manifest.gz
+++ b/metadata/md5-cache/Manifest.gz
diff --git a/metadata/md5-cache/dev-lang/Manifest.gz b/metadata/md5-cache/dev-lang/Manifest.gz
index 11647842ef3bf..67118a8f66d9d 100644
--- a/metadata/md5-cache/dev-lang/Manifest.gz
+++ b/metadata/md5-cache/dev-lang/Manifest.gz
diff --git a/metadata/md5-cache/dev-lang/eisl-2.72 b/metadata/md5-cache/dev-lang/eisl-2.93
index f893f842c1845..e21c0c384b302 100644
--- a/metadata/md5-cache/dev-lang/eisl-2.72
+++ b/metadata/md5-cache/dev-lang/eisl-2.93
@@ -4,11 +4,11 @@ DESCRIPTION=Interpreter and compiler compatible with the ISLisp standard
 EAPI=8
 HOMEPAGE=https://github.com/sasagawa888/eisl/
 INHERIT=toolchain-funcs
-KEYWORDS=amd64 ~x86
+KEYWORDS=~amd64 ~x86
 LICENSE=BSD-2
 RDEPEND=sys-libs/ncurses:=
 RESTRICT=test
 SLOT=0
-SRC_URI=https://github.com/sasagawa888/eisl/archive/v2.72.tar.gz -> eisl-2.72.tar.gz
+SRC_URI=https://github.com/sasagawa888/eisl/archive/v2.93.tar.gz -> eisl-2.93.tar.gz
 _eclasses_=multilib	104e1332efb829e2f7cbf89307a474f1	toolchain-funcs	14a8ae365191b518fad51caad7a08f3e
-_md5_=f83f238245e8fc7b2f7002d44a858d3b
+_md5_=933de322d51ba2ee49208ba7d67556a6
diff --git a/metadata/md5-cache/dev-lang/fuzion-0.082 b/metadata/md5-cache/dev-lang/fuzion-0.082
new file mode 100644
index 0000000000000..d5d41947219a3
--- /dev/null
+++ b/metadata/md5-cache/dev-lang/fuzion-0.082
@@ -0,0 +1,16 @@
+BDEPEND=test? ( sys-devel/clang:* )
+DEFINED_PHASES=compile install preinst prepare setup test
+DEPEND=>=virtual/jdk-17:* >=dev-java/java-config-2.2.0-r3
+DESCRIPTION=A language with a focus on simplicity, safety and correctness
+EAPI=8
+HOMEPAGE=https://flang.dev/ https://github.com/tokiwa-software/fuzion/
+INHERIT=java-pkg-2
+IUSE=test
+KEYWORDS=~amd64 ~x86
+LICENSE=GPL-3
+RDEPEND=>=virtual/jre-17:* >=dev-java/java-config-2.2.0-r3
+RESTRICT=!test? ( test )
+SLOT=0
+SRC_URI=https://github.com/tokiwa-software/fuzion/archive/v0.082.tar.gz -> fuzion-0.082.tar.gz
+_eclasses_=java-pkg-2	1794573de2f5124d88b64ee5dc9aabb4	java-utils-2	8c72ea36a4935f626b13a30141d0d39c
+_md5_=567360be7d7fa8c1a88df68f0381d26f
diff --git a/metadata/md5-cache/sci-mathematics/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz
index 5112c30861d7b..df6ba3e0dd4f2 100644
--- a/metadata/md5-cache/sci-mathematics/Manifest.gz
+++ b/metadata/md5-cache/sci-mathematics/Manifest.gz
diff --git a/metadata/md5-cache/sci-mathematics/lean-3.51.0 b/metadata/md5-cache/sci-mathematics/lean-3.51.0
new file mode 100644
index 0000000000000..96f5aa7269282
--- /dev/null
+++ b/metadata/md5-cache/sci-mathematics/lean-3.51.0
@@ -0,0 +1,15 @@
+BDEPEND=>=dev-util/ninja-1.8.2 >=dev-util/cmake-3.20.5
+DEFINED_PHASES=compile configure install postinst prepare test
+DEPEND=dev-libs/gmp:=
+DESCRIPTION=The Lean Theorem Prover
+EAPI=8
+HOMEPAGE=https://leanprover-community.github.io/
+INHERIT=flag-o-matic cmake readme.gentoo-r1
+IUSE=debug +threads
+KEYWORDS=~amd64 ~x86
+LICENSE=Apache-2.0
+RDEPEND=dev-libs/gmp:=
+SLOT=0/3
+SRC_URI=https://github.com/leanprover-community/lean/archive/refs/tags/v3.51.0.tar.gz -> lean-3.51.0.tar.gz
+_eclasses_=cmake	7fb5980de96325cbab639f5b2187357c	flag-o-matic	16483e58fadb0d47b4528f0aa7e171f6	multilib	104e1332efb829e2f7cbf89307a474f1	multiprocessing	b4e253ab22cef7b1085e9b67c7a3b730	ninja-utils	76050953ad5b70d7e09a6ca55558db92	readme.gentoo-r1	204091a2cde6179cd9d3db26d09412d3	toolchain-funcs	14a8ae365191b518fad51caad7a08f3e	xdg-utils	baea6080dd821f5562d715887954c9d3
+_md5_=174ea6327605b316c0ac7e5d08433616
diff --git a/metadata/news/Manifest b/metadata/news/Manifest
index a57af7bd3e27f..512a22c220d6a 100644
--- a/metadata/news/Manifest
+++ b/metadata/news/Manifest
@@ -2,22 +2,22 @@
 Hash: SHA512
 
 MANIFEST Manifest.files.gz 15668 BLAKE2B 449292f439e2a4f4fd7b4726028a046b309262c1c104b330b62b26428794c6a1ff66902103e9c2359f352f474b113cc9c85ddbbb187a374b6211d02e6ca79ff3 SHA512 e7b892ad549ad1d2a69c8cd56f9a18807e1e7a0c3b686e86ad5dca719913cab1270dea7dd5e376d522493285e5a8117f923772e2df0f2019b0c49a02107d6b03
-TIMESTAMP 2023-05-17T20:40:07Z
+TIMESTAMP 2023-05-17T21:10:09Z
 -----BEGIN PGP SIGNATURE-----
 
-iQKTBAEBCgB9FiEE4dartjv8+0ugL98c7FkO6skYklAFAmRlO6dfFIAAAAAALgAo
+iQKTBAEBCgB9FiEE4dartjv8+0ugL98c7FkO6skYklAFAmRlQrFfFIAAAAAALgAo
 aXNzdWVyLWZwckBub3RhdGlvbnMub3BlbnBncC5maWZ0aGhvcnNlbWFuLm5ldEUx
 RDZBQkI2M0JGQ0ZCNEJBMDJGREYxQ0VDNTkwRUVBQzkxODkyNTAACgkQ7FkO6skY
-klBl/RAAlSGK8GrD0j0EHjlb00oV8KMEgtUSFp7gsSRyHH1Jz+SAjL9woIBrj6sX
-9pjnl1NcBAS6rsrWGlBO6pGLiCr0ljgDfZuxxW3SFxgP8BIyb9wcYgUBZ6Plmu7x
-bSmNKRdafw1J6gTYOxhrtuR0VH/N9s0EdWdJhPsXzS2xN0IvHckZ2YaopaXl95WO
-ypUa55xWPbJmMVznoqAVBd0Dy2tGPMRK4a3eN1T4eikpEKMBZzMLzUIBLQ7La6g1
-si6vSpNCr6CgeEj/DtdzR0OUWS0s9N0wMa6gRkOLtoSufeyWIUkZGV6rK7P6T3VS
-VN2bEpyYjjbOQrASBFAtjhARNEnxpROuNZaYtwIAhIJhQcZeJIPosuXz29b4TOfT
-cogfwX+tvRQgQkTA4FO4hgtZ9gTVxQxsAzUueWdC0hha30cYfmQsc57WwVckeSIK
-QRmaxHW6ikBZyb/5VZ/7Fwe0RsfNZkf6TmBYa62hQtpf1QXp5H/daZrlx9jpeVZF
-FUp+IH0zYilfuRI1WFYd5J4UkL4nVEWO7jgi6fkCUAuEZA0fkOtP/TMWBOKneJWI
-aVka6YHsovtq1AP8zJv5VkrcFxvh80YxDduSVTD+BphCr/kJoowyzAze25yJhWD2
-OTN6BcpiZ+rTGtysbkrJhSIuOLxhSIY1GzTItE1hpDxBzdxoWBQ=
-=Dj9n
+klAkTg//afFXIglygaEDB2VF8kiPXO2cSPwILMMI5i0IcSQiRx+xcpAo3os2ZsTK
+wwuxyPtWD+FPzZxmQEKMU3x5T6w6wy+fpHD/+sHZJbWjkt4X9OehfUDr3RLcsUe2
+oqk+ygXNipURT5Mi4d7jcF6FclLQIgcNEf67nfTSLdONZ67XC8ViVmIQv68gu1Oz
+7MzwSLF3xpvcFwi+6y2dznMkJQLFsLMU6+AowlkDzRr0fKT7eFaOhNgTwtn00t+H
+cPAfjIqUD/JHXQ2JQyLuSQAAh9rX6gxQaBmUeGp/i/KEpLCRI78rt6Nk/QN+9Vgm
+vkqr/mR07Rz9K4FCPn08SDfqQlDWkEjoCdgKR53G8BCVe/Vgnu8vyY8NJ8ak95I6
+oc2OXDoO2lEHqVXVQMUMizdlEJaKUGbRyi1O8GdBMvNyp+jQTEs5dbdWbYwbJoA9
+Y8LoR2w+Tgpt7N/nrGrf9w4qLWyY9kQzRwfkQFgx4aGoWauUgF0nOVWT91s0LKSd
+aJBMR4+W1yQbYtmMqJdxqDcP7h7hgiJ2IiWHtSmuwY4gqgf41m9sJUVaD8nYLvPp
+9JV3hX3oqsLPxW8ikBkxVXneDBTOnAPtHbEqOingNxzONCyqfagwrwkcmRbmdgl6
+F7W3kUegUAJgHAS8AyuEbksXLgVCAzrQc4fs5Kad7aZ4RRz4u0I=
+=jvrW
 -----END PGP SIGNATURE-----
diff --git a/metadata/news/timestamp.chk b/metadata/news/timestamp.chk
index 4de66386ec337..fc7a9266158ee 100644
--- a/metadata/news/timestamp.chk
+++ b/metadata/news/timestamp.chk
@@ -1 +1 @@
-Wed, 17 May 2023 20:40:03 +0000
+Wed, 17 May 2023 21:10:07 +0000
diff --git a/metadata/timestamp b/metadata/timestamp
index 9abe64329d12d..1d8494f8c8bf7 100644
--- a/metadata/timestamp
+++ b/metadata/timestamp
@@ -1 +1 @@
-Wed May 17 08:40:03 PM UTC 2023
+Wed May 17 09:10:06 PM UTC 2023
diff --git a/metadata/timestamp.chk b/metadata/timestamp.chk
index b85b7a2c88301..73fd178031c5c 100644
--- a/metadata/timestamp.chk
+++ b/metadata/timestamp.chk
@@ -1 +1 @@
-Wed, 17 May 2023 20:45:01 +0000
+Wed, 17 May 2023 21:15:01 +0000
diff --git a/metadata/timestamp.commit b/metadata/timestamp.commit
index f72a8a1429648..d07275ed75d63 100644
--- a/metadata/timestamp.commit
+++ b/metadata/timestamp.commit
@@ -1 +1 @@
-999703969e37997324a82c6fe3496e078d7fa61f 1684355509 2023-05-17T20:31:49+00:00
+2700367b2e05b7d45e0400d13a6d1256206a2300 1684356310 2023-05-17T20:45:10+00:00
diff --git a/metadata/timestamp.x b/metadata/timestamp.x
index 61ba2ebd9135b..9138fef2efc05 100644
--- a/metadata/timestamp.x
+++ b/metadata/timestamp.x
@@ -1 +1 @@
-1684356001 Wed 17 May 2023 08:40:01 PM UTC
+1684357801 Wed 17 May 2023 09:10:01 PM UTC
diff --git a/metadata/xml-schema/timestamp.chk b/metadata/xml-schema/timestamp.chk
index 4de66386ec337..fc7a9266158ee 100644
--- a/metadata/xml-schema/timestamp.chk
+++ b/metadata/xml-schema/timestamp.chk
@@ -1 +1 @@
-Wed, 17 May 2023 20:40:03 +0000
+Wed, 17 May 2023 21:10:07 +0000
diff --git a/profiles/Manifest.gz b/profiles/Manifest.gz
index 0b2d94cf93bed..d6c25cb2b86d9 100644
--- a/profiles/Manifest.gz
+++ b/profiles/Manifest.gz
diff --git a/profiles/arch/alpha/package.use.mask b/profiles/arch/alpha/package.use.mask
index 083efcc0c2833..3432f1a51219a 100644
--- a/profiles/arch/alpha/package.use.mask
+++ b/profiles/arch/alpha/package.use.mask
@@ -9,11 +9,11 @@ media-gfx/graphicsmagick jpegxl
 media-gfx/imagemagick jpegxl
 media-libs/imlib2 jpegxl
 
-# Matt Turner <tetromino@gentoo.org> (2023-02-15)
+# Matt Turner <mattst88@gentoo.org> (2023-02-15)
 # pandoc not keyworded here, bug #878355
 app-admin/conky doc
 
-# Matt Turner <tetromino@gentoo.org> (2023-02-15)
+# Matt Turner <mattst88@gentoo.org> (2023-02-15)
 # net-libs/libqmi and net-libs/libqrtr-glib are not keyworded here
 net-misc/modemmanager qmi qrtr
 
diff --git a/profiles/arch/s390/use.mask b/profiles/arch/s390/use.mask
index ea07e2cb1eb67..44f73131aeb95 100644
--- a/profiles/arch/s390/use.mask
+++ b/profiles/arch/s390/use.mask
@@ -43,10 +43,6 @@ lua_targets_luajit
 luajit
 luajittex
 
-# Matt Turner <mattst88@gentoo.org> (2019-12-05)
-# media-libs/libglvnd is not keyworded
-libglvnd
-
 # Stuff we don't want/not tested
 R
 octave
diff --git a/profiles/arch/sparc/use.stable.mask b/profiles/arch/sparc/use.stable.mask
index 90f7069f2f544..868e5ba4559ff 100644
--- a/profiles/arch/sparc/use.stable.mask
+++ b/profiles/arch/sparc/use.stable.mask
@@ -4,10 +4,6 @@
 # This file requires eapi 5 or later. New entries go on top.
 # Please use the same syntax as in use.mask
 
-# Matt Turner <mattst88@gentoo.org> (2022-09-16)
-# gui-libs/gtk is not stable here
-gtk4
-
 # Sam James <sam@gentoo.org> (2021-04-27)
 # Clang and friends aren't (yet?) stable on sparc
 clang
diff --git a/profiles/base/package.use.mask b/profiles/base/package.use.mask
index 0af297a70e2b8..2625b69bfa35c 100644
--- a/profiles/base/package.use.mask
+++ b/profiles/base/package.use.mask
@@ -447,11 +447,6 @@ net-wireless/gr-osmosdr xtrx
 # app-text/ots is masked for removal.  Bug #648964.
 app-office/abiword ots
 
-# Matt Turner <mattst88@gentoo.org> (2020-12-05)
-# Relies on gtkdoc-mktmpl which was removed from gtk-doc-1.26
-# Bug #740690
-x11-libs/colord-gtk doc
-
 # Michał Górny <mgorny@gentoo.org> (2020-12-04)
 # Mask the experimental targets in release ebuilds.
 # Note to self: remember to move still-applicable masks to the newer
diff --git a/profiles/base/use.force b/profiles/base/use.force
index 22123a5fe9080..fa5f73a673862 100644
--- a/profiles/base/use.force
+++ b/profiles/base/use.force
@@ -1,11 +1,6 @@
 # Copyright 1999-2023 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
-# Matt Turner <mattst88@gentoo.org> (2020-08-11)
-# Force USE=libglvnd in order to mask app-eselect/eselect-opengl for removal.
-# This USE flag will be removed completely in the near future. Bug #728286
-libglvnd
-
 # Mike Gilbert <floppym@gentoo.org> (2019-07-20)
 # Disabling this requires a migration to be performed.
 split-usr
diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz
index 9ac50ee9d6969..8413a60f476a7 100644
--- a/sci-mathematics/Manifest.gz
+++ b/sci-mathematics/Manifest.gz
diff --git a/sci-mathematics/lean/Manifest b/sci-mathematics/lean/Manifest
index 6f5274d967b54..11cf1372a1739 100644
--- a/sci-mathematics/lean/Manifest
+++ b/sci-mathematics/lean/Manifest
@@ -2,7 +2,9 @@ AUX lean-3.50.3-gcc-13.patch 263 BLAKE2B cf589616f4612319bbe1d21e798787a72da3d0f
 AUX lean-CMakeLists-fix_flags.patch 1285 BLAKE2B 0507e553c1acf2a53c5267932127117d5ae5ba9015a08c88748b3d82c041f8d904d15cd033dd7934ac55c474fa75a5d4a46f680cc887fee37c05c3f5f3832839 SHA512 11a5918847e45aac7bf79e48d8f881ef5cd3e6b09dbb0979f3f0b88fd36458be21ebeb530158da801399a0cdc8fe382444ff338cd793cd9f1bfced90c5d5a71b
 DIST lean-3.49.0.tar.gz 1918154 BLAKE2B 9f9973d00d2d5d5b7d26d50117c27754feb5132e88decd55859432a384dac2897184dcf8d841ad0034854657ac25e462dc69cdbe1cf2040787d108bb7e1370f4 SHA512 b4672843c2e923da8d56b91c14966fc2ec66c573564d68db9c52f9b40f2c97d82497f2ef6424b023c4ae50f6f0c11674e2d79053844ea669d226d0fe24077ade
 DIST lean-3.50.3.tar.gz 1918462 BLAKE2B f8cb3857989e4966c12a9b4f4a13403ceab0ae9d33ddf81970ef886fb1f46bfd14bfc15aea498ea360cc801224c60489f0ce3b33fe10bead4dcbf3f6a06eee93 SHA512 849b9e8854585ce119f87e8bea655bcb834f1f986bccbf5ffa148fd4a1aae2030b6be938adbf377f0076361a3d9338802e1af8965f01b9c4d2a0517be330beef
+DIST lean-3.51.0.tar.gz 1918905 BLAKE2B 83131417011d89846084608fc9b6b5b8254584da63b2e2d7626064a170c3bd3780973483ce60afc49713df840e150c4ed92951bfd7fbdeb520791e58164313cd SHA512 712c5520d298cf7098f5e5d787ba91096d73ba08a15581f4478836c7790679950a1a0b0d7d9c876b1557ae7dc56b10430ac1b4227b5d30ac1ad398e196c2fb11
 EBUILD lean-3.49.0.ebuild 1767 BLAKE2B 8b4c2d7aea54b4e93e2f284bf78129fd47ee1d4de6bd2e867151c2e8e3d52c1cf52d1323cd03107c0a30555b94284347a94aa859918e135db9e86fc6559f2352 SHA512 270450c4cb4f7ff4cf8e4f6e4432551d6ba92ba44c86a97797488f471f0c5882afc0f33985bed59a529a7f134e963a5bd10836cb7fff6ba0910f6f831821a75a
 EBUILD lean-3.50.3.ebuild 1816 BLAKE2B f3d86e33359cb09f3d671218ddbf41a17a360f09bdf1af55e721357b043f337106897628b31a159b791cdfb7afcaf56aff065be16260669529c3b9376643927c SHA512 87d6e40d19b301555f281e330118ff2312abf5e8bbc260b89219e75287c34017a697521e7962e6df914155bc5b84606b32eeec1a53a57413661f5eefc186155e
+EBUILD lean-3.51.0.ebuild 1816 BLAKE2B f3d86e33359cb09f3d671218ddbf41a17a360f09bdf1af55e721357b043f337106897628b31a159b791cdfb7afcaf56aff065be16260669529c3b9376643927c SHA512 87d6e40d19b301555f281e330118ff2312abf5e8bbc260b89219e75287c34017a697521e7962e6df914155bc5b84606b32eeec1a53a57413661f5eefc186155e
 EBUILD lean-3.9999.ebuild 1816 BLAKE2B f3d86e33359cb09f3d671218ddbf41a17a360f09bdf1af55e721357b043f337106897628b31a159b791cdfb7afcaf56aff065be16260669529c3b9376643927c SHA512 87d6e40d19b301555f281e330118ff2312abf5e8bbc260b89219e75287c34017a697521e7962e6df914155bc5b84606b32eeec1a53a57413661f5eefc186155e
 MISC metadata.xml 606 BLAKE2B 6478d84a762a59082fdea0a11a95b27c093782228c48dba58dc490ea9ac2cecef54cc3101dc98e385f3a29f85d84af21b7d2ae1a9f089ee0313158ecb44eb0e7 SHA512 02d2ac07b155c7a04c857d397d476a39864d02b10dd81c5830db5e21eb86c6dcff26da552a04717f5f587b326ddf8e2e8d27f1a138f88b391f0199d8004d8cb7
diff --git a/sci-mathematics/lean/lean-3.51.0.ebuild b/sci-mathematics/lean/lean-3.51.0.ebuild
new file mode 100644
index 0000000000000..72a23985077c0
--- /dev/null
+++ b/sci-mathematics/lean/lean-3.51.0.ebuild
@@ -0,0 +1,80 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+MAJOR=$(ver_cut 1)
+CMAKE_IN_SOURCE_BUILD="ON"
+
+inherit flag-o-matic cmake readme.gentoo-r1
+
+DESCRIPTION="The Lean Theorem Prover"
+HOMEPAGE="https://leanprover-community.github.io/"
+
+if [[ ${PV} == *9999* ]] ; then
+	inherit git-r3
+	EGIT_REPO_URI="https://github.com/leanprover-community/lean.git"
+else
+	SRC_URI="https://github.com/leanprover-community/lean/archive/refs/tags/v${PV}.tar.gz -> ${P}.tar.gz"
+	KEYWORDS="~amd64 ~x86"
+fi
+S="${S}/src"
+
+LICENSE="Apache-2.0"
+SLOT="0/${MAJOR}"
+IUSE="debug +threads"
+
+RDEPEND="dev-libs/gmp:="
+DEPEND="${RDEPEND}"
+
+PATCHES=(
+	"${FILESDIR}"/${PN}-3.50.3-gcc-13.patch
+	"${FILESDIR}"/${PN}-CMakeLists-fix_flags.patch
+)
+
+src_configure() {
+	local CMAKE_BUILD_TYPE
+	if use debug; then
+		CMAKE_BUILD_TYPE="Debug"
+	else
+		CMAKE_BUILD_TYPE="Release"
+	fi
+
+	filter-lto
+
+	local -a mycmakeargs=(
+		-DALPHA=ON
+		-DAUTO_THREAD_FINALIZATION=ON
+		-DJSON=ON  # bug 833900
+		-DLEAN_EXTRA_CXX_FLAGS="${CXXFLAGS}"
+		-DMULTI_THREAD=$(usex threads)
+		-DUSE_GITHASH=OFF
+	)
+	cmake_src_configure
+}
+
+src_test() {
+	local -a myctestargs=(
+		# Disable problematic "style_check" cpplint test,
+		# this also removes the python test dependency
+		--exclude-regex style_check
+	)
+	cmake_src_test
+}
+
+src_install() {
+	cmake_src_install
+
+	local DISABLE_AUTOFORMATTING="yes"
+	local DOC_CONTENTS="You probably want to use lean with mathlib, you can either:
+	- Do not install mathlib globally and use local versions
+	- Use leanproject from sci-mathematics/mathlib-tools
+		$ leanproject global-install
+	- Use leanpkg and compile mathlib (which will take some time)
+		$ leanpkg install https://github.com/leanprover-community/mathlib"
+	readme.gentoo_create_doc
+}
+
+pkg_postinst() {
+	readme.gentoo_print_elog
+}
diff --git a/sys-auth/Manifest.gz b/sys-auth/Manifest.gz
index 1719ee9679ccd..2e0198f1bdf89 100644
--- a/sys-auth/Manifest.gz
+++ b/sys-auth/Manifest.gz
diff --git a/sys-auth/elogind/Manifest b/sys-auth/elogind/Manifest
index d5d353b410604..b4d1545619d83 100644
--- a/sys-auth/elogind/Manifest
+++ b/sys-auth/elogind/Manifest
@@ -2,7 +2,7 @@ AUX elogind-241.4-broken-test.patch 436 BLAKE2B 204591800f415b00535bcd520435ea91
 AUX elogind-243.7-nodocs.patch 999 BLAKE2B f4fc95f14ce0412e88bb8b2a001975fae3b42bdf82c1f23b28e4b2cc635d92722c6317ac919bedd1dfbcc47faf4a177d6662b3b04569ce993e1b8fd5ce8bde15 SHA512 87c6072f95b9fe752324ae8dce576a70f795c31115f4b7478cd66c0ab22e50d0035620b5a278f042bc95635423056b1a7984ed81b32e9011dee84b9a5dec7566
 AUX elogind-246.10-clang-undefined-symbol.patch 1090 BLAKE2B aaad5048696084e0a010c9a6716a91af686d76199e4e7e83d7857c02f782e18e2c7c8a716677372dda115d19b54290db55c62a5c32deb3553d0341495aa73937 SHA512 6766eb5d34135cd581d50f8a9eabda4826731368234522d1c5a94775d54f4d90b1195348ad7a0f6f2af0e2460a9d359859072c57c41085b92707f7044ab46956
 AUX elogind-246.10-loong.patch 1493 BLAKE2B 40fbeae11f4f8387e0880e0ad91dc42577e0e8b160a0d916471ae852b5e40ff425b85668c04cb1e54c7f7087d05f3fcf0216938616b07bb413dfcc7be2220f34 SHA512 befb95281c83ec0421a16e26402c58a49d8a3c9e3100c8c164c1537073be5af2416ac2561271d7e4965d88c2693e8e2face3ca0b486bbef2f00216fa0c20396f
-AUX elogind-246.10-musl-selinux.patch 3849 BLAKE2B a197f3e3926678151e2b49213389fb00bd9ce5426e4571629ae10563a4968e3eb307cacb87a6c3dfc8cbbf20335f2ef8cb4ea9403b593f5181d47d050b5d0636 SHA512 d105a47297c0f4767389ecf6573df38ccb9079c4d12d960b93f3ac31ed6abc1b226a4cfc32519354d7e01c0edfd8c04dc219a9b9a0380c673a653bccd3c6afc7
+AUX elogind-246.10-musl-selinux.patch 3857 BLAKE2B 831b48c0b7eff35099325ca586ac39ed4c477c9298aa740da85d82c05625aeeab47aff4b19eb10318834f9d6e8256079e9c148c19f66d65b2a7433e2baeecf51 SHA512 9db4f7e1c4bcf7bbf743c89ce36162b3976f116ca0257081d6e74f46dab67b6f9bd3db8e33b06dd6a334fa1d20d513a631220924028ec330af815434adac85c3
 AUX elogind-246.10-revert-polkit-automagic.patch 1345 BLAKE2B 115c8f38f23b140b5f232cb80fa2486ad90895a0fad3717d79302ac2205fa260d35aab9fdbc98bf490790749b109d32f59cfee166da26a9457676943cf6a57b7 SHA512 84e7b8e09ffd41bd0ea466e4f7fbc333c42544d9ed6877b881dc68c55607e81406ca977c3c0c045db8e151f76df1c7c813395ccb73b6e38583ddd40c642244f1
 AUX elogind.conf.in 218 BLAKE2B 7ee0a72c4a628a233fdbb2d3104487859aaa7e5c4f2624e5a4eafb37ed90fb8f64349b1a8acc92e69ec618496bb7f6263b7a5d0fe15a1afe1c03f5955743f079 SHA512 2c62ab28d7db9cd52489069f80363159000385a25dd7f2afe5a03598a0b7a1f61af7c18df71f6286e72f5966e55b62a4029e30cb786dd813bb201b9e20adccd7
 AUX elogind.init 490 BLAKE2B 71c102f89a71a2963da50b153d8696a9480d81caa48e8422e7f39614e9bfb0b09037bc4dea202c3735e170140752429dd54747b99941d861453b4714dcb98819 SHA512 60fe1cb55ec0f605f06fb3744a0300accebfc14c4ecd24b7db2e8b0cb1537e816a4a4ccbc4b2eeac45e2f3ca8942dd10d24bdcd814cccbc2ceed198b2657238a
diff --git a/sys-auth/elogind/files/elogind-246.10-musl-selinux.patch b/sys-auth/elogind/files/elogind-246.10-musl-selinux.patch
index 433184edd1025..c36861b983e23 100644
--- a/sys-auth/elogind/files/elogind-246.10-musl-selinux.patch
+++ b/sys-auth/elogind/files/elogind-246.10-musl-selinux.patch
@@ -72,7 +72,7 @@ not otherwise.
          before_timestamp = now(CLOCK_MONOTONIC);
  
          label_hnd = selabel_open(SELABEL_CTX_FILE, NULL, 0);
-@@ -95,14 +106,16 @@ int mac_selinux_init(void) {
+@@ -95,14 +107,17 @@ int mac_selinux_init(void) {
                  return log_enforcing_errno(errno, "Failed to initialize SELinux labeling handle: %m");
  
          after_timestamp = now(CLOCK_MONOTONIC);
@@ -91,6 +91,7 @@ not otherwise.
 +#else
 +        log_debug("Successfully loaded SELinux database in %s.",
 +                  format_timespan(timespan, sizeof(timespan), after_timestamp - before_timestamp, 0));
++#endif
  #endif
          return 0;
  }