From 07b0c0005f55e652101816d9f4cfe73403bf0906 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Tue, 4 Oct 2022 19:18:10 +0100 Subject: gentoo auto-resync : 04:10:2022 - 19:18:10 --- metadata/md5-cache/dev-lang/Manifest.gz | Bin 40426 -> 40417 bytes metadata/md5-cache/dev-lang/boogie-2.15.8-r1 | 14 -------------- metadata/md5-cache/dev-lang/boogie-2.15.8-r2 | 14 ++++++++++++++ metadata/md5-cache/dev-lang/ghc-8.10.6 | 4 ++-- 4 files changed, 16 insertions(+), 16 deletions(-) delete mode 100644 metadata/md5-cache/dev-lang/boogie-2.15.8-r1 create mode 100644 metadata/md5-cache/dev-lang/boogie-2.15.8-r2 (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 b00c2d77a77c..f852326b76c6 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-r1 b/metadata/md5-cache/dev-lang/boogie-2.15.8-r1 deleted file mode 100644 index c5d1fcaf7366..000000000000 --- a/metadata/md5-cache/dev-lang/boogie-2.15.8-r1 +++ /dev/null @@ -1,14 +0,0 @@ -BDEPEND=virtual/dotnet-sdk:6.0 -DEFINED_PHASES=compile configure install prepare -DESCRIPTION=SMT-based program verifier -EAPI=8 -HOMEPAGE=https://github.com/boogie-org/boogie/ -INHERIT=edo multiprocessing -IUSE=debug -KEYWORDS=~amd64 -LICENSE=MIT -RDEPEND=virtual/dotnet-sdk:6.0 sci-mathematics/z3 -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_=3d6de23d6c7b5e42170765d73ccd2864 diff --git a/metadata/md5-cache/dev-lang/boogie-2.15.8-r2 b/metadata/md5-cache/dev-lang/boogie-2.15.8-r2 new file mode 100644 index 000000000000..4b5855a669b2 --- /dev/null +++ b/metadata/md5-cache/dev-lang/boogie-2.15.8-r2 @@ -0,0 +1,14 @@ +BDEPEND=dev-libs/icu virtual/dotnet-sdk:6.0 +DEFINED_PHASES=compile configure install prepare +DESCRIPTION=SMT-based program verifier +EAPI=8 +HOMEPAGE=https://github.com/boogie-org/boogie/ +INHERIT=edo multiprocessing +IUSE=debug +KEYWORDS=~amd64 +LICENSE=MIT +RDEPEND=dev-libs/icu virtual/dotnet-sdk:6.0 sci-mathematics/z3 +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_=99984a4b9761df1d15ab884ee5ac259b diff --git a/metadata/md5-cache/dev-lang/ghc-8.10.6 b/metadata/md5-cache/dev-lang/ghc-8.10.6 index feae8d92a8e4..06a1ea5e2fd0 100644 --- a/metadata/md5-cache/dev-lang/ghc-8.10.6 +++ b/metadata/md5-cache/dev-lang/ghc-8.10.6 @@ -4,7 +4,7 @@ DEPEND=>=dev-lang/perl-5.6.1 dev-libs/gmp:0= sys-libs/ncurses:=[unicode(+)] elfu DESCRIPTION=The Glasgow Haskell Compiler EAPI=7 HOMEPAGE=https://www.haskell.org/ghc/ -INHERIT=python-any-r1 autotools bash-completion-r1 eutils flag-o-matic ghc-package multilib multiprocessing pax-utils toolchain-funcs prefix check-reqs +INHERIT=python-any-r1 autotools bash-completion-r1 flag-o-matic ghc-package multilib multiprocessing pax-utils toolchain-funcs prefix check-reqs IUSE=big-endian +doc elfutils ghcbootstrap ghcmakebinary +gmp numa profile test binary KEYWORDS=~amd64 ~x86 LICENSE=BSD @@ -15,4 +15,4 @@ RESTRICT=!test? ( test ) SLOT=0/8.10.6 SRC_URI=!binary? ( https://downloads.haskell.org/ghc/8.10.6/ghc-8.10.6-src.tar.xz test? ( https://downloads.haskell.org/ghc/8.10.6/ghc-8.10.6-testsuite.tar.xz ) ) !ghcbootstrap? ( amd64? ( https://slyfox.uni.cx/~slyfox/distfiles/ghc-bin-8.10.6-x86_64-pc-linux-gnu.tbz2 ) x86? ( https://slyfox.uni.cx/~slyfox/distfiles/ghc-bin-8.10.6-i686-pc-linux-gnu.tbz2 ) ) _eclasses_=autotools 9e6965bfaa00f52cc61e0d4bc44c87b3 bash-completion-r1 f5e7a020fd9c741740756aac61bf75ff check-reqs 5e6dfbd7a8d3238a79f009fae7ac469c eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 8f942ebdcf04334697649d4a0bf65a32 flag-o-matic 29a755b1291d64133634d80b0328f153 ghc-package dbe1a8d17cacb390a3df7bbba6617679 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 241a8f577b9781a42a7421e53448a44e multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 pax-utils 91d47e5d20627c717aa878b9167c62a8 prefix eab3c99d77fe00506c109c8a736186f7 python-any-r1 f2f00fb79b5e888b5011d4c51240ae97 python-utils-r1 b9fc5e97e886514e5132f50465185401 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 1542e649be915f43f6908a9e93909961 wrapper 4a1902f969e5718126434fc35f3a0d9c -_md5_=9736ae3284e83d9b7dd3d7d3570eac77 +_md5_=a00db716498929dbeaeb23f301078922 -- cgit v1.2.3