diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-10-04 19:18:10 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-10-04 19:18:10 +0100 |
| commit | 07b0c0005f55e652101816d9f4cfe73403bf0906 (patch) | |
| tree | b29108de370177e8ce7c0d0d60e1e4319851d99b /metadata/md5-cache/dev-lang | |
| parent | 78754950ffa3aaba0f48b1ca1d505caa4a3dfbfa (diff) | |
gentoo auto-resync : 04:10:2022 - 19:18:10
Diffstat (limited to 'metadata/md5-cache/dev-lang')
| -rw-r--r-- | metadata/md5-cache/dev-lang/Manifest.gz | bin | 40426 -> 40417 bytes | |||
| -rw-r--r-- | metadata/md5-cache/dev-lang/boogie-2.15.8-r2 (renamed from metadata/md5-cache/dev-lang/boogie-2.15.8-r1) | 6 | ||||
| -rw-r--r-- | metadata/md5-cache/dev-lang/ghc-8.10.6 | 4 |
3 files changed, 5 insertions, 5 deletions
diff --git a/metadata/md5-cache/dev-lang/Manifest.gz b/metadata/md5-cache/dev-lang/Manifest.gz Binary files differindex b00c2d77a77c..f852326b76c6 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/boogie-2.15.8-r1 b/metadata/md5-cache/dev-lang/boogie-2.15.8-r2 index c5d1fcaf7366..4b5855a669b2 100644 --- a/metadata/md5-cache/dev-lang/boogie-2.15.8-r1 +++ b/metadata/md5-cache/dev-lang/boogie-2.15.8-r2 @@ -1,4 +1,4 @@ -BDEPEND=virtual/dotnet-sdk:6.0 +BDEPEND=dev-libs/icu virtual/dotnet-sdk:6.0 DEFINED_PHASES=compile configure install prepare DESCRIPTION=SMT-based program verifier EAPI=8 @@ -7,8 +7,8 @@ INHERIT=edo multiprocessing IUSE=debug KEYWORDS=~amd64 LICENSE=MIT -RDEPEND=virtual/dotnet-sdk:6.0 sci-mathematics/z3 +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_=3d6de23d6c7b5e42170765d73ccd2864 +_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 |