diff options
author | Maciej Barć <xgqt@gentoo.org> | 2022-10-08 00:06:41 +0200 |
---|---|---|
committer | Maciej Barć <xgqt@gentoo.org> | 2022-10-08 00:42:14 +0200 |
commit | c2a73fc635a5543ca87a317b64ed32ca8b76c9b9 (patch) | |
tree | c150e070d0a0a03ffcf9e78c182b0c52f98f915e /dev-lang | |
parent | media-gfx/gnome-photos: Version bump to 43.0 (diff) | |
download | gentoo-c2a73fc635a5543ca87a317b64ed32ca8b76c9b9.tar.gz gentoo-c2a73fc635a5543ca87a317b64ed32ca8b76c9b9.tar.bz2 gentoo-c2a73fc635a5543ca87a317b64ed32ca8b76c9b9.zip |
dev-dotnet/dotnet-sdk-bin: add ICU dependency
putting ICU in optfeature was a bad idea
Bug: https://bugs.gentoo.org/874810
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-lang')
-rw-r--r-- | dev-lang/boogie/boogie-2.15.8-r4.ebuild (renamed from dev-lang/boogie/boogie-2.15.8-r3.ebuild) | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/dev-lang/boogie/boogie-2.15.8-r3.ebuild b/dev-lang/boogie/boogie-2.15.8-r4.ebuild index 1b6c0b18edd5..ce1ace397460 100644 --- a/dev-lang/boogie/boogie-2.15.8-r3.ebuild +++ b/dev-lang/boogie/boogie-2.15.8-r4.ebuild @@ -20,10 +20,7 @@ KEYWORDS="~amd64" IUSE="debug test" RESTRICT="!test? ( test )" -BDEPEND=" - dev-libs/icu - virtual/dotnet-sdk:${DOTNET_COMPAT} -" +BDEPEND="virtual/dotnet-sdk:${DOTNET_COMPAT}" RDEPEND=" ${BDEPEND} sci-mathematics/z3 |