diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-11-14 04:26:46 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-11-14 04:26:46 +0000 |
| commit | 62ce4dfbf01c603a668dabde87ccc5b4ca4069af (patch) | |
| tree | 7b3cda13b94b1830f816c9e0e0d728d4af37d1d4 /dev-lang/boogie | |
| parent | 48b1a38e1711d2eec2733c3cd4b1b8ae49fbc47a (diff) | |
gentoo auto-resync : 14:11:2023 - 04:26:45
Diffstat (limited to 'dev-lang/boogie')
| -rw-r--r-- | dev-lang/boogie/Manifest | 2 | ||||
| -rw-r--r-- | dev-lang/boogie/boogie-3.0.5.ebuild | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest index e30c8d463d4b..7941f891830d 100644 --- a/dev-lang/boogie/Manifest +++ b/dev-lang/boogie/Manifest @@ -193,5 +193,5 @@ DIST system.xml.xpath.4.3.0.nupkg 250182 BLAKE2B 8a4177d47af56bc7a6289ed8f2cac41 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.4.ebuild 9013 BLAKE2B af1950dde0419ab27525a3fe2f01698fcc89c1b143e94547f7ee0081b918777ff8e47de14cebc6e562d2fd7b97bece1d846c75eeb70143234a1ec7440d5d816c SHA512 e17ce6de4eb7c590765ef3d9e3fe4f3b72297388d4767eee7ecbe01b20f454343dafe823a3132c57edec4d84b34c8d30bd14ab48422f7ffdb4e5c26bfef67ed2 -EBUILD boogie-3.0.5.ebuild 9013 BLAKE2B af1950dde0419ab27525a3fe2f01698fcc89c1b143e94547f7ee0081b918777ff8e47de14cebc6e562d2fd7b97bece1d846c75eeb70143234a1ec7440d5d816c SHA512 e17ce6de4eb7c590765ef3d9e3fe4f3b72297388d4767eee7ecbe01b20f454343dafe823a3132c57edec4d84b34c8d30bd14ab48422f7ffdb4e5c26bfef67ed2 +EBUILD boogie-3.0.5.ebuild 9012 BLAKE2B 0783ce4ca8e4c0b3adebdb381cc256a062a6708522fcb61b8eae6488ef980c6ddc94f454e0c3f8c80ce1549824ead0ecdbbd164d6a259c4598ded80452c0ecee SHA512 b95139529d07688c7fa8d3b46df2956c2afef76ee99ac939bdd2e93edbc8cdd5ca228a780c781d6473116e6eec1f1d16c3e1f3aaacebeb23f976edf6d683d73f MISC metadata.xml 1102 BLAKE2B 215544658792715aae72787f7c949ed89df9c05ceab5a919a861c02b7938c0d1ee228e0ede55008287b616faf70992a8c1f2854e6e5e1fc909718ae682996bb8 SHA512 b6a626c485e2a5db3390da62c629507a60417eda8b508d7ed8d1c017ac337743d2c4fe0e8554b103f989176dcd2969cc8579e91532b07a22c1b66328ef241e8d diff --git a/dev-lang/boogie/boogie-3.0.5.ebuild b/dev-lang/boogie/boogie-3.0.5.ebuild index 8cb18a16b354..0bcacffb7c72 100644 --- a/dev-lang/boogie/boogie-3.0.5.ebuild +++ b/dev-lang/boogie/boogie-3.0.5.ebuild @@ -211,7 +211,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} " |