gentoo auto-resync : 09:10:2024 - 04:26:32

2 files changed, 11 insertions, 9 deletions

diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
index d665b9edb329..dfbdd8631da8 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.2.3.tar.gz 2064649 BLAKE2B f8388d782f90351a9a63aa8a9f68e70a562e76f12b376ae20c0adc6c31c85341b1676290a9128d72b65c97ccdf14c2a83f5e0fb87cfc86595f083f04e9b0b1f8 SHA512 9b56cf1c0a9b66d9c20719c85da196d531eb242ab2fbbad4dbba494761d00e9551b2945f86f269339803cebff99e98cea7a807598c42efcdb194d930f63e75c2
 DIST boogie-3.2.4.tar.gz 2067404 BLAKE2B 3c7edfa3c78335f587e9b3216599c2ffef639ba78103889d1a08236824b04a501a6def08393e08e506eadf1805a8a7310b252b03762f737d28bbab978364710c SHA512 a7d87a980b9b23540102276857621e24c020b6a66762e57c008ab2aa0f82255ba7c0c03b13e7e8ab6e94088e031b23ff2463ef2a96c3e2f572651030b89ce286
 DIST boogie-3.2.5.tar.gz 2067333 BLAKE2B 2014351c53fa9a7fcea6cc11f8d236b398b9f44acf0ff388e45a9e3b3e306963b939c45619c4227d398100ab52d6deebaeb5a5d668047cd6d5e631b058f89a07 SHA512 92896489f82ee158b851b3579b363e43dc69c3490815e9f1ba17da115fd6f6f7264e4fcf8388b5dd1891c8ff63514df6ec037454029fb80c5db71381c4d4e8a9
+DIST boogie-3.3.0.tar.gz 2072702 BLAKE2B 1731c4e32ddbc3d311f3eea5d12946008060fb7fa99b16b40699e0126417b18d6bc9f66343d8870b699a39a7dd9f7fca10d7e1660c5d154193a7d87206c6fc95 SHA512 4c9c19c7b7188a0ff39bb9fd56625d5b3ef97d857e5686fc850ea060470aaef3fafc5bf50e1eb8cde13b6b1d01a2e3450db38c77bd79ca48f663e42464c1bad1
 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.2.3.ebuild 9503 BLAKE2B b6c691cc37796b44fb165f9289199bb928791a5cc09665a6a5b9151cccebb9c7cb84a4829f3591ccd326bd14c1485dbd5fefe4e9790b292ee564377517cee2ef SHA512 a89c91a9cbfe9f54a2511acb015071ef914e963a6bfd0ca065a3f6e7f945dafcb50b43dcd4d3a905d594ed95585ec6fdafef3a6c9d8618aec7e9afdf3e688220
 EBUILD boogie-3.2.4.ebuild 9626 BLAKE2B a2ddffedfc66c1264361324380ce46cc7a8726383dd01b03a8d6dac77284cddbb36e4a7bf0e502121c49b08b3f251c34d09d64c819841b18b2b744aa0f886a21 SHA512 6ce9dbe28b8177ca232da791d3151a966ecb78824e84b59b5b5f87b4d2758f1a471ec2c42a3661966bbc4dd317f8aff5c61bcb0a8ca073619739121ca51d1993
 EBUILD boogie-3.2.5.ebuild 9627 BLAKE2B 6e94bbf75ebf930941f9d4a118af4ef2a894518555f3b4792a48d10f6683ddf55598a105231c8ef20c7152bd5f09b95bfadd33d050fde885e0d0133e9dbcb9f7 SHA512 f2514c888d9e1437ca0a83baf66e6a4f60ef00bd864b8c142fa5d9d75408456efa1e4f525cbcf63e8653e8db46f63343fe890dc161752e4035ba96618a2c63e0
+EBUILD boogie-3.3.0.ebuild 9599 BLAKE2B 5f5ab10f20e8c6205247564d07838f4d6d8fe7490a44135559647cfaf43ed94d07e67151fb02f215f75af9dc8365d7b836c54f9703ae2a607c0beb6c6ebaf0da SHA512 73fa3ba805dc6592f1bf9614e3f375d5beaad9a51f381b802962935f4caec4355f523c1ecd413b15d5faf10d39d8b660bf46e008d9621dd4419959cfbe8149ef
 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.3.0.ebuild
index cfadd672d17a..c384b894ab29 100644
--- a/dev-lang/boogie/boogie-3.2.3.ebuild
+++ b/dev-lang/boogie/boogie-3.3.0.ebuild
@@ -3,7 +3,7 @@
 
 EAPI=8
 
-DOTNET_PKG_COMPAT=8.0
+DOTNET_PKG_COMPAT="8.0"
 NUGETS="
 microsoft.bcl.asyncinterfaces@6.0.0
 microsoft.codecoverage@16.2.0
@@ -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} "
@@ -257,10 +257,13 @@ src_prepare() {
 		civl/inductive-sequentialization/BroadcastConsensus.bpl
 		civl/inductive-sequentialization/ChangRoberts.bpl
 		civl/inductive-sequentialization/PingPong.bpl
+		civl/inductive-sequentialization/distributed-snapshot.bpl
 		civl/large-samples/GC.bpl
+		civl/large-samples/verified-ft.bpl
 		civl/paxos/is.sh
 		civl/samples/reserve.bpl
 		civl/samples/treiber-stack.bpl
+		havoc0/MouseClassFindMorePorts.bpl
 		inst/vector-generic.bpl
 		livevars/stack_overflow.bpl
 		prover/cvc5-offline.bpl
@@ -269,10 +272,9 @@ src_prepare() {
 		prover/z3-hard-timeout.bpl
 		prover/z3mutl.bpl
 		snapshots/runtest.snapshot
-		test0/AssumeFalseSplit/AssumeFalseSplit.bpl
-		test0/Split/Split.bpl
 		test15/CaptureInlineUnroll.bpl
 		test2/Timeouts0.bpl
+		test2/git-issue-366.bpl
 		test21/InterestingExamples4.bpl
 	)
 	local bad_test
@@ -290,9 +292,9 @@ src_prepare() {
 src_test() {
 	einfo "Starting tests using the lit test tool."
 	local -a lit_opts=(
-		--order=lexical
+		--order="lexical"
 		--time-tests
-		--timeout 1800            # Let one test take no more than half a hour.
+		--timeout="1800"          # Let one test take no more than half a hour.
 		--verbose
 		--workers="$(makeopts_jobs)"
 	)
@@ -301,7 +303,7 @@ src_test() {
 
 src_install() {
 	dotnet-pkg-base_install
-	dotnet-pkg-base_dolauncher "/usr/share/${P}/BoogieDriver" boogie
+	dotnet-pkg-base_dolauncher "/usr/share/${P}/BoogieDriver" "${PN}"
 
 	einstalldocs
 }