diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2024-09-04 12:28:34 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2024-09-04 12:28:34 +0100 |
| commit | 518b45bffd19d0b75715f338985f96c459f9d129 (patch) | |
| tree | 948dfe5d479374fd6b85fe72ff2570e8a4af47ff /dev-lang/boogie | |
| parent | 3f559ef486314f9b3b48d48eb303d6be68463af9 (diff) | |
gentoo auto-resync : 04:09:2024 - 12:28:34
Diffstat (limited to 'dev-lang/boogie')
| -rw-r--r-- | dev-lang/boogie/Manifest | 2 | ||||
| -rw-r--r-- | dev-lang/boogie/boogie-3.2.3.ebuild | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest index 0ec91136f9e2..5ff9f0cf29ea 100644 --- a/dev-lang/boogie/Manifest +++ b/dev-lang/boogie/Manifest @@ -195,6 +195,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.2.0.ebuild 9474 BLAKE2B b3d0ca9587300bd9b20af61bd1a827844498069005a820ac46a519a1f4d1a35110668853a1db6e1d65c3b52999b2a261fe63b149563720bd0eed24af2ebee4bf SHA512 c72028faf6737e71e1ca9f55b54ed881cbca80fa60c9d3f8f696cd6a34e9f2e6fa4f01fc34e3dbd1434fc0edf8f26197818e1578ad8e5eac4437f3804a26940f EBUILD boogie-3.2.1.ebuild 9503 BLAKE2B b6c691cc37796b44fb165f9289199bb928791a5cc09665a6a5b9151cccebb9c7cb84a4829f3591ccd326bd14c1485dbd5fefe4e9790b292ee564377517cee2ef SHA512 a89c91a9cbfe9f54a2511acb015071ef914e963a6bfd0ca065a3f6e7f945dafcb50b43dcd4d3a905d594ed95585ec6fdafef3a6c9d8618aec7e9afdf3e688220 -EBUILD boogie-3.2.3.ebuild 9504 BLAKE2B cd6159246008d9410453f1ab139838816e22f517768a2584192165afb2151b3c80e568230a4edc00b57b232f49cf71e9a178c0ecf0ddda0d72a221f0d7f23a2e SHA512 bb399d2c6717f1dfa599b15409d1590aaac4f437dafb1805cd20eba1bbf5c619ffc34f65c2eb39f78842d3be88ccf39a0e1f354bdeaaa76945d78418d52b5b49 +EBUILD boogie-3.2.3.ebuild 9503 BLAKE2B b6c691cc37796b44fb165f9289199bb928791a5cc09665a6a5b9151cccebb9c7cb84a4829f3591ccd326bd14c1485dbd5fefe4e9790b292ee564377517cee2ef SHA512 a89c91a9cbfe9f54a2511acb015071ef914e963a6bfd0ca065a3f6e7f945dafcb50b43dcd4d3a905d594ed95585ec6fdafef3a6c9d8618aec7e9afdf3e688220 EBUILD boogie-3.2.4.ebuild 9627 BLAKE2B 6e94bbf75ebf930941f9d4a118af4ef2a894518555f3b4792a48d10f6683ddf55598a105231c8ef20c7152bd5f09b95bfadd33d050fde885e0d0133e9dbcb9f7 SHA512 f2514c888d9e1437ca0a83baf66e6a4f60ef00bd864b8c142fa5d9d75408456efa1e4f525cbcf63e8653e8db46f63343fe890dc161752e4035ba96618a2c63e0 MISC metadata.xml 1102 BLAKE2B 215544658792715aae72787f7c949ed89df9c05ceab5a919a861c02b7938c0d1ee228e0ede55008287b616faf70992a8c1f2854e6e5e1fc909718ae682996bb8 SHA512 b6a626c485e2a5db3390da62c629507a60417eda8b508d7ed8d1c017ac337743d2c4fe0e8554b103f989176dcd2969cc8579e91532b07a22c1b66328ef241e8d diff --git a/dev-lang/boogie/boogie-3.2.3.ebuild b/dev-lang/boogie/boogie-3.2.3.ebuild index baa291441b16..cfadd672d17a 100644 --- a/dev-lang/boogie/boogie-3.2.3.ebuild +++ b/dev-lang/boogie/boogie-3.2.3.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} " |