diff options
Diffstat (limited to 'dev-lang/boogie')
| -rw-r--r-- | dev-lang/boogie/Manifest | 2 | ||||
| -rw-r--r-- | dev-lang/boogie/boogie-2.15.8-r2.ebuild (renamed from dev-lang/boogie/boogie-2.15.8-r1.ebuild) | 5 |
2 files changed, 5 insertions, 2 deletions
diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest index 2bf5ed96bfd1..9ff4fbd1200b 100644 --- a/dev-lang/boogie/Manifest +++ b/dev-lang/boogie/Manifest @@ -1,4 +1,4 @@ DIST boogie-2.15.8-deps.tar.xz 71100772 BLAKE2B 1249627710fe0cc08c640ac7fe5e518793d237291810dc2df5d26bae2a4fd0fec15f0529b6fb799231002881665c2b2cf66b3a6a88494c780e96e51d78086959 SHA512 ee8df5693264c6b6e925f966a85e312e2df80d121c6e81786e7672d1591cdab8a66601c7d740df9db9704330a82f5aa01982d758cc4d5f151838be41c4d0b76f DIST boogie-2.15.8.tar.gz 1548233 BLAKE2B cd3d46b6702eb9c16cdb94ae9776ee52bb142be57e3b0dfd014e59c2f3a98aec84d891544cbd239d773c49ac6bc0b3e1eb5e1eb5cda1f1a0b9aa029f0ee674f2 SHA512 5e214a6451b0ac6a33088797957661cdb35e7fc99f880935f0f1d9329975c11a0849f5ba6244e90f528e6cc31dc2fc83636506130f59464889bf04ecf6130990 -EBUILD boogie-2.15.8-r1.ebuild 1417 BLAKE2B 41e8b82fd412a7ecdc87d6c61ce0af4db83c3a07f8b897d39080cc1cb1e20720fd6f9b59fe4b562bdb2f8e7554cd174cc9c201a6e80df822620437ea20eebe6c SHA512 e828654c2b9bd17896c859fa3c42b02beb3b7a3e39bbfe9b436a6347b502bab37058c293e7a1d40fca4415094389052932a1c80e445f4eea5edef1a703e3f522 +EBUILD boogie-2.15.8-r2.ebuild 1434 BLAKE2B 223e139aae70ef7493e8ac72ae4ed0fcdcee119786eb11701d55043152aee30c5e22bfbdb3bd542464c9ae5e75a93dd395450503dd3ae4923643c3f26f2a6b79 SHA512 46d6c18a7822a50c406324a202e846b8d408e1eacd5108d0e7ff37c599d2853f73668c6587f71e78701793085ceb1ab683d9f5e689df9b903c42c04223737124 MISC metadata.xml 1090 BLAKE2B 838630d17f9e2aa9d8d329f5f6da0e2f00636c3e01ceb02e10f06d3b53b722859818343c6a6936e1d2a495b9ec8d77b729f03dfbc0e017dace31116dccee4ff7 SHA512 e66f1077862a81efd0e311d6e2a2f0b4cd5fd650748c4232e3d70cbd982685bf03da616092929686589e115a4fe3ba2d52c420b416222ccae221469ca2d5face diff --git a/dev-lang/boogie/boogie-2.15.8-r1.ebuild b/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 |