diff options
Diffstat (limited to 'dev-lang/boogie')
| -rw-r--r-- | dev-lang/boogie/Manifest | 2 | ||||
| -rw-r--r-- | dev-lang/boogie/boogie-3.4.3.ebuild | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest index bc0e32ca35df..5d98b03cfb82 100644 --- a/dev-lang/boogie/Manifest +++ b/dev-lang/boogie/Manifest @@ -198,5 +198,5 @@ EBUILD boogie-3.2.5.ebuild 9626 BLAKE2B 195387bb7207203e04e29ec9981fdc560897ab74 EBUILD boogie-3.3.3.ebuild 9596 BLAKE2B 43f531e6ec74e9c8398587c39433c690d64a6aa26bd560336ab286b260860de1b1d260ee6d576125a32b75cbac3e3f7121675d1f29734697f3a663ee901b63ea SHA512 3749b237d6c2722b9d4509f76da90c51e852c7fc5a10385b5c99e3e9e7faab785e92dcc08ce463c83d40e8f670505858c7f9e94a881d9344c1294d10222f61cc EBUILD boogie-3.4.1.ebuild 9563 BLAKE2B 35dc72ca14b65ae6dc908fa6bf26ea4bc05123b2b11b69c646059705d2ea7efb70c0e86297960471d84d6e29f29efada5082a21eb5147a0864e7aa3900d06819 SHA512 c7643bc7199e27ff4e89aa3e4f6024ec15d9ca79413a127236ff30bf79a69f77374b0a3498ee773c20c776346179261a953bcddcce581441a90cb7af75b89954 EBUILD boogie-3.4.2.ebuild 9636 BLAKE2B 37a7165c38195b03f56598571de7f3d291fb2d5f058ee9434d09fe9564de57e518f81620cb5775c781449be5688206689967dbda8d1560c06ae306342b6eba24 SHA512 b381e87e3402e3417be856513c6d3f90ea040c17f5e15542c991e6efef695afcc8bf2574d2f49c86bbd9562a94d80f9c9f648f917c6be16abefb36582db039b4 -EBUILD boogie-3.4.3.ebuild 9636 BLAKE2B 37a7165c38195b03f56598571de7f3d291fb2d5f058ee9434d09fe9564de57e518f81620cb5775c781449be5688206689967dbda8d1560c06ae306342b6eba24 SHA512 b381e87e3402e3417be856513c6d3f90ea040c17f5e15542c991e6efef695afcc8bf2574d2f49c86bbd9562a94d80f9c9f648f917c6be16abefb36582db039b4 +EBUILD boogie-3.4.3.ebuild 9635 BLAKE2B 5bd808c0bad6448100ca8d29acf288087d12a7973a538882609bb65138f99b9f946cedccffed2f00e876dd1467891d35f24d4a6b43458dc59cb66acf9375a0c2 SHA512 fc1082446bab14b653d9706606c54392cb48ed123bc0f48b190f52e0df483baae30176a1ec5e482bd9a070d55326043ef64063d1324d05140e03a64b7dd790be MISC metadata.xml 1102 BLAKE2B 215544658792715aae72787f7c949ed89df9c05ceab5a919a861c02b7938c0d1ee228e0ede55008287b616faf70992a8c1f2854e6e5e1fc909718ae682996bb8 SHA512 b6a626c485e2a5db3390da62c629507a60417eda8b508d7ed8d1c017ac337743d2c4fe0e8554b103f989176dcd2969cc8579e91532b07a22c1b66328ef241e8d diff --git a/dev-lang/boogie/boogie-3.4.3.ebuild b/dev-lang/boogie/boogie-3.4.3.ebuild index 512bb2a4b0dd..165ea833ecb1 100644 --- a/dev-lang/boogie/boogie-3.4.3.ebuild +++ b/dev-lang/boogie/boogie-3.4.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} " |