From a67cd6675142fbbe7b09fff2361f2961a9031451 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Fri, 7 Oct 2022 01:22:59 +0100 Subject: gentoo auto-resync : 07:10:2022 - 01:22:59 --- metadata/md5-cache/dev-lang/Manifest.gz | Bin 40913 -> 41068 bytes metadata/md5-cache/dev-lang/boogie-2.15.8-r2 | 15 --------------- metadata/md5-cache/dev-lang/boogie-2.15.8-r3 | 15 +++++++++++++++ metadata/md5-cache/dev-lang/julia-bin-1.8.2 | 11 +++++++++++ metadata/md5-cache/dev-lang/rust-1.62.1 | 2 +- metadata/md5-cache/dev-lang/rust-1.63.0-r1 | 2 +- metadata/md5-cache/dev-lang/rust-1.64.0-r1 | 2 +- 7 files changed, 29 insertions(+), 18 deletions(-) delete mode 100644 metadata/md5-cache/dev-lang/boogie-2.15.8-r2 create mode 100644 metadata/md5-cache/dev-lang/boogie-2.15.8-r3 create mode 100644 metadata/md5-cache/dev-lang/julia-bin-1.8.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 1ffe81b51503..2b4712976798 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/boogie-2.15.8-r2 b/metadata/md5-cache/dev-lang/boogie-2.15.8-r2 deleted file mode 100644 index 923df9a153f0..000000000000 --- a/metadata/md5-cache/dev-lang/boogie-2.15.8-r2 +++ /dev/null @@ -1,15 +0,0 @@ -BDEPEND=dev-libs/icu virtual/dotnet-sdk:6.0 test? ( dev-python/lit dev-python/OutputCheck ) -DEFINED_PHASES=compile configure install prepare test -DESCRIPTION=SMT-based program verifier -EAPI=8 -HOMEPAGE=https://github.com/boogie-org/boogie/ -INHERIT=edo multiprocessing -IUSE=debug test -KEYWORDS=~amd64 -LICENSE=MIT -RDEPEND=dev-libs/icu virtual/dotnet-sdk:6.0 sci-mathematics/z3 -RESTRICT=!test? ( test ) -SLOT=0 -SRC_URI=https://github.com/boogie-org/boogie/archive/v2.15.8.tar.gz -> boogie-2.15.8.tar.gz https://dev.gentoo.org/~xgqt/distfiles/deps/boogie-2.15.8-deps.tar.xz -_eclasses_=edo c0eb9cbe6b0bd01fcb4918f12598a4d3 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 -_md5_=6a037c60c3be393043fb8330a61fa364 diff --git a/metadata/md5-cache/dev-lang/boogie-2.15.8-r3 b/metadata/md5-cache/dev-lang/boogie-2.15.8-r3 new file mode 100644 index 000000000000..be43e1fd1e0a --- /dev/null +++ b/metadata/md5-cache/dev-lang/boogie-2.15.8-r3 @@ -0,0 +1,15 @@ +BDEPEND=dev-libs/icu virtual/dotnet-sdk:6.0 test? ( dev-python/lit dev-python/OutputCheck ) +DEFINED_PHASES=compile configure install prepare test +DESCRIPTION=SMT-based program verifier +EAPI=8 +HOMEPAGE=https://github.com/boogie-org/boogie/ +INHERIT=edo multiprocessing +IUSE=debug test +KEYWORDS=~amd64 +LICENSE=MIT +RDEPEND=dev-libs/icu virtual/dotnet-sdk:6.0 sci-mathematics/z3 +RESTRICT=!test? ( test ) +SLOT=0 +SRC_URI=https://github.com/boogie-org/boogie/archive/v2.15.8.tar.gz -> boogie-2.15.8.tar.gz https://dev.gentoo.org/~xgqt/distfiles/deps/boogie-2.15.8-deps.tar.xz +_eclasses_=edo c0eb9cbe6b0bd01fcb4918f12598a4d3 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 +_md5_=b241c6e6bf57235fa4596581ab73b193 diff --git a/metadata/md5-cache/dev-lang/julia-bin-1.8.2 b/metadata/md5-cache/dev-lang/julia-bin-1.8.2 new file mode 100644 index 000000000000..ee891ef110e2 --- /dev/null +++ b/metadata/md5-cache/dev-lang/julia-bin-1.8.2 @@ -0,0 +1,11 @@ +DEFINED_PHASES=install +DEPEND=app-arch/p7zip +DESCRIPTION=High-performance programming language for technical computing +EAPI=8 +HOMEPAGE=https://julialang.org/ +LICENSE=MIT +RDEPEND=app-arch/p7zip +RESTRICT=strip +SLOT=1.8 +SRC_URI=x86? ( https://julialang-s3.julialang.org/bin/linux/x86/1.8/julia-1.8.2-linux-i686.tar.gz ) amd64? ( elibc_glibc? ( https://julialang-s3.julialang.org/bin/linux/x64/1.8/julia-1.8.2-linux-x86_64.tar.gz ) elibc_musl? ( https://julialang-s3.julialang.org/bin/musl/x64/1.8/julia-1.8.2-musl-x86_64.tar.gz ) ) arm64? ( https://julialang-s3.julialang.org/bin/linux/aarch64/1.8/julia-1.8.2-linux-aarch64.tar.gz ) +_md5_=58380ecb99c5bf94918b84cb42679aa7 diff --git a/metadata/md5-cache/dev-lang/rust-1.62.1 b/metadata/md5-cache/dev-lang/rust-1.62.1 index bfb869756a8a..207016f5552f 100644 --- a/metadata/md5-cache/dev-lang/rust-1.62.1 +++ b/metadata/md5-cache/dev-lang/rust-1.62.1 @@ -14,4 +14,4 @@ RESTRICT=test SLOT=stable/1.62 SRC_URI=https://static.rust-lang.org/dist/rustc-1.62.1-src.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rustc-1.62.1-src.tar.xz.asc ) !system-bootstrap? ( abi_x86_64? ( elibc_glibc? ( https://static.rust-lang.org/dist/rust-1.61.0-x86_64-unknown-linux-gnu.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.61.0-x86_64-unknown-linux-gnu.tar.xz.asc ) ) elibc_musl? ( https://static.rust-lang.org/dist/rust-1.61.0-x86_64-unknown-linux-musl.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.61.0-x86_64-unknown-linux-musl.tar.xz.asc ) ) ) arm? ( https://static.rust-lang.org/dist/rust-1.61.0-arm-unknown-linux-gnueabi.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.61.0-arm-unknown-linux-gnueabi.tar.xz.asc ) https://static.rust-lang.org/dist/rust-1.61.0-arm-unknown-linux-gnueabihf.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.61.0-arm-unknown-linux-gnueabihf.tar.xz.asc ) https://static.rust-lang.org/dist/rust-1.61.0-armv7-unknown-linux-gnueabihf.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.61.0-armv7-unknown-linux-gnueabihf.tar.xz.asc ) ) arm64? ( elibc_glibc? ( https://static.rust-lang.org/dist/rust-1.61.0-aarch64-unknown-linux-gnu.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.61.0-aarch64-unknown-linux-gnu.tar.xz.asc ) ) elibc_musl? ( https://static.rust-lang.org/dist/rust-1.61.0-aarch64-unknown-linux-musl.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.61.0-aarch64-unknown-linux-musl.tar.xz.asc ) ) ) mips? ( https://static.rust-lang.org/dist/rust-1.61.0-mips-unknown-linux-gnu.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.61.0-mips-unknown-linux-gnu.tar.xz.asc ) https://static.rust-lang.org/dist/rust-1.61.0-mipsel-unknown-linux-gnu.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.61.0-mipsel-unknown-linux-gnu.tar.xz.asc ) https://static.rust-lang.org/dist/rust-1.61.0-mips64-unknown-linux-gnuabi64.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.61.0-mips64-unknown-linux-gnuabi64.tar.xz.asc ) ) ppc? ( https://static.rust-lang.org/dist/rust-1.61.0-powerpc-unknown-linux-gnu.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.61.0-powerpc-unknown-linux-gnu.tar.xz.asc ) ) ppc64? ( https://static.rust-lang.org/dist/rust-1.61.0-powerpc64-unknown-linux-gnu.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.61.0-powerpc64-unknown-linux-gnu.tar.xz.asc ) https://static.rust-lang.org/dist/rust-1.61.0-powerpc64le-unknown-linux-gnu.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.61.0-powerpc64le-unknown-linux-gnu.tar.xz.asc ) ) s390? ( https://static.rust-lang.org/dist/rust-1.61.0-s390x-unknown-linux-gnu.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.61.0-s390x-unknown-linux-gnu.tar.xz.asc ) ) abi_x86_32? ( https://static.rust-lang.org/dist/rust-1.61.0-i686-unknown-linux-gnu.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.61.0-i686-unknown-linux-gnu.tar.xz.asc ) ) riscv? ( https://static.rust-lang.org/dist/rust-1.61.0-riscv64gc-unknown-linux-gnu.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.61.0-riscv64gc-unknown-linux-gnu.tar.xz.asc ) ) ) _eclasses_=bash-completion-r1 f5e7a020fd9c741740756aac61bf75ff check-reqs 5e6dfbd7a8d3238a79f009fae7ac469c estack 055c42df72f76a4f45ec92b35e83cd56 flag-o-matic 29a755b1291d64133634d80b0328f153 llvm 1c0b36f6ee2ff37bb9ab25cf23563030 multibuild d26d81f242cb193d899a72bca423d0bd multilib 5ca4e49abed8e3a2f7b56920eadee157 multilib-build 87f1b83e21a473787b821ef3d0437bf3 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 python-any-r1 f2f00fb79b5e888b5011d4c51240ae97 python-utils-r1 b9fc5e97e886514e5132f50465185401 rust-toolchain 9e3a9f96182f7084ca9c6e173d2f2f5c toolchain-funcs 1542e649be915f43f6908a9e93909961 verify-sig 0748d665fa664a87add00152ed046e16 -_md5_=766c76b25f8547c0844a59ed0e2cd2e0 +_md5_=3a8339c579e0c868aba9b7a88595652d diff --git a/metadata/md5-cache/dev-lang/rust-1.63.0-r1 b/metadata/md5-cache/dev-lang/rust-1.63.0-r1 index ccd7c1387691..a7b16be868e9 100644 --- a/metadata/md5-cache/dev-lang/rust-1.63.0-r1 +++ b/metadata/md5-cache/dev-lang/rust-1.63.0-r1 @@ -14,4 +14,4 @@ RESTRICT=test SLOT=stable/1.63 SRC_URI=https://static.rust-lang.org/dist/rustc-1.63.0-src.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rustc-1.63.0-src.tar.xz.asc ) !system-bootstrap? ( abi_x86_64? ( elibc_glibc? ( https://static.rust-lang.org/dist/rust-1.62.0-x86_64-unknown-linux-gnu.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.62.0-x86_64-unknown-linux-gnu.tar.xz.asc ) ) elibc_musl? ( https://static.rust-lang.org/dist/rust-1.62.0-x86_64-unknown-linux-musl.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.62.0-x86_64-unknown-linux-musl.tar.xz.asc ) ) ) arm? ( https://static.rust-lang.org/dist/rust-1.62.0-arm-unknown-linux-gnueabi.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.62.0-arm-unknown-linux-gnueabi.tar.xz.asc ) https://static.rust-lang.org/dist/rust-1.62.0-arm-unknown-linux-gnueabihf.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.62.0-arm-unknown-linux-gnueabihf.tar.xz.asc ) https://static.rust-lang.org/dist/rust-1.62.0-armv7-unknown-linux-gnueabihf.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.62.0-armv7-unknown-linux-gnueabihf.tar.xz.asc ) ) arm64? ( elibc_glibc? ( https://static.rust-lang.org/dist/rust-1.62.0-aarch64-unknown-linux-gnu.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.62.0-aarch64-unknown-linux-gnu.tar.xz.asc ) ) elibc_musl? ( https://static.rust-lang.org/dist/rust-1.62.0-aarch64-unknown-linux-musl.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.62.0-aarch64-unknown-linux-musl.tar.xz.asc ) ) ) mips? ( https://static.rust-lang.org/dist/rust-1.62.0-mips-unknown-linux-gnu.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.62.0-mips-unknown-linux-gnu.tar.xz.asc ) https://static.rust-lang.org/dist/rust-1.62.0-mipsel-unknown-linux-gnu.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.62.0-mipsel-unknown-linux-gnu.tar.xz.asc ) https://static.rust-lang.org/dist/rust-1.62.0-mips64-unknown-linux-gnuabi64.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.62.0-mips64-unknown-linux-gnuabi64.tar.xz.asc ) ) ppc? ( https://static.rust-lang.org/dist/rust-1.62.0-powerpc-unknown-linux-gnu.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.62.0-powerpc-unknown-linux-gnu.tar.xz.asc ) ) ppc64? ( https://static.rust-lang.org/dist/rust-1.62.0-powerpc64-unknown-linux-gnu.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.62.0-powerpc64-unknown-linux-gnu.tar.xz.asc ) https://static.rust-lang.org/dist/rust-1.62.0-powerpc64le-unknown-linux-gnu.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.62.0-powerpc64le-unknown-linux-gnu.tar.xz.asc ) ) s390? ( https://static.rust-lang.org/dist/rust-1.62.0-s390x-unknown-linux-gnu.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.62.0-s390x-unknown-linux-gnu.tar.xz.asc ) ) abi_x86_32? ( https://static.rust-lang.org/dist/rust-1.62.0-i686-unknown-linux-gnu.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.62.0-i686-unknown-linux-gnu.tar.xz.asc ) ) riscv? ( https://static.rust-lang.org/dist/rust-1.62.0-riscv64gc-unknown-linux-gnu.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.62.0-riscv64gc-unknown-linux-gnu.tar.xz.asc ) ) ) _eclasses_=bash-completion-r1 f5e7a020fd9c741740756aac61bf75ff check-reqs 5e6dfbd7a8d3238a79f009fae7ac469c estack 055c42df72f76a4f45ec92b35e83cd56 flag-o-matic 29a755b1291d64133634d80b0328f153 llvm 1c0b36f6ee2ff37bb9ab25cf23563030 multibuild d26d81f242cb193d899a72bca423d0bd multilib 5ca4e49abed8e3a2f7b56920eadee157 multilib-build 87f1b83e21a473787b821ef3d0437bf3 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 python-any-r1 f2f00fb79b5e888b5011d4c51240ae97 python-utils-r1 b9fc5e97e886514e5132f50465185401 rust-toolchain 9e3a9f96182f7084ca9c6e173d2f2f5c toolchain-funcs 1542e649be915f43f6908a9e93909961 verify-sig 0748d665fa664a87add00152ed046e16 -_md5_=0a5e0582c97498c2d68257de156318f0 +_md5_=d06f9103c17decf242fe357439b94072 diff --git a/metadata/md5-cache/dev-lang/rust-1.64.0-r1 b/metadata/md5-cache/dev-lang/rust-1.64.0-r1 index e68245cf2dcd..b455d43f8743 100644 --- a/metadata/md5-cache/dev-lang/rust-1.64.0-r1 +++ b/metadata/md5-cache/dev-lang/rust-1.64.0-r1 @@ -14,4 +14,4 @@ RESTRICT=test SLOT=stable/1.64 SRC_URI=https://static.rust-lang.org/dist/rustc-1.64.0-src.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rustc-1.64.0-src.tar.xz.asc ) !system-bootstrap? ( abi_x86_64? ( elibc_glibc? ( https://static.rust-lang.org/dist/rust-1.63.0-x86_64-unknown-linux-gnu.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.63.0-x86_64-unknown-linux-gnu.tar.xz.asc ) ) elibc_musl? ( https://static.rust-lang.org/dist/rust-1.63.0-x86_64-unknown-linux-musl.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.63.0-x86_64-unknown-linux-musl.tar.xz.asc ) ) ) arm? ( https://static.rust-lang.org/dist/rust-1.63.0-arm-unknown-linux-gnueabi.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.63.0-arm-unknown-linux-gnueabi.tar.xz.asc ) https://static.rust-lang.org/dist/rust-1.63.0-arm-unknown-linux-gnueabihf.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.63.0-arm-unknown-linux-gnueabihf.tar.xz.asc ) https://static.rust-lang.org/dist/rust-1.63.0-armv7-unknown-linux-gnueabihf.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.63.0-armv7-unknown-linux-gnueabihf.tar.xz.asc ) ) arm64? ( elibc_glibc? ( https://static.rust-lang.org/dist/rust-1.63.0-aarch64-unknown-linux-gnu.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.63.0-aarch64-unknown-linux-gnu.tar.xz.asc ) ) elibc_musl? ( https://static.rust-lang.org/dist/rust-1.63.0-aarch64-unknown-linux-musl.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.63.0-aarch64-unknown-linux-musl.tar.xz.asc ) ) ) mips? ( https://static.rust-lang.org/dist/rust-1.63.0-mips-unknown-linux-gnu.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.63.0-mips-unknown-linux-gnu.tar.xz.asc ) https://static.rust-lang.org/dist/rust-1.63.0-mipsel-unknown-linux-gnu.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.63.0-mipsel-unknown-linux-gnu.tar.xz.asc ) https://static.rust-lang.org/dist/rust-1.63.0-mips64-unknown-linux-gnuabi64.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.63.0-mips64-unknown-linux-gnuabi64.tar.xz.asc ) ) ppc? ( https://static.rust-lang.org/dist/rust-1.63.0-powerpc-unknown-linux-gnu.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.63.0-powerpc-unknown-linux-gnu.tar.xz.asc ) ) ppc64? ( https://static.rust-lang.org/dist/rust-1.63.0-powerpc64-unknown-linux-gnu.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.63.0-powerpc64-unknown-linux-gnu.tar.xz.asc ) https://static.rust-lang.org/dist/rust-1.63.0-powerpc64le-unknown-linux-gnu.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.63.0-powerpc64le-unknown-linux-gnu.tar.xz.asc ) ) s390? ( https://static.rust-lang.org/dist/rust-1.63.0-s390x-unknown-linux-gnu.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.63.0-s390x-unknown-linux-gnu.tar.xz.asc ) ) abi_x86_32? ( https://static.rust-lang.org/dist/rust-1.63.0-i686-unknown-linux-gnu.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.63.0-i686-unknown-linux-gnu.tar.xz.asc ) ) riscv? ( https://static.rust-lang.org/dist/rust-1.63.0-riscv64gc-unknown-linux-gnu.tar.xz verify-sig? ( https://static.rust-lang.org/dist/rust-1.63.0-riscv64gc-unknown-linux-gnu.tar.xz.asc ) ) ) _eclasses_=bash-completion-r1 f5e7a020fd9c741740756aac61bf75ff check-reqs 5e6dfbd7a8d3238a79f009fae7ac469c estack 055c42df72f76a4f45ec92b35e83cd56 flag-o-matic 29a755b1291d64133634d80b0328f153 llvm 1c0b36f6ee2ff37bb9ab25cf23563030 multibuild d26d81f242cb193d899a72bca423d0bd multilib 5ca4e49abed8e3a2f7b56920eadee157 multilib-build 87f1b83e21a473787b821ef3d0437bf3 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 python-any-r1 f2f00fb79b5e888b5011d4c51240ae97 python-utils-r1 b9fc5e97e886514e5132f50465185401 rust-toolchain 9e3a9f96182f7084ca9c6e173d2f2f5c toolchain-funcs 1542e649be915f43f6908a9e93909961 verify-sig 0748d665fa664a87add00152ed046e16 -_md5_=7c33d98a2cced969113700ca0b16ccf0 +_md5_=5b02f4b1976b16b8b5cd0d1f3fefcd64 -- cgit v1.2.3