commit: 0b4089e67b207d2f37d2dc9c7d18228165684f52 Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> AuthorDate: Tue Oct 4 15:22:21 2022 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Tue Oct 4 15:24:45 2022 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0b4089e6
dev-lang/boogie: add icu dependency Closes: https://bugs.gentoo.org/874810 Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> dev-lang/boogie/{boogie-2.15.8-r1.ebuild => boogie-2.15.8-r2.ebuild} | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/dev-lang/boogie/boogie-2.15.8-r1.ebuild b/dev-lang/boogie/boogie-2.15.8-r2.ebuild similarity index 95% rename from dev-lang/boogie/boogie-2.15.8-r1.ebuild rename to dev-lang/boogie/boogie-2.15.8-r2.ebuild index 2bfc10a32fcf..e1dc3d6dcd95 100644 --- a/dev-lang/boogie/boogie-2.15.8-r1.ebuild +++ b/dev-lang/boogie/boogie-2.15.8-r2.ebuild @@ -20,7 +20,10 @@ SLOT="0" KEYWORDS="~amd64" IUSE="debug" -BDEPEND="virtual/dotnet-sdk:${DOTNET_COMPAT}" +BDEPEND=" + dev-libs/icu + virtual/dotnet-sdk:${DOTNET_COMPAT} +" RDEPEND=" ${BDEPEND} sci-mathematics/z3
