gentoo auto-resync : 24:04:2024 - 23:59:27

2 files changed, 4 insertions, 3 deletions

diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
index 4a1a786ebf4a..f0a8e8c9fcdb 100644
--- a/dev-lang/boogie/Manifest
+++ b/dev-lang/boogie/Manifest
@@ -1,7 +1,7 @@
 AUX boogie-3.0.4-disable-analyzers.patch 764 BLAKE2B 965f6a8007a4324aa95b165109dcbc85f7bba5696d04772c53cfb1e456d0c60d2d3dce9103df641fe7f565d2a2d4e04a5d02aba43ac1ccc4527dcaae90b7b28b SHA512 b8c7b9172cd2f45be84058babd33c75f37dcb08f6c1a0b7c79b0ae2bd8afec70b29886f23d0a5553a00e1d3761a7788db0444d06788ee32aed2d1c2cd7cb9554
-DIST boogie-3.1.2.tar.gz 2038757 BLAKE2B 5e20b8c4d02fb623a9b7ae053677ae148d1d5db8a3a7530088a56f25fed1708946ca9bf9f2509fecfe994963b65c52a83238870d5060e7a787d2330b2cf98628 SHA512 218dbdcc979de6d8fb871596906a5403935b9dd06b8ad74eab2face0c7a1d04946b692fbe635e23bbad4b0a9e74de6159c53c38069be627ab6a916a09050a282
 DIST boogie-3.1.3.tar.gz 2038898 BLAKE2B 4a5604d6b00ca81393ccf37c542bfed3f3983453b1fd390fc466e37c7133030f1b453c61f2907bb399fe2891e134dcf3dc86b1ac562cd4ed34b634625320497d SHA512 2ae4bd267ea4636c4f52cb7aae0907db9b8411d6f19d35a9338237ef7820f6cf03ebe9939497fe34a646e8b1f69da0882a5765bcc1224bb8cdfd2a7f999d8862
 DIST boogie-3.1.4.tar.gz 2050762 BLAKE2B 01a8faa38a3a7d134d8f5d54f2b8e0a6a2a07b11d46469c8dbd65d80987e3292cd61937437321e6f79ab55895f6dbe5cfdf410d311f314ab7ed69f684a48d98b SHA512 76a9a4cb2ae2ac49db7fdbca049f797c1272b19e1a783541a74cd310b085c8bab5360fee4293d4f1478371ae26368751e2f658965023a4d7a7dc6b9d25489edb
+DIST boogie-3.1.5.tar.gz 2051316 BLAKE2B 903c6bc2d9cfbf3cde7aa301f229b87ac5ac8f855f70efaf399a9d7f0a5b7d047417a47f162afccd40e33fcc870f74b5f0c03a0f032686f0f9732f078d756870 SHA512 e248139a4ae06e9f5ad02d1bdc1bec5dec32d6c9a3895438a7da9b220b191784f9a92ec678d142070bf8d250e901bbd8ac55706e822972654966bc15743bd0bd
 DIST microsoft.bcl.asyncinterfaces.6.0.0.nupkg 76354 BLAKE2B aca3f5db71e4037dbdd604aeaebcd0962ccc171915b77b4c409ab744bf0a469c7d588f9504fc7fa49e3863e9593b66b4083235cb49e812d1f87b3dadb32e6003 SHA512 221a05a0c910f7a87b620d8f3831ed392b4eb95d112bee274d35f27009ad2a26445de9d7cd235fe6fb4a03f2550874bda3be3dddd96edaf9c0852a9c23d7b099
 DIST microsoft.codecoverage.16.2.0.nupkg 3133582 BLAKE2B 418cf403247d594cde0d827f8ca8690019a7631525f07993937085f4bbf8473364b4c99aea6e8b7b0020208d15fe0da63f0f4e69c273493c51ae011e8bd82667 SHA512 91f1d43fc038a20f5367d9aab669105dc7514dfbe749260b52789c09a75abcc6bdc000ee0c7f432231d4cc09e99bf5b863dd6289d813342f74d9dad23a651625
 DIST microsoft.csharp.4.0.1.nupkg 462346 BLAKE2B 209ccebc9103b803d26ea1f0232245c3cd231078b03a83a0011a2a79a1a8a324a72c5b3fda94b2686fff170932f366e165f81a36a70df590a39c45d70778e4be SHA512 c0e75a9162f28ba4c4572c8fac4fd4c8c97d6d3505a37683646ba5f7e5f6ac0da69d5200d2646054de90e8e08f893a10e514591b69b8273640842b2cf90bddec
@@ -192,7 +192,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.1.2.ebuild 9318 BLAKE2B 5b979a6e77f86729ac49a7faa04836e5f2f1cdf1644b3b567c4f9e625abcc0e167aac7e171c0c77194989c8a72b8f3d69b5bf29cf25a5a981d36166bad452bc2 SHA512 18df1494f3651cd39a5edcbefc33257e38086eca3a5d9057f65f36b7c8efccc8467ff0aed7dde553b692418821b094d42e563d9fa522c121d87349fdc17543d3
 EBUILD boogie-3.1.3.ebuild 9370 BLAKE2B e233893308e1b7081b849146906fd03dc2e5ebbbefeaa1e689908c6f6e1332740e8212ed8bcc113349d73471b3dd00de65ea9b43be4dbc882bb94a485eb79770 SHA512 921327b53e5e579b2dd8a71182039de0c454aaf19b24bb56fef7af79f18f54f9eac367546ffe859591c5540fda8ed11763b49d707c412049b991d22455eabcb6
 EBUILD boogie-3.1.4.ebuild 9371 BLAKE2B e2ad13decab6ffbd414b8776b1471b9a92bb8da659ab6db9aab830da47918ac51cd3109d13902679f4a456d078fdc19215f8dc51a495297baa841141ca448ae4 SHA512 e0d9cf21afcab3b8a59392ba173ef307de9f77b0b4d0bd25483fe5337f5fa7163e71b9260afd193f430ee053c5a624f6dfad00f66e80f6e1c11eb4eb9fc834b2
+EBUILD boogie-3.1.5.ebuild 9371 BLAKE2B e2ad13decab6ffbd414b8776b1471b9a92bb8da659ab6db9aab830da47918ac51cd3109d13902679f4a456d078fdc19215f8dc51a495297baa841141ca448ae4 SHA512 e0d9cf21afcab3b8a59392ba173ef307de9f77b0b4d0bd25483fe5337f5fa7163e71b9260afd193f430ee053c5a624f6dfad00f66e80f6e1c11eb4eb9fc834b2
 MISC metadata.xml 1102 BLAKE2B 215544658792715aae72787f7c949ed89df9c05ceab5a919a861c02b7938c0d1ee228e0ede55008287b616faf70992a8c1f2854e6e5e1fc909718ae682996bb8 SHA512 b6a626c485e2a5db3390da62c629507a60417eda8b508d7ed8d1c017ac337743d2c4fe0e8554b103f989176dcd2969cc8579e91532b07a22c1b66328ef241e8d
diff --git a/dev-lang/boogie/boogie-3.1.2.ebuild b/dev-lang/boogie/boogie-3.1.5.ebuild
index 7a1a6ee296b5..d7ab20c085a9 100644
--- a/dev-lang/boogie/boogie-3.1.2.ebuild
+++ b/dev-lang/boogie/boogie-3.1.5.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} "
@@ -255,6 +255,7 @@ src_prepare() {
 	# Remove bad tests.
 	local -a bad_tests=(
 		civl/inductive-sequentialization/BroadcastConsensus.bpl
+		civl/inductive-sequentialization/ChangRoberts.bpl
 		civl/inductive-sequentialization/PingPong.bpl
 		civl/large-samples/GC.bpl
 		civl/paxos/is.sh