gentoo auto-resync : 27:12:2023 - 07:43:26

5 files changed, 21 insertions, 21 deletions

diff --git a/metadata/md5-cache/dev-lang/Manifest.gz b/metadata/md5-cache/dev-lang/Manifest.gz
index e53d7923dc64..f39612b0ecff 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/elpi-1.16.10 b/metadata/md5-cache/dev-lang/elpi-1.16.10
deleted file mode 100644
index f5b1842c3e29..000000000000
--- a/metadata/md5-cache/dev-lang/elpi-1.16.10
+++ /dev/null
@@ -1,16 +0,0 @@
-BDEPEND=test? ( dev-ml/ANSITerminal dev-ml/cmdliner ) dev-lang/ocaml dev-ml/dune
-DEFINED_PHASES=compile install test
-DEPEND=>=dev-lang/ocaml-4.08.0:= >=dev-ml/menhir-20211230:= dev-ml/atd:= dev-ml/ppx_deriving:= dev-ml/ppxlib:= dev-ml/re:= dev-ml/stdlib-shims:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
-DESCRIPTION=Embeddable Lambda Prolog Interpreter in OCaml
-EAPI=8
-HOMEPAGE=https://github.com/LPCIC/elpi/
-INHERIT=dune
-IUSE=+ocamlopt test
-KEYWORDS=~amd64
-LICENSE=LGPL-2.1+
-RDEPEND=>=dev-lang/ocaml-4.08.0:= >=dev-ml/menhir-20211230:= dev-ml/atd:= dev-ml/ppx_deriving:= dev-ml/ppxlib:= dev-ml/re:= dev-ml/stdlib-shims:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
-RESTRICT=!test? ( test )
-SLOT=0/1.16.10
-SRC_URI=https://github.com/LPCIC/elpi/archive/v1.16.10.tar.gz -> elpi-1.16.10.tar.gz
-_eclasses_=dune	beddc7cde467b2e48afc78a87d042c01	edo	c0eb9cbe6b0bd01fcb4918f12598a4d3	multiprocessing	30ead54fa2e2b5f9cd4e612ffc34d0fe
-_md5_=60d31eb0a431e41d305f156a1028c241
diff --git a/metadata/md5-cache/dev-lang/elpi-1.16.9 b/metadata/md5-cache/dev-lang/elpi-1.17.4
index e2478ba910ed..44dcbb2899e5 100644
--- a/metadata/md5-cache/dev-lang/elpi-1.16.9
+++ b/metadata/md5-cache/dev-lang/elpi-1.17.4
@@ -10,7 +10,7 @@ KEYWORDS=~amd64
 LICENSE=LGPL-2.1+
 RDEPEND=>=dev-lang/ocaml-4.08.0:= >=dev-ml/menhir-20211230:= dev-ml/atd:= dev-ml/ppx_deriving:= dev-ml/ppxlib:= dev-ml/re:= dev-ml/stdlib-shims:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
 RESTRICT=!test? ( test )
-SLOT=0/1.16.9
-SRC_URI=https://github.com/LPCIC/elpi/archive/v1.16.9.tar.gz -> elpi-1.16.9.tar.gz
+SLOT=0/1.17.4
+SRC_URI=https://github.com/LPCIC/elpi/archive/v1.17.4.tar.gz -> elpi-1.17.4.tar.gz
 _eclasses_=dune	beddc7cde467b2e48afc78a87d042c01	edo	c0eb9cbe6b0bd01fcb4918f12598a4d3	multiprocessing	30ead54fa2e2b5f9cd4e612ffc34d0fe
 _md5_=60d31eb0a431e41d305f156a1028c241
diff --git a/metadata/md5-cache/dev-lang/idris2-0.7.0 b/metadata/md5-cache/dev-lang/idris2-0.7.0
new file mode 100644
index 000000000000..1ca2e4652702
--- /dev/null
+++ b/metadata/md5-cache/dev-lang/idris2-0.7.0
@@ -0,0 +1,16 @@
+BDEPEND=doc? ( dev-python/sphinx-rtd-theme ) test-full? ( dev-scheme/chez[threads] dev-scheme/racket[threads] net-libs/nodejs )
+DEFINED_PHASES=compile configure install prepare pretend setup test
+DEPEND=dev-libs/gmp:= chez? ( dev-scheme/chez:=[threads] ) racket? ( dev-scheme/racket:=[threads] )
+DESCRIPTION=Purely functional programming language with first class types
+EAPI=8
+HOMEPAGE=https://idris-lang.org/
+INHERIT=check-reqs toolchain-funcs
+IUSE=+chez doc racket test-full
+KEYWORDS=~amd64 ~x86
+LICENSE=BSD
+RDEPEND=dev-libs/gmp:= chez? ( dev-scheme/chez:=[threads] ) racket? ( dev-scheme/racket:=[threads] )
+REQUIRED_USE=^^ ( chez racket )
+SLOT=0
+SRC_URI=https://github.com/idris-lang/Idris2/archive/v0.7.0.tar.gz -> idris2-0.7.0.tar.gz
+_eclasses_=check-reqs	02ac7654b64f7acc7a8b1a35ad9d6ddc	multilib	c19072c3cd7ac5cb21de013f7e9832e0	toolchain-funcs	e56c7649b804f051623c8bc1a1c44084
+_md5_=7af149a101cef0bd0cf43309363dbcfa
diff --git a/metadata/md5-cache/dev-lang/luau-0.601 b/metadata/md5-cache/dev-lang/luau-0.607
index f6430ff66136..705ea2e94130 100644
--- a/metadata/md5-cache/dev-lang/luau-0.601
+++ b/metadata/md5-cache/dev-lang/luau-0.607
@@ -4,9 +4,9 @@ DESCRIPTION=Gradually typed embeddable scripting language derived from Lua
 EAPI=8
 HOMEPAGE=https://luau-lang.org/ https://github.com/Roblox/luau/
 INHERIT=cmake
-KEYWORDS=amd64 ~x86
+KEYWORDS=~amd64 ~x86
 LICENSE=MIT
 SLOT=0
-SRC_URI=https://github.com/Roblox/luau/archive/0.601.tar.gz -> luau-0.601.tar.gz
+SRC_URI=https://github.com/Roblox/luau/archive/0.607.tar.gz -> luau-0.607.tar.gz
 _eclasses_=cmake	0f2e0c197fad0312f3c4765c9cf36271	flag-o-matic	78cf3cc2d5572fddf5e5e10c70f7c81a	multilib	c19072c3cd7ac5cb21de013f7e9832e0	multiprocessing	30ead54fa2e2b5f9cd4e612ffc34d0fe	ninja-utils	c8951c1dfcc1d43e3f967f61fd0ec59c	toolchain-funcs	e56c7649b804f051623c8bc1a1c44084	xdg-utils	baea6080dd821f5562d715887954c9d3
-_md5_=84e65d7cef5328cd3e71bb10e9d36ecf
+_md5_=1b9b486682f0145bc04b4d6a58517733