gentoo auto-resync : 19:03:2024 - 00:49:58

5 files changed, 4 insertions, 24 deletions

diff --git a/dev-lang/Manifest.gz b/dev-lang/Manifest.gz
index ff099b77169b..c475280e92b6 100644
--- a/dev-lang/Manifest.gz
+++ b/dev-lang/Manifest.gz
diff --git a/dev-lang/dafny/Manifest b/dev-lang/dafny/Manifest
index a0a3d990bb69..fa26690f9fa9 100644
--- a/dev-lang/dafny/Manifest
+++ b/dev-lang/dafny/Manifest
@@ -374,5 +374,5 @@ DIST xunit.runner.visualstudio.2.4.3.nupkg 809588 BLAKE2B ce18ac895657d1efa9752e
 DIST xunit.runner.visualstudio.2.5.1.nupkg 348549 BLAKE2B 530ffc6b699a1589ad6a7fb5aa826d7238b63ea8dcd13ce5705a3d29a0ba70edeac2d9950cd1a00a13a779add761e4e14335689051a43b4cd662a330734e4df7 SHA512 0cc7887e7c7c3315db31aab79df236db9b5542e0234c27543dd5b11cf917674a8fdebc384e7331663b08d586fcf20628479a20ad7edbed4e61667903e812c6f0
 DIST xunit.skippablefact.1.4.8.nupkg 44542 BLAKE2B 3c9b09d5196e8901770099b2e5078d9373e8ebc2da058a9071707d6fee56eab7c876578734f3be5b088db6ae83c8ad81a3aadfcab38e1fd2b28bd25601fe5463 SHA512 a2c680223bda4f9bfdbd751c8d6a5319e0a4611533272860ca0a396b26c473a13065301a5d8973074ea2bb5119caaeec5a67d547a96ae5d762dc09f337f51ad1
 EBUILD dafny-4.4.0-r1.ebuild 18791 BLAKE2B 82082f5eeadc299a7854a17896199a6feb084b95ca383fa1cf55d402a3a2099e038cb48f8502a5abdbc1f8f31fa985f4c376dc88889c39e5c2743907f4d50d19 SHA512 f50a039842519acd5c93d5f29d563fdbfdf4615344b4b1cfb6493a1a3a54d7dd646c8db49ebaa2541f482156b6660ab72f9315a4d47107fd5bb650acd9ebc472
-EBUILD dafny-4.5.0.ebuild 19421 BLAKE2B 69da91700d20e89689ffc91d1552abefc388289d2e2c1e4a99b2b261e6d621742479275d3f6544d93966511211338869e2c55064798e2b7c6a86013eac3586cb SHA512 73055410ee68a2ad7ff4a39bb1e16ec44791f7e6ec57bbe9818097cecd50379c7929b373690e71a4531c4725e8686f821f722994a73a993b866e2def700c967d
+EBUILD dafny-4.5.0.ebuild 19547 BLAKE2B ec7d8bc7fc9c9270f8a8bf497b4e2e7caf813b5edb75ae756174ba643e5d5eb0d468ddaac00b2523b4113fbe41fc1f4785209261681714bf7edafdac7851b5c4 SHA512 374ff6264d48ac542a1ca9b82566709878444821333ce6eb26468818744fc91c489ebcc92e6ec6bb4f7a2eec1fa089db5a33f1c4797b2daeb9a997e79b1df9ec
 MISC metadata.xml 1884 BLAKE2B e3a53cfd90a4edf1d9fd9f567ac3c23fd88cc46602cfe6aea31ddc40585ebc89ab82833dcd21c82083671a54454d62f162f45d56d6b0ec9c202148b3d5ea2c6d SHA512 4cffb9c237ed85097ce1496a72f5aa9c5a0f5758402fe66ff745a3b1dbc3f8d9a40fecc9140ee1b9418f09b62794f7e0a47f908e6ba01b370087d4df62bfa46e
diff --git a/dev-lang/dafny/dafny-4.5.0.ebuild b/dev-lang/dafny/dafny-4.5.0.ebuild
index 1f25339c17f6..601423b0fbfa 100644
--- a/dev-lang/dafny/dafny-4.5.0.ebuild
+++ b/dev-lang/dafny/dafny-4.5.0.ebuild
@@ -485,7 +485,10 @@ src_prepare() {
 		git-issues/git-issue-2299.dfy
 		git-issues/git-issue-2301.dfy
 		git-issues/git-issue-505.dfy
+		metatests/InconsistentCompilerBehavior.dfy
+		metatests/TestBeyondVerifierExpect.dfy
 		separate-verification/assumptions.dfy
+		server/counterexample_none.transcript
 		triggers/emptyTrigger.dfy
 		unicodechars/DafnyTests/RunAllTestsOption.dfy
 		vstte2012/Combinators.dfy
diff --git a/dev-lang/moarvm/Manifest b/dev-lang/moarvm/Manifest
index ec6c7ca31853..045a2abf99e9 100644
--- a/dev-lang/moarvm/Manifest
+++ b/dev-lang/moarvm/Manifest
@@ -1,4 +1,3 @@
-AUX moarvm-2023.02-fix-build-clang16.patch 1050 BLAKE2B fa384226d7eaa5fa5dfe26c51d9de6fcb355af8e808097c75839d3ca8eab8919391c5b1cde7863899a51c11a8237285fd3d0d6ae26a77a0c02cda6b008a6364a SHA512 2baea3fb8787a87cef2fc298e1aaa01d82143942e1cfdd0891609f2fbf51b8a54457fd3ecd7ad7d0e25a805db5f86cf6a8df3c25e9dd66f7c1d112a4cecdf516
 DIST MoarVM-2023.12.tar.gz 14942980 BLAKE2B f42caa33cadf2b878c1d0de0994c32d18b81b6e56c684a7ccee54c6abc3ff6abaa4f1e5420f2320aca185d29b2fbf02ec81abaf3eb5e334a5c903c3475d55db7 SHA512 9e756e8248cd8fd02efc3d14cd5e0a32cfbb7050a96d94d011009aeb9ec1ca5e9646a3c25b8741702b88abf3faf6aae43df43ca719e1ab17478c6d1984720f59
 DIST MoarVM-2024.02.tar.gz 14951164 BLAKE2B 9416cea0b454b29c6d5662090428d790ea437bca1814a084a2c1478268c0eb74764205bca892b5e8de820b2201df154b92503e6243eb4a927a822374a5c09f86 SHA512 e629edb3fb365fd4cd988d9c08d46ecaf002156452e22c3a0c716641eeadb5b7f0434de4e2ec3ce9c8dc354280dc419d716382c160d400ba3970decffc996ed8
 EBUILD moarvm-2023.12.ebuild 1458 BLAKE2B fa2c83706ff582875199707fae7563bebf66c7079c0b7a8520df715553da2e32f551a2e912a8e1cdfe6ab03f5accb57a852be82f22c136436aecbefe7ce6d7ee SHA512 a7cfc6c83239aeb394b87f0b7149f40001075f4c26e2b935fccd7e30113d6e2d5dc8aec2182cea2f36eb66aa8dc9263b850eeba024910656ba7ae0722f55806c
diff --git a/dev-lang/moarvm/files/moarvm-2023.02-fix-build-clang16.patch b/dev-lang/moarvm/files/moarvm-2023.02-fix-build-clang16.patch
deleted file mode 100644
index 9f8a60672ee2..000000000000
--- a/dev-lang/moarvm/files/moarvm-2023.02-fix-build-clang16.patch
+++ /dev/null
@@ -1,22 +0,0 @@
-Bug: https://bugs.gentoo.org/881335
-Upstream PR: https://github.com/MoarVM/MoarVM/pull/1764
---- a/src/6model/containers.c
-+++ b/src/6model/containers.c
-@@ -114,7 +114,7 @@ static const MVMContainerSpec code_pair_spec = {
-     code_pair_fetch_s,
-     code_pair_store,
-     code_pair_store_i,
--    code_pair_store_i, /* FIXME need a code_pair_store_u but lacking tests showing this need */
-+    (void *)code_pair_store_i, /* FIXME need a code_pair_store_u but lacking tests showing this need */
-     code_pair_store_n,
-     code_pair_store_s,
-     code_pair_store,
-@@ -371,7 +371,7 @@ static const MVMContainerSpec value_desc_cont_spec = {
-     value_desc_cont_fetch_s,
-     value_desc_cont_store,
-     value_desc_cont_store_i,
--    value_desc_cont_store_i, /* FIXME need a value_desc_cont_store_u but lacking tests showing this need */
-+    (void *)value_desc_cont_store_i, /* FIXME need a value_desc_cont_store_u but lacking tests showing this need */
-     value_desc_cont_store_n,
-     value_desc_cont_store_s,
-     value_desc_cont_store_unchecked,