diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2024-02-28 05:40:38 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2024-02-28 05:40:38 +0000 |
| commit | 88f366f99d8e731ae1a13d9eca9a5284484d2c6f (patch) | |
| tree | 07a82726de0e87969c85cdfb68522c4d444939e9 /dev-lang/boogie | |
| parent | fdd31f37b982d2c1b6d73b85f99718b13031be36 (diff) | |
gentoo auto-resync : 28:02:2024 - 05:40:38
Diffstat (limited to 'dev-lang/boogie')
| -rw-r--r-- | dev-lang/boogie/Manifest | 2 | ||||
| -rw-r--r-- | dev-lang/boogie/boogie-3.0.10.ebuild | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest index f5f974604c56..d5055bd2c319 100644 --- a/dev-lang/boogie/Manifest +++ b/dev-lang/boogie/Manifest @@ -193,7 +193,7 @@ DIST system.xml.xpath.4.0.1.nupkg 250135 BLAKE2B d6f211f98f33f6b8959b918cff8e676 DIST system.xml.xpath.4.3.0.nupkg 250182 BLAKE2B 8a4177d47af56bc7a6289ed8f2cac41d504dee212a858ed221277b3f523b1ce38ccb47bc3ce4d59a2c7cfd77f00f3c9693a9c257c90adb38096ee77a860f10cc SHA512 2bd0979a2020579fb32ad374b89929a272e763ee1233ed9a215408c0a1f9f82a5fdb74330c1c55a6102e0dfdb8b7b59ed25fdf6454bf3de146152ea779f366e0 DIST system.xml.xpath.xmldocument.4.0.1.nupkg 86933 BLAKE2B 4c03b5a9433c2c954e75d212f9026885aa7514574b73a54880c3d55baee6bd5517abb46b67b22b9b6e63de92a8bc5ab4ff37e3f7e6454a5c5137ae2be6574b75 SHA512 81041a08d3b9158c43dfb48d42f13ec9950d7c2b7f63e1600a779a77786edfb46c522c32d9cc6a44358fbfe11efba0e539e578ef169261867a1905b8121a045d 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.10.ebuild 9279 BLAKE2B c73132b332073380835a6eda81651ec3d67a84e7a0d639bf9c98afd78260cfce67f80a5a51bb19d755ba686e61cccb750c75c0cb0cc474b5e8d5539a806270ce SHA512 b06881e8780928c9c388cb585045d30a44748fba974f6747bc80fe21cd390a41f476a791b07d450146a66aa03bdcf66b3a0cc59025f3cf327ab4e06e0e03f43b EBUILD boogie-3.0.11.ebuild 9258 BLAKE2B db8f9164f461500832f944480307fd8502077377f2fde0a1b97f2156451b7423543ea8922c56c19730f1422e628bd76a191aafa9805dbdf29469eec7edaeb940 SHA512 e2eeb3cd484ac7cfea57cdf274731ecbfb0f06d7ac9b684ca4bd91873338230e632e94bbc52e1f0e7e1718676ef88b2d7490512869db99adbbfbddcce1c139e0 EBUILD boogie-3.0.12.ebuild 9144 BLAKE2B d73d45ef2a1ea2b1268e890c9042c070643369e8db7e77a0bd62ec9048eb5928a4f7c2eb8086614330da4a15c634376c1df761beb3af5aaf9c27dcbb68e1b267 SHA512 35a535086472d7e585ac021172dc8f2f192181b6cf07ec7bbe72ceb6a3a90e7a6dfa495a213a80b1fcf4e2bd147cf8bd9287cb5ad5e69bbca4ec406fa21dd1cb EBUILD boogie-3.0.9.ebuild 9257 BLAKE2B 96f5e3a404392ba026fc3e6c89aaf160e43b59f416ebb05d962f8410cfbbe197454e8125064c6fa4e7094e2b7089972111046f9b3431364b3efb3e3fe8492cb4 SHA512 ddfc00b75fe2d70da8e4a79f0531688a91ba0f0cd1c7d40534beed508db1909deb818f45e00d3945bc83ca2aed56e3cf5fa9582cfb46771accce9e4d6b87a185 diff --git a/dev-lang/boogie/boogie-3.0.10.ebuild b/dev-lang/boogie/boogie-3.0.10.ebuild index f63d909f5a00..e6115ead2c53 100644 --- a/dev-lang/boogie/boogie-3.0.10.ebuild +++ b/dev-lang/boogie/boogie-3.0.10.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} " |