From 4c2b70adc6484c35ff05e412de08a7b7f50cfb34 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Tue, 30 Apr 2024 00:00:01 +0100 Subject: gentoo auto-resync : 30:04:2024 - 00:00:01 --- metadata/md5-cache/dev-lang/Manifest.gz | Bin 46984 -> 47144 bytes metadata/md5-cache/dev-lang/dafny-bin-4.6.0 | 4 ++-- metadata/md5-cache/dev-lang/ocaml-4.14.2 | 15 +++++++++++++++ metadata/md5-cache/dev-lang/rust-bin-1.77.1 | 6 +++--- 4 files changed, 20 insertions(+), 5 deletions(-) create mode 100644 metadata/md5-cache/dev-lang/ocaml-4.14.2 (limited to 'metadata/md5-cache/dev-lang') diff --git a/metadata/md5-cache/dev-lang/Manifest.gz b/metadata/md5-cache/dev-lang/Manifest.gz index e3845d0beb61..d8c71e17211d 100644 Binary files a/metadata/md5-cache/dev-lang/Manifest.gz and b/metadata/md5-cache/dev-lang/Manifest.gz differ 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 -- cgit v1.2.3