diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-10-08 01:28:43 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-10-08 01:28:43 +0100 |
| commit | ad75ca50360f9590325f0f709c091832b70eab1d (patch) | |
| tree | 8a0b109f05da2a3728e461abf6e31347c2e8b0b2 /dev-lang/boogie | |
| parent | 7b5e4e1f63da7fb63fba5f1a9fc41866c8ae5b2f (diff) | |
gentoo auto-resync : 08:10:2022 - 01:28:43
Diffstat (limited to 'dev-lang/boogie')
| -rw-r--r-- | dev-lang/boogie/Manifest | 2 | ||||
| -rw-r--r-- | dev-lang/boogie/boogie-2.15.8-r4.ebuild (renamed from dev-lang/boogie/boogie-2.15.8-r3.ebuild) | 5 |
2 files changed, 2 insertions, 5 deletions
diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest index 5b094bb61706..a7366bbedcc7 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-r3.ebuild 2179 BLAKE2B 5285abd06ce14d3d7caabecb6a6375bfa1f7b42d6e2df233edd14ec4fed00fc7b294bdb780b7869ea6d437ffcd12a76863cfab7371c5fcd99142f0ae3ed1f719 SHA512 3c495cf46b6a6c5bdae68390a155a1ee52c529e0ef9c7eca8e1307cee16c7758c5d86c73e811e6dd7630dabe78c9c6e1f268d4f9c1a11c5e5b57559a255a8756 +EBUILD boogie-2.15.8-r4.ebuild 2162 BLAKE2B 47c62cb3cb42c1d3fc54d9862cf59d5e745592c97eda31ca7d7f7c431838b50ddd34aa7ab569db1d811a4bef0b87b2cc03f44e94f2672adf299cb4b94ae06c83 SHA512 9c02b41e1e1b9465866d0ae450ae577e1e6b45d4aae2525e41fa047fc223caee112203bbe0851b5c74016114c5f9976c1b4c3c488408dda760ebe994a7cc9b77 MISC metadata.xml 1090 BLAKE2B 838630d17f9e2aa9d8d329f5f6da0e2f00636c3e01ceb02e10f06d3b53b722859818343c6a6936e1d2a495b9ec8d77b729f03dfbc0e017dace31116dccee4ff7 SHA512 e66f1077862a81efd0e311d6e2a2f0b4cd5fd650748c4232e3d70cbd982685bf03da616092929686589e115a4fe3ba2d52c420b416222ccae221469ca2d5face 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 |