gentoo auto-resync : 30:04:2024 - 00:00:01

4 files changed, 20 insertions, 5 deletions

diff --git a/metadata/md5-cache/dev-lang/Manifest.gz b/metadata/md5-cache/dev-lang/Manifest.gz
index e3845d0beb61..d8c71e17211d 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/dafny-bin-4.6.0 b/metadata/md5-cache/dev-lang/dafny-bin-4.6.0
index e3561a95fcdc..8b620dae656f 100644
--- a/metadata/md5-cache/dev-lang/dafny-bin-4.6.0
+++ b/metadata/md5-cache/dev-lang/dafny-bin-4.6.0
@@ -3,11 +3,11 @@ DEFINED_PHASES=install prepare
 DESCRIPTION=Verification-aware programming language
 EAPI=8
 HOMEPAGE=https://dafny.org/ https://github.com/dafny-lang/dafny/
-KEYWORDS=-* ~amd64
+KEYWORDS=-* amd64
 LICENSE=MIT
 RDEPEND=!dev-lang/dafny dev-libs/userspace-rcu dev-util/lttng-ust:0/2.12 sci-mathematics/z3
 REQUIRED_USE=elibc_glibc
 RESTRICT=strip
 SLOT=0
 SRC_URI=https://github.com/dafny-lang/dafny/releases/download/v4.6.0/dafny-4.6.0-x64-ubuntu-20.04.zip
-_md5_=8f26cc80523a57eb856596b84d0e5400
+_md5_=30234a204b5b862b655f6379daa4356b
diff --git a/metadata/md5-cache/dev-lang/ocaml-4.14.2 b/metadata/md5-cache/dev-lang/ocaml-4.14.2
new file mode 100644
index 000000000000..5ffa005d3aa3
--- /dev/null
+++ b/metadata/md5-cache/dev-lang/ocaml-4.14.2
@@ -0,0 +1,15 @@
+BDEPEND=sys-libs/binutils-libs:= virtual/pkgconfig
+DEFINED_PHASES=compile configure install prepare test
+DESCRIPTION=Programming language supporting functional, imperative & object-oriented styles
+EAPI=8
+HOMEPAGE=https://ocaml.org/
+INHERIT=flag-o-matic
+IUSE=emacs flambda latex +ocamlopt xemacs
+KEYWORDS=~amd64 ~arm ~arm64 ~hppa ~ia64 ~loong ~mips ~ppc ~ppc64 ~riscv ~sparc ~x86 ~amd64-linux ~x86-linux ~ppc-macos
+LICENSE=QPL-1.0 LGPL-2
+PDEPEND=emacs? ( app-emacs/ocaml-mode ) xemacs? ( app-xemacs/ocaml )
+RDEPEND=sys-libs/binutils-libs:=
+SLOT=0/4.14.2
+SRC_URI=https://github.com/ocaml/ocaml/archive/4.14.2.tar.gz -> ocaml-4.14.2.tar.gz
+_eclasses_=flag-o-matic	288c54efeb5e2aa70775e39032695ad4	multilib	c19072c3cd7ac5cb21de013f7e9832e0	toolchain-funcs	e56c7649b804f051623c8bc1a1c44084
+_md5_=c53bec3c109895f8bf90811ecdf8f846
diff --git a/metadata/md5-cache/dev-lang/rust-bin-1.77.1 b/metadata/md5-cache/dev-lang/rust-bin-1.77.1
index 94d3c1c04537..53b0a4da0102 100644
--- a/metadata/md5-cache/dev-lang/rust-bin-1.77.1
+++ b/metadata/md5-cache/dev-lang/rust-bin-1.77.1
@@ -5,12 +5,12 @@ EAPI=8
 HOMEPAGE=https://www.rust-lang.org/
 INHERIT=multilib prefix rust-toolchain toolchain-funcs verify-sig multilib-minimal
 IUSE=big-endian clippy cpu_flags_x86_sse2 doc prefix profiler rust-analyzer rust-src rustfmt abi_x86_32 abi_x86_64 abi_x86_x32 abi_mips_n32 abi_mips_n64 abi_mips_o32 abi_s390_32 abi_s390_64 verify-sig
-KEYWORDS=amd64 ~arm arm64 ~loong ~ppc ~ppc64 ~riscv ~s390 ~x86
+KEYWORDS=amd64 ~arm arm64 ~loong ~mips ~ppc ~ppc64 ~riscv ~s390 ~sparc ~x86
 LICENSE=|| ( MIT Apache-2.0 ) BSD BSD-1 BSD-2 BSD-4
 RDEPEND=>=app-eselect/eselect-rust-20190311 dev-libs/openssl sys-apps/lsb-release sys-devel/gcc:*
 REQUIRED_USE=x86? ( cpu_flags_x86_sse2 )
 RESTRICT=strip
 SLOT=stable
-SRC_URI=abi_x86_32? ( https://static.rust-lang.org/dist/rust-1.77.1-i686-unknown-linux-gnu.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.77.1-i686-unknown-linux-gnu.tar.xz.asc ) ) abi_x86_64? ( elibc_glibc? ( https://static.rust-lang.org/dist/rust-1.77.1-x86_64-unknown-linux-gnu.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.77.1-x86_64-unknown-linux-gnu.tar.xz.asc ) ) elibc_musl? ( https://static.rust-lang.org/dist/rust-1.77.1-x86_64-unknown-linux-musl.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.77.1-x86_64-unknown-linux-musl.tar.xz.asc ) ) ) arm? ( https://static.rust-lang.org/dist/rust-1.77.1-arm-unknown-linux-gnueabi.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.77.1-arm-unknown-linux-gnueabi.tar.xz.asc ) https://static.rust-lang.org/dist/rust-1.77.1-arm-unknown-linux-gnueabihf.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.77.1-arm-unknown-linux-gnueabihf.tar.xz.asc ) https://static.rust-lang.org/dist/rust-1.77.1-armv7-unknown-linux-gnueabihf.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.77.1-armv7-unknown-linux-gnueabihf.tar.xz.asc ) ) arm64? ( elibc_glibc? ( https://static.rust-lang.org/dist/rust-1.77.1-aarch64-unknown-linux-gnu.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.77.1-aarch64-unknown-linux-gnu.tar.xz.asc ) ) elibc_musl? ( https://static.rust-lang.org/dist/rust-1.77.1-aarch64-unknown-linux-musl.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.77.1-aarch64-unknown-linux-musl.tar.xz.asc ) ) ) ppc? ( https://static.rust-lang.org/dist/rust-1.77.1-powerpc-unknown-linux-gnu.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.77.1-powerpc-unknown-linux-gnu.tar.xz.asc ) ) ppc64? ( big-endian? ( https://static.rust-lang.org/dist/rust-1.77.1-powerpc64-unknown-linux-gnu.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.77.1-powerpc64-unknown-linux-gnu.tar.xz.asc ) ) !big-endian? ( https://static.rust-lang.org/dist/rust-1.77.1-powerpc64le-unknown-linux-gnu.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.77.1-powerpc64le-unknown-linux-gnu.tar.xz.asc ) ) ) riscv? ( https://static.rust-lang.org/dist/rust-1.77.1-riscv64gc-unknown-linux-gnu.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.77.1-riscv64gc-unknown-linux-gnu.tar.xz.asc ) ) s390? ( https://static.rust-lang.org/dist/rust-1.77.1-s390x-unknown-linux-gnu.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.77.1-s390x-unknown-linux-gnu.tar.xz.asc ) ) loong? ( https://static.rust-lang.org/dist/rust-1.77.1-loongarch64-unknown-linux-gnu.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.77.1-loongarch64-unknown-linux-gnu.tar.xz.asc ) ) rust-src? ( https://static.rust-lang.org/dist/2024-03-28/rust-src-1.77.1.tar.xz )
+SRC_URI=abi_x86_32? ( https://static.rust-lang.org/dist/rust-1.77.1-i686-unknown-linux-gnu.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.77.1-i686-unknown-linux-gnu.tar.xz.asc ) ) abi_x86_64? ( elibc_glibc? ( https://static.rust-lang.org/dist/rust-1.77.1-x86_64-unknown-linux-gnu.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.77.1-x86_64-unknown-linux-gnu.tar.xz.asc ) ) elibc_musl? ( https://static.rust-lang.org/dist/rust-1.77.1-x86_64-unknown-linux-musl.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.77.1-x86_64-unknown-linux-musl.tar.xz.asc ) ) ) arm? ( https://static.rust-lang.org/dist/rust-1.77.1-arm-unknown-linux-gnueabi.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.77.1-arm-unknown-linux-gnueabi.tar.xz.asc ) https://static.rust-lang.org/dist/rust-1.77.1-arm-unknown-linux-gnueabihf.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.77.1-arm-unknown-linux-gnueabihf.tar.xz.asc ) https://static.rust-lang.org/dist/rust-1.77.1-armv7-unknown-linux-gnueabihf.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.77.1-armv7-unknown-linux-gnueabihf.tar.xz.asc ) ) arm64? ( elibc_glibc? ( https://static.rust-lang.org/dist/rust-1.77.1-aarch64-unknown-linux-gnu.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.77.1-aarch64-unknown-linux-gnu.tar.xz.asc ) ) elibc_musl? ( https://static.rust-lang.org/dist/rust-1.77.1-aarch64-unknown-linux-musl.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.77.1-aarch64-unknown-linux-musl.tar.xz.asc ) ) ) ppc? ( https://static.rust-lang.org/dist/rust-1.77.1-powerpc-unknown-linux-gnu.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.77.1-powerpc-unknown-linux-gnu.tar.xz.asc ) ) ppc64? ( big-endian? ( https://static.rust-lang.org/dist/rust-1.77.1-powerpc64-unknown-linux-gnu.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.77.1-powerpc64-unknown-linux-gnu.tar.xz.asc ) ) !big-endian? ( https://static.rust-lang.org/dist/rust-1.77.1-powerpc64le-unknown-linux-gnu.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.77.1-powerpc64le-unknown-linux-gnu.tar.xz.asc ) ) ) riscv? ( https://static.rust-lang.org/dist/rust-1.77.1-riscv64gc-unknown-linux-gnu.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.77.1-riscv64gc-unknown-linux-gnu.tar.xz.asc ) ) s390? ( https://static.rust-lang.org/dist/rust-1.77.1-s390x-unknown-linux-gnu.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.77.1-s390x-unknown-linux-gnu.tar.xz.asc ) ) loong? ( https://static.rust-lang.org/dist/rust-1.77.1-loongarch64-unknown-linux-gnu.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.77.1-loongarch64-unknown-linux-gnu.tar.xz.asc ) ) rust-src? ( https://static.rust-lang.org/dist/2024-03-28/rust-src-1.77.1.tar.xz ) sparc? ( https://dev.gentoo.org/~arthurzam/distfiles/dev-lang/rust-bin/rust-1.77.1-sparc64-unknown-linux-gnu.tar.xz ) mips? ( abi_mips_o32? ( big-endian? ( https://dev.gentoo.org/~arthurzam/distfiles/dev-lang/rust-bin/rust-1.77.1-mips-unknown-linux-gnu.tar.xz ) !big-endian? ( https://dev.gentoo.org/~arthurzam/distfiles/dev-lang/rust-bin/rust-1.77.1-mipsel-unknown-linux-gnu.tar.xz ) ) abi_mips_n64? ( big-endian? ( https://dev.gentoo.org/~arthurzam/distfiles/dev-lang/rust-bin/rust-1.77.1-mips64-unknown-linux-gnuabi64.tar.xz ) !big-endian? ( https://dev.gentoo.org/~arthurzam/distfiles/dev-lang/rust-bin/rust-1.77.1-mips64el-unknown-linux-gnuabi64.tar.xz ) ) )
 _eclasses_=multibuild	d67e78a235f541871c7dfe4cf7931489	multilib	c19072c3cd7ac5cb21de013f7e9832e0	multilib-build	e8aed98bd43dbd25694310a660ad562c	multilib-minimal	4b0f1857965db8869a729948d5277e0b	out-of-source-utils	1a9007554652a6e627edbccb3c25a439	prefix	eab3c99d77fe00506c109c8a736186f7	rust-toolchain	ab72acc17f5dea7b8fadd410d34b798c	toolchain-funcs	e56c7649b804f051623c8bc1a1c44084	verify-sig	a79ba011daaf532d71a219182474d150
-_md5_=3f34ac98fad6f2ec53aa2d25d2846d9b
+_md5_=1b6a6d95e5414ce0ab76026c4fe22329