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

6 files changed, 34 insertions, 3 deletions

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