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

18 files changed, 71 insertions, 40 deletions

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