diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2024-01-28 00:57:36 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2024-01-28 00:57:36 +0000 |
| commit | 2865ab43f3d9f17ce41a2b048f7ca1ea32177955 (patch) | |
| tree | 707500345b262089fc01758ae9a45a4222e4bb59 /dev-lang/boogie | |
| parent | eaa317e2ed8d0c068526a9abdd1940406252c52e (diff) | |
gentoo auto-resync : 28:01:2024 - 00:57:36
Diffstat (limited to 'dev-lang/boogie')
| -rw-r--r-- | dev-lang/boogie/Manifest | 2 | ||||
| -rw-r--r-- | dev-lang/boogie/boogie-3.0.8.ebuild | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest index 6d6921df79a3..e7e7743ca940 100644 --- a/dev-lang/boogie/Manifest +++ b/dev-lang/boogie/Manifest @@ -196,6 +196,6 @@ DIST system.xml.xpath.xmldocument.4.0.1.nupkg 86933 BLAKE2B 4c03b5a9433c2c954e75 DIST system.xml.xpath.xmldocument.4.3.0.nupkg 138523 BLAKE2B ba53f3b5ac0f2d1d1e9120940b302e6960690ed4a44b96ba15b03e16f9159f2c57d6004aa55b796ba2327009d23fc2f10d4d09e948b88eb6af36efa5f76e401b SHA512 f75b6f7c75874ab6053e8942c1662a6e9a3561aa01502437b8d67f3bfcebd1ebf906792801326889ed7acb094c55469766d7d27cd10bc61b46ddaaa94dfc11e3 EBUILD boogie-3.0.10.ebuild 9280 BLAKE2B bb1915fb5a1d3318be070296679189b8a536ded67d996b0336726da0ef2c38e7fdd1c55074a13957ba69046a20a67aa619eb0d8abd9109b6f44c337b65db0652 SHA512 c334bc36710f68d3e91cd165d5f5d8fffee37da0bc4a03eca923302f685e23c6166854e6425d034268cded5638fc51324aec9541dbb568a560c354e4719c3e92 EBUILD boogie-3.0.6.ebuild 9075 BLAKE2B d1cad1f44021b02c444eb1448e834cf8d2f601a932f677dadf3559e3c95db35e4c3c6b07b51ba66565ac68d38e3c25134abb928df884224fc34b36845b9d0702 SHA512 5229c2ad8d2f4e03b49008a1b6004a5837dee31499f0a16993b7c28123c150017f04205b386b96dd22208c860debdb0e7508ca9505b13f1e338c5321576eab7b -EBUILD boogie-3.0.8.ebuild 9236 BLAKE2B 6d91bd4854ac556d260df88b38157face2a61b05d8c4e03c5160e13daa3e64bd603e3add93f381c943ac205aae64d46cbfd3ef91a0a42f8afff2f866db468b88 SHA512 9a51e56d79d088acff6d5d17c85cefb687393116a584d45ef213f4f242777dcccad8159b959818ae5ffc097feec35b940adaa86d21118df9b1f6c35a22a2e8ff +EBUILD boogie-3.0.8.ebuild 9235 BLAKE2B ad9b4153f27c0539aab880a91cba5c2e4074c260adddd6dbfd40d109427fba25553a15813c5d6d0142c0b53b2f1ef1102c14edf036aafa86bdccde3f6d5c0e2a SHA512 2ffe8b9ec4f637273846e7c3029ef60b42c935620915575661b4b4b7e48f0d91ce45647086fb8015de3d48f9f28382f71fdc3323cfa58d3f1c09c03e5276a4be EBUILD boogie-3.0.9.ebuild 9258 BLAKE2B db8f9164f461500832f944480307fd8502077377f2fde0a1b97f2156451b7423543ea8922c56c19730f1422e628bd76a191aafa9805dbdf29469eec7edaeb940 SHA512 e2eeb3cd484ac7cfea57cdf274731ecbfb0f06d7ac9b684ca4bd91873338230e632e94bbc52e1f0e7e1718676ef88b2d7490512869db99adbbfbddcce1c139e0 MISC metadata.xml 1102 BLAKE2B 215544658792715aae72787f7c949ed89df9c05ceab5a919a861c02b7938c0d1ee228e0ede55008287b616faf70992a8c1f2854e6e5e1fc909718ae682996bb8 SHA512 b6a626c485e2a5db3390da62c629507a60417eda8b508d7ed8d1c017ac337743d2c4fe0e8554b103f989176dcd2969cc8579e91532b07a22c1b66328ef241e8d diff --git a/dev-lang/boogie/boogie-3.0.8.ebuild b/dev-lang/boogie/boogie-3.0.8.ebuild index dc24d3c3fe93..b06fbe0900e2 100644 --- a/dev-lang/boogie/boogie-3.0.8.ebuild +++ b/dev-lang/boogie/boogie-3.0.8.ebuild @@ -210,7 +210,7 @@ else SRC_URI="https://github.com/boogie-org/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" - KEYWORDS="~amd64" + KEYWORDS="amd64" fi SRC_URI+=" ${NUGET_URIS} " |