[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Maciej Barć]

commit: a98af1509eec18f68b78607369e145934e9c90f3
Author: Maciej Barć  gentoo  org>
AuthorDate: Thu May 23 21:21:07 2024 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Thu May 23 22:08:06 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a98af150

dev-lang/boogie: use edo instead of edob

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/boogie/boogie-3.1.4.ebuild | 2 +-
 dev-lang/boogie/boogie-3.1.5.ebuild | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/dev-lang/boogie/boogie-3.1.4.ebuild 
b/dev-lang/boogie/boogie-3.1.4.ebuild
index a8464716070a..ea97294fb5f6 100644
--- a/dev-lang/boogie/boogie-3.1.4.ebuild
+++ b/dev-lang/boogie/boogie-3.1.4.ebuild
@@ -292,7 +292,7 @@ src_test() {
--verbose
--workers="$(makeopts_jobs)"
)
-   edob lit "${lit_opts[@]}" "${S}/Test"
+   edo lit "${lit_opts[@]}" "${S}/Test"
 }
 
 src_install() {

diff --git a/dev-lang/boogie/boogie-3.1.5.ebuild 
b/dev-lang/boogie/boogie-3.1.5.ebuild
index d7ab20c085a9..89031fd4016a 100644
--- a/dev-lang/boogie/boogie-3.1.5.ebuild
+++ b/dev-lang/boogie/boogie-3.1.5.ebuild
@@ -292,7 +292,7 @@ src_test() {
--verbose
--workers="$(makeopts_jobs)"
)
-   edob lit "${lit_opts[@]}" "${S}/Test"
+   edo lit "${lit_opts[@]}" "${S}/Test"
 }
 
 src_install() {

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Maciej Barć]

commit: 311136bc77ac107e7d55fa1dd16630012da44e90
Author: Maciej Barć  gentoo  org>
AuthorDate: Thu May 23 20:18:55 2024 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Thu May 23 22:08:06 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=311136bc

dev-lang/boogie: drop old 3.1.3

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/boogie/Manifest|   1 -
 dev-lang/boogie/boogie-3.1.3.ebuild | 303 
 2 files changed, 304 deletions(-)

diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
index 19e264916358..77e67b70aad6 100644
--- a/dev-lang/boogie/Manifest
+++ b/dev-lang/boogie/Manifest
@@ -1,4 +1,3 @@
-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 
221a05a0c910f7a87b620d8f3831ed392b4eb95d112bee274d35f27009ad2a26445de9d7cd235fe6fb4a03f2550874bda3be396edaf9c0852a9c23d7b099

diff --git a/dev-lang/boogie/boogie-3.1.3.ebuild 
b/dev-lang/boogie/boogie-3.1.3.ebuild
deleted file mode 100644
index a8464716070a..
--- a/dev-lang/boogie/boogie-3.1.3.ebuild
+++ /dev/null
@@ -1,303 +0,0 @@
-# Copyright 1999-2024 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-DOTNET_PKG_COMPAT=8.0
-NUGETS="
-microsoft.bcl.asyncinterfaces@6.0.0
-microsoft.codecoverage@16.2.0
-microsoft.csharp@4.0.1
-microsoft.dotnet.internalabstractions@1.0.0
-microsoft.net.test.sdk@16.2.0
-microsoft.netcore.platforms@1.0.1
-microsoft.netcore.platforms@1.1.0
-microsoft.netcore.targets@1.0.1
-microsoft.netcore.targets@1.1.0
-microsoft.testplatform.objectmodel@16.2.0
-microsoft.testplatform.testhost@16.2.0
-microsoft.win32.primitives@4.0.1
-microsoft.win32.primitives@4.3.0
-microsoft.win32.registry@4.0.0
-microsoft.win32.registry@4.3.0
-microsoft.win32.systemevents@6.0.0
-netstandard.library@1.6.0
-netstandard.library@2.0.0
-newtonsoft.json@9.0.1
-nunit@3.12.0
-nunit3testadapter@3.15.1
-runtime.any.system.collections@4.3.0
-runtime.any.system.diagnostics.tools@4.3.0
-runtime.any.system.diagnostics.tracing@4.3.0
-runtime.any.system.globalization.calendars@4.3.0
-runtime.any.system.globalization@4.3.0
-runtime.any.system.io@4.3.0
-runtime.any.system.reflection.extensions@4.3.0
-runtime.any.system.reflection.primitives@4.3.0
-runtime.any.system.reflection@4.3.0
-runtime.any.system.resources.resourcemanager@4.3.0
-runtime.any.system.runtime.handles@4.3.0
-runtime.any.system.runtime.interopservices@4.3.0
-runtime.any.system.runtime@4.3.0
-runtime.any.system.text.encoding.extensions@4.3.0
-runtime.any.system.text.encoding@4.3.0
-runtime.any.system.threading.tasks@4.3.0
-runtime.any.system.threading.timer@4.3.0
-runtime.debian.8-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.fedora.23-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.fedora.24-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.native.system.io.compression@4.1.0
-runtime.native.system.net.http@4.0.1
-runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.native.system.security.cryptography@4.0.0
-runtime.native.system@4.0.0
-runtime.native.system@4.3.0
-runtime.opensuse.13.2-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.opensuse.42.1-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.osx.10.10-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.rhel.7-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.ubuntu.14.04-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.ubuntu.16.04-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.ubuntu.16.10-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.unix.microsoft.win32.primitives@4.3.0
-runtime.unix.system.console@4.3.0
-runtime.unix.system.diagnostics.debug@4.3.0
-runtime.unix.system.io.filesystem@4.3.0

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Maciej Barć]

commit: 6d0cd00432ebe4f14003ce20111cb93a4971c997
Author: Maciej Barć  gentoo  org>
AuthorDate: Thu May 23 21:15:48 2024 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Thu May 23 22:08:06 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6d0cd004

dev-lang/boogie: bump to 3.1.6

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/boogie/Manifest|   1 +
 dev-lang/boogie/boogie-3.1.6.ebuild | 305 
 2 files changed, 306 insertions(+)

diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
index 77e67b70aad6..3214fc39b191 100644
--- a/dev-lang/boogie/Manifest
+++ b/dev-lang/boogie/Manifest
@@ -1,5 +1,6 @@
 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 boogie-3.1.6.tar.gz 2053303 BLAKE2B 
bc4c9ee72e605b1c78140f6120d0fe8ffcad663638829b28e8b5c7238d7265c156ad8994f4bb79989aea030b571b261f71b09050d80ab5a94625e47adc29a74d
 SHA512 
31c4ca25bde610354f5ce4aaeab8f885c89f443a2d96671d55b4b38dc5dc30b6060f89100dba68a2bc962d6169618e1ab9f6958b1f12730687fa1e5c47267663
 DIST microsoft.bcl.asyncinterfaces.6.0.0.nupkg 76354 BLAKE2B 
aca3f5db71e4037dbdd604aeaebcd0962ccc171915b77b4c409ab744bf0a469c7d588f9504fc7fa49e3863e9593b66b4083235cb49e812d1f87b3dadb32e6003
 SHA512 
221a05a0c910f7a87b620d8f3831ed392b4eb95d112bee274d35f27009ad2a26445de9d7cd235fe6fb4a03f2550874bda3be396edaf9c0852a9c23d7b099
 DIST microsoft.codecoverage.16.2.0.nupkg 3133582 BLAKE2B 
418cf403247d594cde0d827f8ca8690019a7631525f07993937085f4bbf8473364b4c99aea6e8b7b0020208d15fe0da63f0f4e69c273493c51ae011e8bd82667
 SHA512 
91f1d43fc038a20f5367d9aab669105dc7514dfbe749260b52789c09a75abcc6bdc000ee0c7f432231d4cc09e99bf5b863dd6289d813342f74d9dad23a651625
 DIST microsoft.csharp.4.0.1.nupkg 462346 BLAKE2B 
209ccebc9103b803d26ea1f0232245c3cd231078b03a83a0011a2a79a1a8a324a72c5b3fda94b2686fff170932f366e165f81a36a70df590a39c45d70778e4be
 SHA512 
c0e75a9162f28ba4c4572c8fac4fd4c8c97d6d3505a37683646ba5f7e5f6ac0da69d5200d2646054de90e8e08f893a10e514591b69b8273640842b2cf90bddec

diff --git a/dev-lang/boogie/boogie-3.1.6.ebuild 
b/dev-lang/boogie/boogie-3.1.6.ebuild
new file mode 100644
index ..9a7d7f9626f1
--- /dev/null
+++ b/dev-lang/boogie/boogie-3.1.6.ebuild
@@ -0,0 +1,305 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+DOTNET_PKG_COMPAT=8.0
+NUGETS="
+microsoft.bcl.asyncinterfaces@6.0.0
+microsoft.codecoverage@16.2.0
+microsoft.csharp@4.0.1
+microsoft.dotnet.internalabstractions@1.0.0
+microsoft.net.test.sdk@16.2.0
+microsoft.netcore.platforms@1.0.1
+microsoft.netcore.platforms@1.1.0
+microsoft.netcore.targets@1.0.1
+microsoft.netcore.targets@1.1.0
+microsoft.testplatform.objectmodel@16.2.0
+microsoft.testplatform.testhost@16.2.0
+microsoft.win32.primitives@4.0.1
+microsoft.win32.primitives@4.3.0
+microsoft.win32.registry@4.0.0
+microsoft.win32.registry@4.3.0
+microsoft.win32.systemevents@6.0.0
+netstandard.library@1.6.0
+netstandard.library@2.0.0
+newtonsoft.json@9.0.1
+nunit@3.12.0
+nunit3testadapter@3.15.1
+runtime.any.system.collections@4.3.0
+runtime.any.system.diagnostics.tools@4.3.0
+runtime.any.system.diagnostics.tracing@4.3.0
+runtime.any.system.globalization.calendars@4.3.0
+runtime.any.system.globalization@4.3.0
+runtime.any.system.io@4.3.0
+runtime.any.system.reflection.extensions@4.3.0
+runtime.any.system.reflection.primitives@4.3.0
+runtime.any.system.reflection@4.3.0
+runtime.any.system.resources.resourcemanager@4.3.0
+runtime.any.system.runtime.handles@4.3.0
+runtime.any.system.runtime.interopservices@4.3.0
+runtime.any.system.runtime@4.3.0
+runtime.any.system.text.encoding.extensions@4.3.0
+runtime.any.system.text.encoding@4.3.0
+runtime.any.system.threading.tasks@4.3.0
+runtime.any.system.threading.timer@4.3.0
+runtime.debian.8-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.fedora.23-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.fedora.24-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.native.system.io.compression@4.1.0
+runtime.native.system.net.http@4.0.1
+runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.native.system.security.cryptography@4.0.0
+runtime.native.system@4.0.0
+runtime.native.system@4.3.0
+runtime.opensuse.13.2-x64.runtime.native.system.security.cryptography.openssl@4.3.0

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Sam James]

commit: 62ac6c6aa24099ecd67ca23a00ccd9cda19b
Author: Sam James  gentoo  org>
AuthorDate: Sat May 18 03:19:06 2024 +
Commit: Sam James  gentoo  org>
CommitDate: Sat May 18 03:19:06 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=62ac

dev-lang/boogie: Stabilize 3.1.4 amd64, #932113

Signed-off-by: Sam James  gentoo.org>

 dev-lang/boogie/boogie-3.1.4.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-lang/boogie/boogie-3.1.4.ebuild 
b/dev-lang/boogie/boogie-3.1.4.ebuild
index d7ab20c085a9..a8464716070a 100644
--- a/dev-lang/boogie/boogie-3.1.4.ebuild
+++ b/dev-lang/boogie/boogie-3.1.4.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} "

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Maciej Barć]

commit: df4fad733ff779e3bb6a5977101c061e171420fd
Author: Maciej Barć  gentoo  org>
AuthorDate: Wed Apr 24 13:02:52 2024 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Wed Apr 24 17:10:48 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=df4fad73

dev-lang/boogie: drop old 3.1.2

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/boogie/Manifest|   1 -
 dev-lang/boogie/boogie-3.1.2.ebuild | 302 
 2 files changed, 303 deletions(-)

diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
index 6cacf40b8881..7e7369a21e86 100644
--- a/dev-lang/boogie/Manifest
+++ b/dev-lang/boogie/Manifest
@@ -1,4 +1,3 @@
-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 microsoft.bcl.asyncinterfaces.6.0.0.nupkg 76354 BLAKE2B 
aca3f5db71e4037dbdd604aeaebcd0962ccc171915b77b4c409ab744bf0a469c7d588f9504fc7fa49e3863e9593b66b4083235cb49e812d1f87b3dadb32e6003
 SHA512 
221a05a0c910f7a87b620d8f3831ed392b4eb95d112bee274d35f27009ad2a26445de9d7cd235fe6fb4a03f2550874bda3be396edaf9c0852a9c23d7b099

diff --git a/dev-lang/boogie/boogie-3.1.2.ebuild 
b/dev-lang/boogie/boogie-3.1.2.ebuild
deleted file mode 100644
index 7a1a6ee296b5..
--- a/dev-lang/boogie/boogie-3.1.2.ebuild
+++ /dev/null
@@ -1,302 +0,0 @@
-# Copyright 1999-2024 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-DOTNET_PKG_COMPAT=8.0
-NUGETS="
-microsoft.bcl.asyncinterfaces@6.0.0
-microsoft.codecoverage@16.2.0
-microsoft.csharp@4.0.1
-microsoft.dotnet.internalabstractions@1.0.0
-microsoft.net.test.sdk@16.2.0
-microsoft.netcore.platforms@1.0.1
-microsoft.netcore.platforms@1.1.0
-microsoft.netcore.targets@1.0.1
-microsoft.netcore.targets@1.1.0
-microsoft.testplatform.objectmodel@16.2.0
-microsoft.testplatform.testhost@16.2.0
-microsoft.win32.primitives@4.0.1
-microsoft.win32.primitives@4.3.0
-microsoft.win32.registry@4.0.0
-microsoft.win32.registry@4.3.0
-microsoft.win32.systemevents@6.0.0
-netstandard.library@1.6.0
-netstandard.library@2.0.0
-newtonsoft.json@9.0.1
-nunit@3.12.0
-nunit3testadapter@3.15.1
-runtime.any.system.collections@4.3.0
-runtime.any.system.diagnostics.tools@4.3.0
-runtime.any.system.diagnostics.tracing@4.3.0
-runtime.any.system.globalization.calendars@4.3.0
-runtime.any.system.globalization@4.3.0
-runtime.any.system.io@4.3.0
-runtime.any.system.reflection.extensions@4.3.0
-runtime.any.system.reflection.primitives@4.3.0
-runtime.any.system.reflection@4.3.0
-runtime.any.system.resources.resourcemanager@4.3.0
-runtime.any.system.runtime.handles@4.3.0
-runtime.any.system.runtime.interopservices@4.3.0
-runtime.any.system.runtime@4.3.0
-runtime.any.system.text.encoding.extensions@4.3.0
-runtime.any.system.text.encoding@4.3.0
-runtime.any.system.threading.tasks@4.3.0
-runtime.any.system.threading.timer@4.3.0
-runtime.debian.8-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.fedora.23-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.fedora.24-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.native.system.io.compression@4.1.0
-runtime.native.system.net.http@4.0.1
-runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.native.system.security.cryptography@4.0.0
-runtime.native.system@4.0.0
-runtime.native.system@4.3.0
-runtime.opensuse.13.2-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.opensuse.42.1-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.osx.10.10-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.rhel.7-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.ubuntu.14.04-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.ubuntu.16.04-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.ubuntu.16.10-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.unix.microsoft.win32.primitives@4.3.0
-runtime.unix.system.console@4.3.0
-runtime.unix.system.diagnostics.debug@4.3.0
-runtime.unix.system.io.filesystem@4.3.0

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Maciej Barć]

commit: 378ea2c49236a90f367c0bac9ce63ab39f9ede50
Author: Maciej Barć  gentoo  org>
AuthorDate: Wed Apr 24 13:07:37 2024 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Wed Apr 24 17:10:48 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=378ea2c4

dev-lang/boogie: bump to 3.1.5

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/boogie/Manifest|   1 +
 dev-lang/boogie/boogie-3.1.5.ebuild | 303 
 2 files changed, 304 insertions(+)

diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
index 7e7369a21e86..19e264916358 100644
--- a/dev-lang/boogie/Manifest
+++ b/dev-lang/boogie/Manifest
@@ -1,5 +1,6 @@
 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 
221a05a0c910f7a87b620d8f3831ed392b4eb95d112bee274d35f27009ad2a26445de9d7cd235fe6fb4a03f2550874bda3be396edaf9c0852a9c23d7b099
 DIST microsoft.codecoverage.16.2.0.nupkg 3133582 BLAKE2B 
418cf403247d594cde0d827f8ca8690019a7631525f07993937085f4bbf8473364b4c99aea6e8b7b0020208d15fe0da63f0f4e69c273493c51ae011e8bd82667
 SHA512 
91f1d43fc038a20f5367d9aab669105dc7514dfbe749260b52789c09a75abcc6bdc000ee0c7f432231d4cc09e99bf5b863dd6289d813342f74d9dad23a651625
 DIST microsoft.csharp.4.0.1.nupkg 462346 BLAKE2B 
209ccebc9103b803d26ea1f0232245c3cd231078b03a83a0011a2a79a1a8a324a72c5b3fda94b2686fff170932f366e165f81a36a70df590a39c45d70778e4be
 SHA512 
c0e75a9162f28ba4c4572c8fac4fd4c8c97d6d3505a37683646ba5f7e5f6ac0da69d5200d2646054de90e8e08f893a10e514591b69b8273640842b2cf90bddec

diff --git a/dev-lang/boogie/boogie-3.1.5.ebuild 
b/dev-lang/boogie/boogie-3.1.5.ebuild
new file mode 100644
index ..d7ab20c085a9
--- /dev/null
+++ b/dev-lang/boogie/boogie-3.1.5.ebuild
@@ -0,0 +1,303 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+DOTNET_PKG_COMPAT=8.0
+NUGETS="
+microsoft.bcl.asyncinterfaces@6.0.0
+microsoft.codecoverage@16.2.0
+microsoft.csharp@4.0.1
+microsoft.dotnet.internalabstractions@1.0.0
+microsoft.net.test.sdk@16.2.0
+microsoft.netcore.platforms@1.0.1
+microsoft.netcore.platforms@1.1.0
+microsoft.netcore.targets@1.0.1
+microsoft.netcore.targets@1.1.0
+microsoft.testplatform.objectmodel@16.2.0
+microsoft.testplatform.testhost@16.2.0
+microsoft.win32.primitives@4.0.1
+microsoft.win32.primitives@4.3.0
+microsoft.win32.registry@4.0.0
+microsoft.win32.registry@4.3.0
+microsoft.win32.systemevents@6.0.0
+netstandard.library@1.6.0
+netstandard.library@2.0.0
+newtonsoft.json@9.0.1
+nunit@3.12.0
+nunit3testadapter@3.15.1
+runtime.any.system.collections@4.3.0
+runtime.any.system.diagnostics.tools@4.3.0
+runtime.any.system.diagnostics.tracing@4.3.0
+runtime.any.system.globalization.calendars@4.3.0
+runtime.any.system.globalization@4.3.0
+runtime.any.system.io@4.3.0
+runtime.any.system.reflection.extensions@4.3.0
+runtime.any.system.reflection.primitives@4.3.0
+runtime.any.system.reflection@4.3.0
+runtime.any.system.resources.resourcemanager@4.3.0
+runtime.any.system.runtime.handles@4.3.0
+runtime.any.system.runtime.interopservices@4.3.0
+runtime.any.system.runtime@4.3.0
+runtime.any.system.text.encoding.extensions@4.3.0
+runtime.any.system.text.encoding@4.3.0
+runtime.any.system.threading.tasks@4.3.0
+runtime.any.system.threading.timer@4.3.0
+runtime.debian.8-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.fedora.23-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.fedora.24-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.native.system.io.compression@4.1.0
+runtime.native.system.net.http@4.0.1
+runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.native.system.security.cryptography@4.0.0
+runtime.native.system@4.0.0
+runtime.native.system@4.3.0
+runtime.opensuse.13.2-x64.runtime.native.system.security.cryptography.openssl@4.3.0

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Sam James]

commit: 982b7c8f7732543cbad1c8fecc41af7aa652691c
Author: Sam James  gentoo  org>
AuthorDate: Wed Apr 17 23:10:48 2024 +
Commit: Sam James  gentoo  org>
CommitDate: Wed Apr 17 23:10:48 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=982b7c8f

dev-lang/boogie: Stabilize 3.1.3 amd64, #930159

Signed-off-by: Sam James  gentoo.org>

 dev-lang/boogie/boogie-3.1.3.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-lang/boogie/boogie-3.1.3.ebuild 
b/dev-lang/boogie/boogie-3.1.3.ebuild
index d7ab20c085a9..a8464716070a 100644
--- a/dev-lang/boogie/boogie-3.1.3.ebuild
+++ b/dev-lang/boogie/boogie-3.1.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} "

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Maciej Barć]

commit: cea808376e6cc29b3c8fe134a96bfc635b23b60d
Author: Maciej Barć  gentoo  org>
AuthorDate: Sat Apr 13 22:07:18 2024 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Sat Apr 13 22:55:48 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cea80837

dev-lang/boogie: drop old 3.0.12

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/boogie/Manifest |   1 -
 dev-lang/boogie/boogie-3.0.12.ebuild | 296 ---
 2 files changed, 297 deletions(-)

diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
index cf3f3127842c..2da38d8dc6a6 100644
--- a/dev-lang/boogie/Manifest
+++ b/dev-lang/boogie/Manifest
@@ -1,4 +1,3 @@
-DIST boogie-3.0.12.tar.gz 2044818 BLAKE2B 
0d11cb1288933b1046b46ea3b93336fe08b9897a4aaf42228971e280be2c648b2110d20aaf6533e6d95e51b0a86c1fe507da05eaa908dc0ed885192e9480d0e7
 SHA512 
e2c1d4faad1bb448dd3cd9f6dbd4c70fa913584ef1bedd4938298498850bc6a0b6017924a55d9b48c82189253c2ac8c84a2564afa2d9b237434ad40ea286fbec
 DIST boogie-3.1.1.tar.gz 2038688 BLAKE2B 
ea720665dd9d830de0639b3b2fe08c452e80375e98b8ff9ced473c4beb540a2cb3908415bfbb1582edac9043c17dcbfc014d2dd1dcc3ce0877db436c13a639bd
 SHA512 
704990ebd9b55e4f617249a5e2b4c74a615c61a51da41485eddd8c1b8159f16afd5da13e93f684a97d87c2e1273549977e04180423909c22b026e975d07a0ceb
 DIST boogie-3.1.2.tar.gz 2038757 BLAKE2B 
5e20b8c4d02fb623a9b7ae053677ae148d1d5db8a3a7530088a56f25fed1708946ca9bf9f2509fecfe994963b65c52a83238870d5060e7a787d2330b2cf98628
 SHA512 
218dbdcc979de6d8fb871596906a5403935b9dd06b8ad74eab2face0c7a1d04946b692fbe635e23bbad4b0a9e74de6159c53c38069be627ab6a916a09050a282
 DIST boogie-3.1.3.tar.gz 2038898 BLAKE2B 
4a5604d6b00ca81393ccf37c542bfed3f3983453b1fd390fc466e37c7133030f1b453c61f2907bb399fe2891e134dcf3dc86b1ac562cd4ed34b634625320497d
 SHA512 
2ae4bd267ea4636c4f52cb7aae0907db9b8411d6f19d35a9338237ef7820f6cf03ebe9939497fe34a646e8b1f69da0882a5765bcc1224bb8cdfd2a7f999d8862

diff --git a/dev-lang/boogie/boogie-3.0.12.ebuild 
b/dev-lang/boogie/boogie-3.0.12.ebuild
deleted file mode 100644
index af645fd84b5b..
--- a/dev-lang/boogie/boogie-3.0.12.ebuild
+++ /dev/null
@@ -1,296 +0,0 @@
-# Copyright 1999-2024 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-DOTNET_PKG_COMPAT=8.0
-NUGETS="
-microsoft.bcl.asyncinterfaces@6.0.0
-microsoft.codecoverage@16.2.0
-microsoft.csharp@4.0.1
-microsoft.dotnet.internalabstractions@1.0.0
-microsoft.net.test.sdk@16.2.0
-microsoft.netcore.platforms@1.0.1
-microsoft.netcore.platforms@1.1.0
-microsoft.netcore.targets@1.0.1
-microsoft.netcore.targets@1.1.0
-microsoft.testplatform.objectmodel@16.2.0
-microsoft.testplatform.testhost@16.2.0
-microsoft.win32.primitives@4.0.1
-microsoft.win32.primitives@4.3.0
-microsoft.win32.registry@4.0.0
-microsoft.win32.registry@4.3.0
-microsoft.win32.systemevents@6.0.0
-netstandard.library@1.6.0
-netstandard.library@2.0.0
-newtonsoft.json@9.0.1
-nunit@3.12.0
-nunit3testadapter@3.15.1
-runtime.any.system.collections@4.3.0
-runtime.any.system.diagnostics.tools@4.3.0
-runtime.any.system.diagnostics.tracing@4.3.0
-runtime.any.system.globalization.calendars@4.3.0
-runtime.any.system.globalization@4.3.0
-runtime.any.system.io@4.3.0
-runtime.any.system.reflection.extensions@4.3.0
-runtime.any.system.reflection.primitives@4.3.0
-runtime.any.system.reflection@4.3.0
-runtime.any.system.resources.resourcemanager@4.3.0
-runtime.any.system.runtime.handles@4.3.0
-runtime.any.system.runtime.interopservices@4.3.0
-runtime.any.system.runtime@4.3.0
-runtime.any.system.text.encoding.extensions@4.3.0
-runtime.any.system.text.encoding@4.3.0
-runtime.any.system.threading.tasks@4.3.0
-runtime.any.system.threading.timer@4.3.0
-runtime.debian.8-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.fedora.23-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.fedora.24-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.native.system.io.compression@4.1.0
-runtime.native.system.net.http@4.0.1
-runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.native.system.security.cryptography@4.0.0
-runtime.native.system@4.0.0
-runtime.native.system@4.3.0
-runtime.opensuse.13.2-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.opensuse.42.1-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.osx.10.10-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.rhel.7-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.ubuntu.14.04-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.ubuntu.16.04-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.ubuntu.16.10-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.unix.microsoft.win32.primitives@4.3.0
-runtime.unix.system.console@4.3.0
-runtime.unix.system.diagnostics.debug@4.3.0
-runtime.unix.system.io.filesystem@4.3.0

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Maciej Barć]

commit: b35eec60fcb7f6d0d7e9c539a42b3a7f51153c71
Author: Maciej Barć  gentoo  org>
AuthorDate: Sat Apr 13 22:14:03 2024 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Sat Apr 13 22:55:49 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b35eec60

dev-lang/boogie: bump to 3.1.4

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/boogie/Manifest|   1 +
 dev-lang/boogie/boogie-3.1.4.ebuild | 303 
 2 files changed, 304 insertions(+)

diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
index d8dc77c4d964..6cacf40b8881 100644
--- a/dev-lang/boogie/Manifest
+++ b/dev-lang/boogie/Manifest
@@ -1,5 +1,6 @@
 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 microsoft.bcl.asyncinterfaces.6.0.0.nupkg 76354 BLAKE2B 
aca3f5db71e4037dbdd604aeaebcd0962ccc171915b77b4c409ab744bf0a469c7d588f9504fc7fa49e3863e9593b66b4083235cb49e812d1f87b3dadb32e6003
 SHA512 
221a05a0c910f7a87b620d8f3831ed392b4eb95d112bee274d35f27009ad2a26445de9d7cd235fe6fb4a03f2550874bda3be396edaf9c0852a9c23d7b099
 DIST microsoft.codecoverage.16.2.0.nupkg 3133582 BLAKE2B 
418cf403247d594cde0d827f8ca8690019a7631525f07993937085f4bbf8473364b4c99aea6e8b7b0020208d15fe0da63f0f4e69c273493c51ae011e8bd82667
 SHA512 
91f1d43fc038a20f5367d9aab669105dc7514dfbe749260b52789c09a75abcc6bdc000ee0c7f432231d4cc09e99bf5b863dd6289d813342f74d9dad23a651625
 DIST microsoft.csharp.4.0.1.nupkg 462346 BLAKE2B 
209ccebc9103b803d26ea1f0232245c3cd231078b03a83a0011a2a79a1a8a324a72c5b3fda94b2686fff170932f366e165f81a36a70df590a39c45d70778e4be
 SHA512 
c0e75a9162f28ba4c4572c8fac4fd4c8c97d6d3505a37683646ba5f7e5f6ac0da69d5200d2646054de90e8e08f893a10e514591b69b8273640842b2cf90bddec

diff --git a/dev-lang/boogie/boogie-3.1.4.ebuild 
b/dev-lang/boogie/boogie-3.1.4.ebuild
new file mode 100644
index ..d7ab20c085a9
--- /dev/null
+++ b/dev-lang/boogie/boogie-3.1.4.ebuild
@@ -0,0 +1,303 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+DOTNET_PKG_COMPAT=8.0
+NUGETS="
+microsoft.bcl.asyncinterfaces@6.0.0
+microsoft.codecoverage@16.2.0
+microsoft.csharp@4.0.1
+microsoft.dotnet.internalabstractions@1.0.0
+microsoft.net.test.sdk@16.2.0
+microsoft.netcore.platforms@1.0.1
+microsoft.netcore.platforms@1.1.0
+microsoft.netcore.targets@1.0.1
+microsoft.netcore.targets@1.1.0
+microsoft.testplatform.objectmodel@16.2.0
+microsoft.testplatform.testhost@16.2.0
+microsoft.win32.primitives@4.0.1
+microsoft.win32.primitives@4.3.0
+microsoft.win32.registry@4.0.0
+microsoft.win32.registry@4.3.0
+microsoft.win32.systemevents@6.0.0
+netstandard.library@1.6.0
+netstandard.library@2.0.0
+newtonsoft.json@9.0.1
+nunit@3.12.0
+nunit3testadapter@3.15.1
+runtime.any.system.collections@4.3.0
+runtime.any.system.diagnostics.tools@4.3.0
+runtime.any.system.diagnostics.tracing@4.3.0
+runtime.any.system.globalization.calendars@4.3.0
+runtime.any.system.globalization@4.3.0
+runtime.any.system.io@4.3.0
+runtime.any.system.reflection.extensions@4.3.0
+runtime.any.system.reflection.primitives@4.3.0
+runtime.any.system.reflection@4.3.0
+runtime.any.system.resources.resourcemanager@4.3.0
+runtime.any.system.runtime.handles@4.3.0
+runtime.any.system.runtime.interopservices@4.3.0
+runtime.any.system.runtime@4.3.0
+runtime.any.system.text.encoding.extensions@4.3.0
+runtime.any.system.text.encoding@4.3.0
+runtime.any.system.threading.tasks@4.3.0
+runtime.any.system.threading.timer@4.3.0
+runtime.debian.8-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.fedora.23-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.fedora.24-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.native.system.io.compression@4.1.0
+runtime.native.system.net.http@4.0.1
+runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.native.system.security.cryptography@4.0.0
+runtime.native.system@4.0.0
+runtime.native.system@4.3.0
+runtime.opensuse.13.2-x64.runtime.native.system.security.cryptography.openssl@4.3.0

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Maciej Barć]

commit: b654f192e0cc6b2c3c0397c279c2db6d6a1a1db8
Author: Maciej Barć  gentoo  org>
AuthorDate: Sat Apr 13 22:07:37 2024 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Sat Apr 13 22:55:49 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b654f192

dev-lang/boogie: drop old 3.1.1

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/boogie/Manifest|   1 -
 dev-lang/boogie/boogie-3.1.1.ebuild | 295 
 2 files changed, 296 deletions(-)

diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
index 2da38d8dc6a6..d8dc77c4d964 100644
--- a/dev-lang/boogie/Manifest
+++ b/dev-lang/boogie/Manifest
@@ -1,4 +1,3 @@
-DIST boogie-3.1.1.tar.gz 2038688 BLAKE2B 
ea720665dd9d830de0639b3b2fe08c452e80375e98b8ff9ced473c4beb540a2cb3908415bfbb1582edac9043c17dcbfc014d2dd1dcc3ce0877db436c13a639bd
 SHA512 
704990ebd9b55e4f617249a5e2b4c74a615c61a51da41485eddd8c1b8159f16afd5da13e93f684a97d87c2e1273549977e04180423909c22b026e975d07a0ceb
 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 microsoft.bcl.asyncinterfaces.6.0.0.nupkg 76354 BLAKE2B 
aca3f5db71e4037dbdd604aeaebcd0962ccc171915b77b4c409ab744bf0a469c7d588f9504fc7fa49e3863e9593b66b4083235cb49e812d1f87b3dadb32e6003
 SHA512 
221a05a0c910f7a87b620d8f3831ed392b4eb95d112bee274d35f27009ad2a26445de9d7cd235fe6fb4a03f2550874bda3be396edaf9c0852a9c23d7b099

diff --git a/dev-lang/boogie/boogie-3.1.1.ebuild 
b/dev-lang/boogie/boogie-3.1.1.ebuild
deleted file mode 100644
index 412d21a3c9d6..
--- a/dev-lang/boogie/boogie-3.1.1.ebuild
+++ /dev/null
@@ -1,295 +0,0 @@
-# Copyright 1999-2024 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-DOTNET_PKG_COMPAT=8.0
-NUGETS="
-microsoft.bcl.asyncinterfaces@6.0.0
-microsoft.codecoverage@16.2.0
-microsoft.csharp@4.0.1
-microsoft.dotnet.internalabstractions@1.0.0
-microsoft.net.test.sdk@16.2.0
-microsoft.netcore.platforms@1.0.1
-microsoft.netcore.platforms@1.1.0
-microsoft.netcore.targets@1.0.1
-microsoft.netcore.targets@1.1.0
-microsoft.testplatform.objectmodel@16.2.0
-microsoft.testplatform.testhost@16.2.0
-microsoft.win32.primitives@4.0.1
-microsoft.win32.primitives@4.3.0
-microsoft.win32.registry@4.0.0
-microsoft.win32.registry@4.3.0
-microsoft.win32.systemevents@6.0.0
-netstandard.library@1.6.0
-netstandard.library@2.0.0
-newtonsoft.json@9.0.1
-nunit@3.12.0
-nunit3testadapter@3.15.1
-runtime.any.system.collections@4.3.0
-runtime.any.system.diagnostics.tools@4.3.0
-runtime.any.system.diagnostics.tracing@4.3.0
-runtime.any.system.globalization.calendars@4.3.0
-runtime.any.system.globalization@4.3.0
-runtime.any.system.io@4.3.0
-runtime.any.system.reflection.extensions@4.3.0
-runtime.any.system.reflection.primitives@4.3.0
-runtime.any.system.reflection@4.3.0
-runtime.any.system.resources.resourcemanager@4.3.0
-runtime.any.system.runtime.handles@4.3.0
-runtime.any.system.runtime.interopservices@4.3.0
-runtime.any.system.runtime@4.3.0
-runtime.any.system.text.encoding.extensions@4.3.0
-runtime.any.system.text.encoding@4.3.0
-runtime.any.system.threading.tasks@4.3.0
-runtime.any.system.threading.timer@4.3.0
-runtime.debian.8-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.fedora.23-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.fedora.24-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.native.system.io.compression@4.1.0
-runtime.native.system.net.http@4.0.1
-runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.native.system.security.cryptography@4.0.0
-runtime.native.system@4.0.0
-runtime.native.system@4.3.0
-runtime.opensuse.13.2-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.opensuse.42.1-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.osx.10.10-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.rhel.7-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.ubuntu.14.04-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.ubuntu.16.04-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.ubuntu.16.10-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.unix.microsoft.win32.primitives@4.3.0
-runtime.unix.system.console@4.3.0
-runtime.unix.system.diagnostics.debug@4.3.0
-runtime.unix.system.io.filesystem@4.3.0

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Maciej Barć]

commit: 38d9fd370922921c0a0beee36c50fa9ba67ab800
Author: Maciej Barć  gentoo  org>
AuthorDate: Sat Apr 13 22:06:58 2024 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Sat Apr 13 22:55:48 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=38d9fd37

dev-lang/boogie: drop old 3.0.11

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/boogie/Manifest |   1 -
 dev-lang/boogie/boogie-3.0.11.ebuild | 300 ---
 2 files changed, 301 deletions(-)

diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
index 5386b8f05e09..cf3f3127842c 100644
--- a/dev-lang/boogie/Manifest
+++ b/dev-lang/boogie/Manifest
@@ -1,4 +1,3 @@
-DIST boogie-3.0.11.tar.gz 2044740 BLAKE2B 
b8c1cde7ad4b10deabb9ca9edbf226f580512a3817e9a19a947c7bd5d26808c08e907237aad2209ec06e645fa7ef40c8d73fec812437585b27adf4e125d5b1a0
 SHA512 
fe59fb1ed2708a5d988a569dd14148e308966ca6382da8502a2c679d67121b39f60e03e9ed6f7efa80c079c818db008c99e1f5e6bc28ba617fe33ae6289c2cce
 DIST boogie-3.0.12.tar.gz 2044818 BLAKE2B 
0d11cb1288933b1046b46ea3b93336fe08b9897a4aaf42228971e280be2c648b2110d20aaf6533e6d95e51b0a86c1fe507da05eaa908dc0ed885192e9480d0e7
 SHA512 
e2c1d4faad1bb448dd3cd9f6dbd4c70fa913584ef1bedd4938298498850bc6a0b6017924a55d9b48c82189253c2ac8c84a2564afa2d9b237434ad40ea286fbec
 DIST boogie-3.1.1.tar.gz 2038688 BLAKE2B 
ea720665dd9d830de0639b3b2fe08c452e80375e98b8ff9ced473c4beb540a2cb3908415bfbb1582edac9043c17dcbfc014d2dd1dcc3ce0877db436c13a639bd
 SHA512 
704990ebd9b55e4f617249a5e2b4c74a615c61a51da41485eddd8c1b8159f16afd5da13e93f684a97d87c2e1273549977e04180423909c22b026e975d07a0ceb
 DIST boogie-3.1.2.tar.gz 2038757 BLAKE2B 
5e20b8c4d02fb623a9b7ae053677ae148d1d5db8a3a7530088a56f25fed1708946ca9bf9f2509fecfe994963b65c52a83238870d5060e7a787d2330b2cf98628
 SHA512 
218dbdcc979de6d8fb871596906a5403935b9dd06b8ad74eab2face0c7a1d04946b692fbe635e23bbad4b0a9e74de6159c53c38069be627ab6a916a09050a282

diff --git a/dev-lang/boogie/boogie-3.0.11.ebuild 
b/dev-lang/boogie/boogie-3.0.11.ebuild
deleted file mode 100644
index 86a1c4aef664..
--- a/dev-lang/boogie/boogie-3.0.11.ebuild
+++ /dev/null
@@ -1,300 +0,0 @@
-# Copyright 1999-2024 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-DOTNET_PKG_COMPAT=8.0
-NUGETS="
-microsoft.bcl.asyncinterfaces@6.0.0
-microsoft.codecoverage@16.2.0
-microsoft.csharp@4.0.1
-microsoft.dotnet.internalabstractions@1.0.0
-microsoft.net.test.sdk@16.2.0
-microsoft.netcore.platforms@1.0.1
-microsoft.netcore.platforms@1.1.0
-microsoft.netcore.targets@1.0.1
-microsoft.netcore.targets@1.1.0
-microsoft.testplatform.objectmodel@16.2.0
-microsoft.testplatform.testhost@16.2.0
-microsoft.win32.primitives@4.0.1
-microsoft.win32.primitives@4.3.0
-microsoft.win32.registry@4.0.0
-microsoft.win32.registry@4.3.0
-microsoft.win32.systemevents@6.0.0
-netstandard.library@1.6.0
-netstandard.library@2.0.0
-newtonsoft.json@9.0.1
-nunit@3.12.0
-nunit3testadapter@3.15.1
-runtime.any.system.collections@4.3.0
-runtime.any.system.diagnostics.tools@4.3.0
-runtime.any.system.diagnostics.tracing@4.3.0
-runtime.any.system.globalization.calendars@4.3.0
-runtime.any.system.globalization@4.3.0
-runtime.any.system.io@4.3.0
-runtime.any.system.reflection.extensions@4.3.0
-runtime.any.system.reflection.primitives@4.3.0
-runtime.any.system.reflection@4.3.0
-runtime.any.system.resources.resourcemanager@4.3.0
-runtime.any.system.runtime.handles@4.3.0
-runtime.any.system.runtime.interopservices@4.3.0
-runtime.any.system.runtime@4.3.0
-runtime.any.system.text.encoding.extensions@4.3.0
-runtime.any.system.text.encoding@4.3.0
-runtime.any.system.threading.tasks@4.3.0
-runtime.any.system.threading.timer@4.3.0
-runtime.debian.8-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.fedora.23-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.fedora.24-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.native.system.io.compression@4.1.0
-runtime.native.system.net.http@4.0.1
-runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.native.system.security.cryptography@4.0.0
-runtime.native.system@4.0.0
-runtime.native.system@4.3.0
-runtime.opensuse.13.2-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.opensuse.42.1-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.osx.10.10-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.rhel.7-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.ubuntu.14.04-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.ubuntu.16.04-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.ubuntu.16.10-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.unix.microsoft.win32.primitives@4.3.0
-runtime.unix.system.console@4.3.0
-runtime.unix.system.diagnostics.debug@4.3.0
-runtime.unix.system.io.filesystem@4.3.0

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Arthur Zamarin]

commit: fe6b063922255df3e7481623f63845460586e74c
Author: Arthur Zamarin  gentoo  org>
AuthorDate: Thu Apr 11 04:55:37 2024 +
Commit: Arthur Zamarin  gentoo  org>
CommitDate: Thu Apr 11 04:55:37 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=fe6b0639

dev-lang/boogie: Stabilize 3.1.2 amd64, #929111

Signed-off-by: Arthur Zamarin  gentoo.org>

 dev-lang/boogie/boogie-3.1.2.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-lang/boogie/boogie-3.1.2.ebuild 
b/dev-lang/boogie/boogie-3.1.2.ebuild
index 1e5de6f37894..7a1a6ee296b5 100644
--- a/dev-lang/boogie/boogie-3.1.2.ebuild
+++ b/dev-lang/boogie/boogie-3.1.2.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} "

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Maciej Barć]

commit: 5be4374c17eceecaceb3720c3700acfdd70bce46
Author: Maciej Barć  gentoo  org>
AuthorDate: Wed Mar 13 15:49:35 2024 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Wed Mar 13 16:40:17 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5be4374c

dev-lang/boogie: bump to 3.1.3

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/boogie/Manifest|   1 +
 dev-lang/boogie/boogie-3.1.3.ebuild | 303 
 2 files changed, 304 insertions(+)

diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
index 28542c861098..5386b8f05e09 100644
--- a/dev-lang/boogie/Manifest
+++ b/dev-lang/boogie/Manifest
@@ -2,6 +2,7 @@ DIST boogie-3.0.11.tar.gz 2044740 BLAKE2B 
b8c1cde7ad4b10deabb9ca9edbf226f580512a
 DIST boogie-3.0.12.tar.gz 2044818 BLAKE2B 
0d11cb1288933b1046b46ea3b93336fe08b9897a4aaf42228971e280be2c648b2110d20aaf6533e6d95e51b0a86c1fe507da05eaa908dc0ed885192e9480d0e7
 SHA512 
e2c1d4faad1bb448dd3cd9f6dbd4c70fa913584ef1bedd4938298498850bc6a0b6017924a55d9b48c82189253c2ac8c84a2564afa2d9b237434ad40ea286fbec
 DIST boogie-3.1.1.tar.gz 2038688 BLAKE2B 
ea720665dd9d830de0639b3b2fe08c452e80375e98b8ff9ced473c4beb540a2cb3908415bfbb1582edac9043c17dcbfc014d2dd1dcc3ce0877db436c13a639bd
 SHA512 
704990ebd9b55e4f617249a5e2b4c74a615c61a51da41485eddd8c1b8159f16afd5da13e93f684a97d87c2e1273549977e04180423909c22b026e975d07a0ceb
 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 microsoft.bcl.asyncinterfaces.6.0.0.nupkg 76354 BLAKE2B 
aca3f5db71e4037dbdd604aeaebcd0962ccc171915b77b4c409ab744bf0a469c7d588f9504fc7fa49e3863e9593b66b4083235cb49e812d1f87b3dadb32e6003
 SHA512 
221a05a0c910f7a87b620d8f3831ed392b4eb95d112bee274d35f27009ad2a26445de9d7cd235fe6fb4a03f2550874bda3be396edaf9c0852a9c23d7b099
 DIST microsoft.codecoverage.16.2.0.nupkg 3133582 BLAKE2B 
418cf403247d594cde0d827f8ca8690019a7631525f07993937085f4bbf8473364b4c99aea6e8b7b0020208d15fe0da63f0f4e69c273493c51ae011e8bd82667
 SHA512 
91f1d43fc038a20f5367d9aab669105dc7514dfbe749260b52789c09a75abcc6bdc000ee0c7f432231d4cc09e99bf5b863dd6289d813342f74d9dad23a651625
 DIST microsoft.csharp.4.0.1.nupkg 462346 BLAKE2B 
209ccebc9103b803d26ea1f0232245c3cd231078b03a83a0011a2a79a1a8a324a72c5b3fda94b2686fff170932f366e165f81a36a70df590a39c45d70778e4be
 SHA512 
c0e75a9162f28ba4c4572c8fac4fd4c8c97d6d3505a37683646ba5f7e5f6ac0da69d5200d2646054de90e8e08f893a10e514591b69b8273640842b2cf90bddec

diff --git a/dev-lang/boogie/boogie-3.1.3.ebuild 
b/dev-lang/boogie/boogie-3.1.3.ebuild
new file mode 100644
index ..d7ab20c085a9
--- /dev/null
+++ b/dev-lang/boogie/boogie-3.1.3.ebuild
@@ -0,0 +1,303 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+DOTNET_PKG_COMPAT=8.0
+NUGETS="
+microsoft.bcl.asyncinterfaces@6.0.0
+microsoft.codecoverage@16.2.0
+microsoft.csharp@4.0.1
+microsoft.dotnet.internalabstractions@1.0.0
+microsoft.net.test.sdk@16.2.0
+microsoft.netcore.platforms@1.0.1
+microsoft.netcore.platforms@1.1.0
+microsoft.netcore.targets@1.0.1
+microsoft.netcore.targets@1.1.0
+microsoft.testplatform.objectmodel@16.2.0
+microsoft.testplatform.testhost@16.2.0
+microsoft.win32.primitives@4.0.1
+microsoft.win32.primitives@4.3.0
+microsoft.win32.registry@4.0.0
+microsoft.win32.registry@4.3.0
+microsoft.win32.systemevents@6.0.0
+netstandard.library@1.6.0
+netstandard.library@2.0.0
+newtonsoft.json@9.0.1
+nunit@3.12.0
+nunit3testadapter@3.15.1
+runtime.any.system.collections@4.3.0
+runtime.any.system.diagnostics.tools@4.3.0
+runtime.any.system.diagnostics.tracing@4.3.0
+runtime.any.system.globalization.calendars@4.3.0
+runtime.any.system.globalization@4.3.0
+runtime.any.system.io@4.3.0
+runtime.any.system.reflection.extensions@4.3.0
+runtime.any.system.reflection.primitives@4.3.0
+runtime.any.system.reflection@4.3.0
+runtime.any.system.resources.resourcemanager@4.3.0
+runtime.any.system.runtime.handles@4.3.0
+runtime.any.system.runtime.interopservices@4.3.0
+runtime.any.system.runtime@4.3.0
+runtime.any.system.text.encoding.extensions@4.3.0
+runtime.any.system.text.encoding@4.3.0
+runtime.any.system.threading.tasks@4.3.0
+runtime.any.system.threading.timer@4.3.0
+runtime.debian.8-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.fedora.23-x64.runtime.native.system.security.cryptography.openssl@4.3.0

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Maciej Barć]

commit: 57b2fa0ca5e3648d596195fa9298d498878ed331
Author: Maciej Barć  gentoo  org>
AuthorDate: Sat Mar  9 20:45:49 2024 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Sun Mar 10 00:29:23 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=57b2fa0c

dev-lang/boogie: add missing psutil test dependency

Closes: https://bugs.gentoo.org/926537
Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/boogie/boogie-3.1.2.ebuild | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/dev-lang/boogie/boogie-3.1.2.ebuild 
b/dev-lang/boogie/boogie-3.1.2.ebuild
index 3000988a0c5a..1e5de6f37894 100644
--- a/dev-lang/boogie/boogie-3.1.2.ebuild
+++ b/dev-lang/boogie/boogie-3.1.2.ebuild
@@ -226,8 +226,9 @@ RDEPEND="
 BDEPEND="
${RDEPEND}
test? (
-   dev-python/lit
dev-python/OutputCheck
+   dev-python/lit
+   dev-python/psutil
)
 "
 

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Maciej Barć]

commit: 8402d7eb95fb1c099c6de13c8bc802cb67da6334
Author: Maciej Barć  gentoo  org>
AuthorDate: Fri Mar  8 22:00:02 2024 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Fri Mar  8 22:18:01 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8402d7eb

dev-lang/boogie: bump to 3.1.2

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/boogie/Manifest|   1 +
 dev-lang/boogie/boogie-3.1.2.ebuild | 301 
 2 files changed, 302 insertions(+)

diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
index 0db323c3ed16..28542c861098 100644
--- a/dev-lang/boogie/Manifest
+++ b/dev-lang/boogie/Manifest
@@ -1,6 +1,7 @@
 DIST boogie-3.0.11.tar.gz 2044740 BLAKE2B 
b8c1cde7ad4b10deabb9ca9edbf226f580512a3817e9a19a947c7bd5d26808c08e907237aad2209ec06e645fa7ef40c8d73fec812437585b27adf4e125d5b1a0
 SHA512 
fe59fb1ed2708a5d988a569dd14148e308966ca6382da8502a2c679d67121b39f60e03e9ed6f7efa80c079c818db008c99e1f5e6bc28ba617fe33ae6289c2cce
 DIST boogie-3.0.12.tar.gz 2044818 BLAKE2B 
0d11cb1288933b1046b46ea3b93336fe08b9897a4aaf42228971e280be2c648b2110d20aaf6533e6d95e51b0a86c1fe507da05eaa908dc0ed885192e9480d0e7
 SHA512 
e2c1d4faad1bb448dd3cd9f6dbd4c70fa913584ef1bedd4938298498850bc6a0b6017924a55d9b48c82189253c2ac8c84a2564afa2d9b237434ad40ea286fbec
 DIST boogie-3.1.1.tar.gz 2038688 BLAKE2B 
ea720665dd9d830de0639b3b2fe08c452e80375e98b8ff9ced473c4beb540a2cb3908415bfbb1582edac9043c17dcbfc014d2dd1dcc3ce0877db436c13a639bd
 SHA512 
704990ebd9b55e4f617249a5e2b4c74a615c61a51da41485eddd8c1b8159f16afd5da13e93f684a97d87c2e1273549977e04180423909c22b026e975d07a0ceb
+DIST boogie-3.1.2.tar.gz 2038757 BLAKE2B 
5e20b8c4d02fb623a9b7ae053677ae148d1d5db8a3a7530088a56f25fed1708946ca9bf9f2509fecfe994963b65c52a83238870d5060e7a787d2330b2cf98628
 SHA512 
218dbdcc979de6d8fb871596906a5403935b9dd06b8ad74eab2face0c7a1d04946b692fbe635e23bbad4b0a9e74de6159c53c38069be627ab6a916a09050a282
 DIST microsoft.bcl.asyncinterfaces.6.0.0.nupkg 76354 BLAKE2B 
aca3f5db71e4037dbdd604aeaebcd0962ccc171915b77b4c409ab744bf0a469c7d588f9504fc7fa49e3863e9593b66b4083235cb49e812d1f87b3dadb32e6003
 SHA512 
221a05a0c910f7a87b620d8f3831ed392b4eb95d112bee274d35f27009ad2a26445de9d7cd235fe6fb4a03f2550874bda3be396edaf9c0852a9c23d7b099
 DIST microsoft.codecoverage.16.2.0.nupkg 3133582 BLAKE2B 
418cf403247d594cde0d827f8ca8690019a7631525f07993937085f4bbf8473364b4c99aea6e8b7b0020208d15fe0da63f0f4e69c273493c51ae011e8bd82667
 SHA512 
91f1d43fc038a20f5367d9aab669105dc7514dfbe749260b52789c09a75abcc6bdc000ee0c7f432231d4cc09e99bf5b863dd6289d813342f74d9dad23a651625
 DIST microsoft.csharp.4.0.1.nupkg 462346 BLAKE2B 
209ccebc9103b803d26ea1f0232245c3cd231078b03a83a0011a2a79a1a8a324a72c5b3fda94b2686fff170932f366e165f81a36a70df590a39c45d70778e4be
 SHA512 
c0e75a9162f28ba4c4572c8fac4fd4c8c97d6d3505a37683646ba5f7e5f6ac0da69d5200d2646054de90e8e08f893a10e514591b69b8273640842b2cf90bddec

diff --git a/dev-lang/boogie/boogie-3.1.2.ebuild 
b/dev-lang/boogie/boogie-3.1.2.ebuild
new file mode 100644
index ..3000988a0c5a
--- /dev/null
+++ b/dev-lang/boogie/boogie-3.1.2.ebuild
@@ -0,0 +1,301 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+DOTNET_PKG_COMPAT=8.0
+NUGETS="
+microsoft.bcl.asyncinterfaces@6.0.0
+microsoft.codecoverage@16.2.0
+microsoft.csharp@4.0.1
+microsoft.dotnet.internalabstractions@1.0.0
+microsoft.net.test.sdk@16.2.0
+microsoft.netcore.platforms@1.0.1
+microsoft.netcore.platforms@1.1.0
+microsoft.netcore.targets@1.0.1
+microsoft.netcore.targets@1.1.0
+microsoft.testplatform.objectmodel@16.2.0
+microsoft.testplatform.testhost@16.2.0
+microsoft.win32.primitives@4.0.1
+microsoft.win32.primitives@4.3.0
+microsoft.win32.registry@4.0.0
+microsoft.win32.registry@4.3.0
+microsoft.win32.systemevents@6.0.0
+netstandard.library@1.6.0
+netstandard.library@2.0.0
+newtonsoft.json@9.0.1
+nunit@3.12.0
+nunit3testadapter@3.15.1
+runtime.any.system.collections@4.3.0
+runtime.any.system.diagnostics.tools@4.3.0
+runtime.any.system.diagnostics.tracing@4.3.0
+runtime.any.system.globalization.calendars@4.3.0
+runtime.any.system.globalization@4.3.0
+runtime.any.system.io@4.3.0
+runtime.any.system.reflection.extensions@4.3.0
+runtime.any.system.reflection.primitives@4.3.0
+runtime.any.system.reflection@4.3.0
+runtime.any.system.resources.resourcemanager@4.3.0
+runtime.any.system.runtime.handles@4.3.0
+runtime.any.system.runtime.interopservices@4.3.0
+runtime.any.system.runtime@4.3.0
+runtime.any.system.text.encoding.extensions@4.3.0
+runtime.any.system.text.encoding@4.3.0
+runtime.any.system.threading.tasks@4.3.0
+runtime.any.system.threading.timer@4.3.0
+runtime.debian.8-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.fedora.23-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.fedora.24-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.native.system.io.compression@4.1.0

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Maciej Barć]

commit: a1fde72e8abe7e1a892704662f810f426c43b8af
Author: Maciej Barć  gentoo  org>
AuthorDate: Fri Mar  8 21:24:25 2024 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Fri Mar  8 22:18:00 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a1fde72e

dev-lang/boogie: drop old 3.0.10

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/boogie/Manifest |   1 -
 dev-lang/boogie/boogie-3.0.10.ebuild | 301 ---
 2 files changed, 302 deletions(-)

diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
index dad0773038a9..0db323c3ed16 100644
--- a/dev-lang/boogie/Manifest
+++ b/dev-lang/boogie/Manifest
@@ -1,4 +1,3 @@
-DIST boogie-3.0.10.tar.gz 2045614 BLAKE2B 
47b709a9842055f489ddab50d1661c4abe5d5c72c3b968c80d4895797409cbb1b480d18ca514da4eb66797706213310baf284e2ad736714defcd03baff1bfc60
 SHA512 
7ab6c99cbb9e737208519fa86f87f942d4d898adb0ee1f08978e6ae59fd0be0b7cb0eb8e288ad787cf7d851920830f16bfac4881ea0c37af872f5e4a74a1f5fe
 DIST boogie-3.0.11.tar.gz 2044740 BLAKE2B 
b8c1cde7ad4b10deabb9ca9edbf226f580512a3817e9a19a947c7bd5d26808c08e907237aad2209ec06e645fa7ef40c8d73fec812437585b27adf4e125d5b1a0
 SHA512 
fe59fb1ed2708a5d988a569dd14148e308966ca6382da8502a2c679d67121b39f60e03e9ed6f7efa80c079c818db008c99e1f5e6bc28ba617fe33ae6289c2cce
 DIST boogie-3.0.12.tar.gz 2044818 BLAKE2B 
0d11cb1288933b1046b46ea3b93336fe08b9897a4aaf42228971e280be2c648b2110d20aaf6533e6d95e51b0a86c1fe507da05eaa908dc0ed885192e9480d0e7
 SHA512 
e2c1d4faad1bb448dd3cd9f6dbd4c70fa913584ef1bedd4938298498850bc6a0b6017924a55d9b48c82189253c2ac8c84a2564afa2d9b237434ad40ea286fbec
 DIST boogie-3.1.1.tar.gz 2038688 BLAKE2B 
ea720665dd9d830de0639b3b2fe08c452e80375e98b8ff9ced473c4beb540a2cb3908415bfbb1582edac9043c17dcbfc014d2dd1dcc3ce0877db436c13a639bd
 SHA512 
704990ebd9b55e4f617249a5e2b4c74a615c61a51da41485eddd8c1b8159f16afd5da13e93f684a97d87c2e1273549977e04180423909c22b026e975d07a0ceb

diff --git a/dev-lang/boogie/boogie-3.0.10.ebuild 
b/dev-lang/boogie/boogie-3.0.10.ebuild
deleted file mode 100644
index e6115ead2c53..
--- a/dev-lang/boogie/boogie-3.0.10.ebuild
+++ /dev/null
@@ -1,301 +0,0 @@
-# Copyright 1999-2024 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-DOTNET_PKG_COMPAT=8.0
-NUGETS="
-microsoft.bcl.asyncinterfaces@6.0.0
-microsoft.codecoverage@16.2.0
-microsoft.csharp@4.0.1
-microsoft.dotnet.internalabstractions@1.0.0
-microsoft.net.test.sdk@16.2.0
-microsoft.netcore.platforms@1.0.1
-microsoft.netcore.platforms@1.1.0
-microsoft.netcore.targets@1.0.1
-microsoft.netcore.targets@1.1.0
-microsoft.testplatform.objectmodel@16.2.0
-microsoft.testplatform.testhost@16.2.0
-microsoft.win32.primitives@4.0.1
-microsoft.win32.primitives@4.3.0
-microsoft.win32.registry@4.0.0
-microsoft.win32.registry@4.3.0
-microsoft.win32.systemevents@6.0.0
-netstandard.library@1.6.0
-netstandard.library@2.0.0
-newtonsoft.json@9.0.1
-nunit@3.12.0
-nunit3testadapter@3.15.1
-runtime.any.system.collections@4.3.0
-runtime.any.system.diagnostics.tools@4.3.0
-runtime.any.system.diagnostics.tracing@4.3.0
-runtime.any.system.globalization.calendars@4.3.0
-runtime.any.system.globalization@4.3.0
-runtime.any.system.io@4.3.0
-runtime.any.system.reflection.extensions@4.3.0
-runtime.any.system.reflection.primitives@4.3.0
-runtime.any.system.reflection@4.3.0
-runtime.any.system.resources.resourcemanager@4.3.0
-runtime.any.system.runtime.handles@4.3.0
-runtime.any.system.runtime.interopservices@4.3.0
-runtime.any.system.runtime@4.3.0
-runtime.any.system.text.encoding.extensions@4.3.0
-runtime.any.system.text.encoding@4.3.0
-runtime.any.system.threading.tasks@4.3.0
-runtime.any.system.threading.timer@4.3.0
-runtime.debian.8-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.fedora.23-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.fedora.24-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.native.system.io.compression@4.1.0
-runtime.native.system.net.http@4.0.1
-runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.native.system.security.cryptography@4.0.0
-runtime.native.system@4.0.0
-runtime.native.system@4.3.0
-runtime.opensuse.13.2-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.opensuse.42.1-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.osx.10.10-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.rhel.7-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.ubuntu.14.04-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.ubuntu.16.04-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.ubuntu.16.10-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.unix.microsoft.win32.primitives@4.3.0
-runtime.unix.system.console@4.3.0
-runtime.unix.system.diagnostics.debug@4.3.0
-runtime.unix.system.io.filesystem@4.3.0

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Arthur Zamarin]

commit: d9f4cd19656a1a6b9eb5ee6c9781592317c36f9f
Author: Arthur Zamarin  gentoo  org>
AuthorDate: Fri Mar  8 13:09:31 2024 +
Commit: Arthur Zamarin  gentoo  org>
CommitDate: Fri Mar  8 13:09:31 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d9f4cd19

dev-lang/boogie: Stabilize 3.0.11 amd64, #926440

Signed-off-by: Arthur Zamarin  gentoo.org>

 dev-lang/boogie/boogie-3.0.11.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-lang/boogie/boogie-3.0.11.ebuild 
b/dev-lang/boogie/boogie-3.0.11.ebuild
index a971cec1cdde..86a1c4aef664 100644
--- a/dev-lang/boogie/boogie-3.0.11.ebuild
+++ b/dev-lang/boogie/boogie-3.0.11.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} "

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Maciej Barć]

commit: 6096190e895aa0b709f2c8b5fe3b15666595b8a3
Author: Maciej Barć  gentoo  org>
AuthorDate: Tue Mar  5 18:35:04 2024 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Tue Mar  5 18:46:01 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6096190e

dev-lang/boogie: drop old 3.1.0

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/boogie/Manifest|   1 -
 dev-lang/boogie/boogie-3.1.0.ebuild | 295 
 2 files changed, 296 deletions(-)

diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
index b73e668f4917..dad0773038a9 100644
--- a/dev-lang/boogie/Manifest
+++ b/dev-lang/boogie/Manifest
@@ -1,7 +1,6 @@
 DIST boogie-3.0.10.tar.gz 2045614 BLAKE2B 
47b709a9842055f489ddab50d1661c4abe5d5c72c3b968c80d4895797409cbb1b480d18ca514da4eb66797706213310baf284e2ad736714defcd03baff1bfc60
 SHA512 
7ab6c99cbb9e737208519fa86f87f942d4d898adb0ee1f08978e6ae59fd0be0b7cb0eb8e288ad787cf7d851920830f16bfac4881ea0c37af872f5e4a74a1f5fe
 DIST boogie-3.0.11.tar.gz 2044740 BLAKE2B 
b8c1cde7ad4b10deabb9ca9edbf226f580512a3817e9a19a947c7bd5d26808c08e907237aad2209ec06e645fa7ef40c8d73fec812437585b27adf4e125d5b1a0
 SHA512 
fe59fb1ed2708a5d988a569dd14148e308966ca6382da8502a2c679d67121b39f60e03e9ed6f7efa80c079c818db008c99e1f5e6bc28ba617fe33ae6289c2cce
 DIST boogie-3.0.12.tar.gz 2044818 BLAKE2B 
0d11cb1288933b1046b46ea3b93336fe08b9897a4aaf42228971e280be2c648b2110d20aaf6533e6d95e51b0a86c1fe507da05eaa908dc0ed885192e9480d0e7
 SHA512 
e2c1d4faad1bb448dd3cd9f6dbd4c70fa913584ef1bedd4938298498850bc6a0b6017924a55d9b48c82189253c2ac8c84a2564afa2d9b237434ad40ea286fbec
-DIST boogie-3.1.0.tar.gz 2038681 BLAKE2B 
ce90bd23ca8cee84c83715d7998591dcd065f952c33570f72506c602a0ae99e50741a803d396416d6998620e74140f83a0af471438bf0059fbe17750fc34
 SHA512 
735ed0cbcace50389aa3060cdddf2ff942a8550f96e063e5be0d124993e0484112cc36535e2c0daae04be1118fb2e400676b80732484308aacbdb6409e7621ea
 DIST boogie-3.1.1.tar.gz 2038688 BLAKE2B 
ea720665dd9d830de0639b3b2fe08c452e80375e98b8ff9ced473c4beb540a2cb3908415bfbb1582edac9043c17dcbfc014d2dd1dcc3ce0877db436c13a639bd
 SHA512 
704990ebd9b55e4f617249a5e2b4c74a615c61a51da41485eddd8c1b8159f16afd5da13e93f684a97d87c2e1273549977e04180423909c22b026e975d07a0ceb
 DIST microsoft.bcl.asyncinterfaces.6.0.0.nupkg 76354 BLAKE2B 
aca3f5db71e4037dbdd604aeaebcd0962ccc171915b77b4c409ab744bf0a469c7d588f9504fc7fa49e3863e9593b66b4083235cb49e812d1f87b3dadb32e6003
 SHA512 
221a05a0c910f7a87b620d8f3831ed392b4eb95d112bee274d35f27009ad2a26445de9d7cd235fe6fb4a03f2550874bda3be396edaf9c0852a9c23d7b099
 DIST microsoft.codecoverage.16.2.0.nupkg 3133582 BLAKE2B 
418cf403247d594cde0d827f8ca8690019a7631525f07993937085f4bbf8473364b4c99aea6e8b7b0020208d15fe0da63f0f4e69c273493c51ae011e8bd82667
 SHA512 
91f1d43fc038a20f5367d9aab669105dc7514dfbe749260b52789c09a75abcc6bdc000ee0c7f432231d4cc09e99bf5b863dd6289d813342f74d9dad23a651625

diff --git a/dev-lang/boogie/boogie-3.1.0.ebuild 
b/dev-lang/boogie/boogie-3.1.0.ebuild
deleted file mode 100644
index 412d21a3c9d6..
--- a/dev-lang/boogie/boogie-3.1.0.ebuild
+++ /dev/null
@@ -1,295 +0,0 @@
-# Copyright 1999-2024 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-DOTNET_PKG_COMPAT=8.0
-NUGETS="
-microsoft.bcl.asyncinterfaces@6.0.0
-microsoft.codecoverage@16.2.0
-microsoft.csharp@4.0.1
-microsoft.dotnet.internalabstractions@1.0.0
-microsoft.net.test.sdk@16.2.0
-microsoft.netcore.platforms@1.0.1
-microsoft.netcore.platforms@1.1.0
-microsoft.netcore.targets@1.0.1
-microsoft.netcore.targets@1.1.0
-microsoft.testplatform.objectmodel@16.2.0
-microsoft.testplatform.testhost@16.2.0
-microsoft.win32.primitives@4.0.1
-microsoft.win32.primitives@4.3.0
-microsoft.win32.registry@4.0.0
-microsoft.win32.registry@4.3.0
-microsoft.win32.systemevents@6.0.0
-netstandard.library@1.6.0
-netstandard.library@2.0.0
-newtonsoft.json@9.0.1
-nunit@3.12.0
-nunit3testadapter@3.15.1
-runtime.any.system.collections@4.3.0
-runtime.any.system.diagnostics.tools@4.3.0
-runtime.any.system.diagnostics.tracing@4.3.0
-runtime.any.system.globalization.calendars@4.3.0
-runtime.any.system.globalization@4.3.0
-runtime.any.system.io@4.3.0
-runtime.any.system.reflection.extensions@4.3.0
-runtime.any.system.reflection.primitives@4.3.0
-runtime.any.system.reflection@4.3.0
-runtime.any.system.resources.resourcemanager@4.3.0
-runtime.any.system.runtime.handles@4.3.0
-runtime.any.system.runtime.interopservices@4.3.0
-runtime.any.system.runtime@4.3.0
-runtime.any.system.text.encoding.extensions@4.3.0
-runtime.any.system.text.encoding@4.3.0
-runtime.any.system.threading.tasks@4.3.0
-runtime.any.system.threading.timer@4.3.0
-runtime.debian.8-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.fedora.23-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.fedora.24-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.native.system.io.compression@4.1.0

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Maciej Barć]

commit: a0c345f0f93e693ed3821c2bebdf5104c1e1e7a6
Author: Maciej Barć  gentoo  org>
AuthorDate: Tue Mar  5 17:57:29 2024 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Tue Mar  5 18:46:01 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a0c345f0

dev-lang/boogie: bump to 3.1.1

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/boogie/Manifest|   1 +
 dev-lang/boogie/boogie-3.1.1.ebuild | 295 
 2 files changed, 296 insertions(+)

diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
index be0338d26c23..b73e668f4917 100644
--- a/dev-lang/boogie/Manifest
+++ b/dev-lang/boogie/Manifest
@@ -2,6 +2,7 @@ DIST boogie-3.0.10.tar.gz 2045614 BLAKE2B 
47b709a9842055f489ddab50d1661c4abe5d5c
 DIST boogie-3.0.11.tar.gz 2044740 BLAKE2B 
b8c1cde7ad4b10deabb9ca9edbf226f580512a3817e9a19a947c7bd5d26808c08e907237aad2209ec06e645fa7ef40c8d73fec812437585b27adf4e125d5b1a0
 SHA512 
fe59fb1ed2708a5d988a569dd14148e308966ca6382da8502a2c679d67121b39f60e03e9ed6f7efa80c079c818db008c99e1f5e6bc28ba617fe33ae6289c2cce
 DIST boogie-3.0.12.tar.gz 2044818 BLAKE2B 
0d11cb1288933b1046b46ea3b93336fe08b9897a4aaf42228971e280be2c648b2110d20aaf6533e6d95e51b0a86c1fe507da05eaa908dc0ed885192e9480d0e7
 SHA512 
e2c1d4faad1bb448dd3cd9f6dbd4c70fa913584ef1bedd4938298498850bc6a0b6017924a55d9b48c82189253c2ac8c84a2564afa2d9b237434ad40ea286fbec
 DIST boogie-3.1.0.tar.gz 2038681 BLAKE2B 
ce90bd23ca8cee84c83715d7998591dcd065f952c33570f72506c602a0ae99e50741a803d396416d6998620e74140f83a0af471438bf0059fbe17750fc34
 SHA512 
735ed0cbcace50389aa3060cdddf2ff942a8550f96e063e5be0d124993e0484112cc36535e2c0daae04be1118fb2e400676b80732484308aacbdb6409e7621ea
+DIST boogie-3.1.1.tar.gz 2038688 BLAKE2B 
ea720665dd9d830de0639b3b2fe08c452e80375e98b8ff9ced473c4beb540a2cb3908415bfbb1582edac9043c17dcbfc014d2dd1dcc3ce0877db436c13a639bd
 SHA512 
704990ebd9b55e4f617249a5e2b4c74a615c61a51da41485eddd8c1b8159f16afd5da13e93f684a97d87c2e1273549977e04180423909c22b026e975d07a0ceb
 DIST microsoft.bcl.asyncinterfaces.6.0.0.nupkg 76354 BLAKE2B 
aca3f5db71e4037dbdd604aeaebcd0962ccc171915b77b4c409ab744bf0a469c7d588f9504fc7fa49e3863e9593b66b4083235cb49e812d1f87b3dadb32e6003
 SHA512 
221a05a0c910f7a87b620d8f3831ed392b4eb95d112bee274d35f27009ad2a26445de9d7cd235fe6fb4a03f2550874bda3be396edaf9c0852a9c23d7b099
 DIST microsoft.codecoverage.16.2.0.nupkg 3133582 BLAKE2B 
418cf403247d594cde0d827f8ca8690019a7631525f07993937085f4bbf8473364b4c99aea6e8b7b0020208d15fe0da63f0f4e69c273493c51ae011e8bd82667
 SHA512 
91f1d43fc038a20f5367d9aab669105dc7514dfbe749260b52789c09a75abcc6bdc000ee0c7f432231d4cc09e99bf5b863dd6289d813342f74d9dad23a651625
 DIST microsoft.csharp.4.0.1.nupkg 462346 BLAKE2B 
209ccebc9103b803d26ea1f0232245c3cd231078b03a83a0011a2a79a1a8a324a72c5b3fda94b2686fff170932f366e165f81a36a70df590a39c45d70778e4be
 SHA512 
c0e75a9162f28ba4c4572c8fac4fd4c8c97d6d3505a37683646ba5f7e5f6ac0da69d5200d2646054de90e8e08f893a10e514591b69b8273640842b2cf90bddec

diff --git a/dev-lang/boogie/boogie-3.1.1.ebuild 
b/dev-lang/boogie/boogie-3.1.1.ebuild
new file mode 100644
index ..412d21a3c9d6
--- /dev/null
+++ b/dev-lang/boogie/boogie-3.1.1.ebuild
@@ -0,0 +1,295 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+DOTNET_PKG_COMPAT=8.0
+NUGETS="
+microsoft.bcl.asyncinterfaces@6.0.0
+microsoft.codecoverage@16.2.0
+microsoft.csharp@4.0.1
+microsoft.dotnet.internalabstractions@1.0.0
+microsoft.net.test.sdk@16.2.0
+microsoft.netcore.platforms@1.0.1
+microsoft.netcore.platforms@1.1.0
+microsoft.netcore.targets@1.0.1
+microsoft.netcore.targets@1.1.0
+microsoft.testplatform.objectmodel@16.2.0
+microsoft.testplatform.testhost@16.2.0
+microsoft.win32.primitives@4.0.1
+microsoft.win32.primitives@4.3.0
+microsoft.win32.registry@4.0.0
+microsoft.win32.registry@4.3.0
+microsoft.win32.systemevents@6.0.0
+netstandard.library@1.6.0
+netstandard.library@2.0.0
+newtonsoft.json@9.0.1
+nunit@3.12.0
+nunit3testadapter@3.15.1
+runtime.any.system.collections@4.3.0
+runtime.any.system.diagnostics.tools@4.3.0
+runtime.any.system.diagnostics.tracing@4.3.0
+runtime.any.system.globalization.calendars@4.3.0
+runtime.any.system.globalization@4.3.0
+runtime.any.system.io@4.3.0
+runtime.any.system.reflection.extensions@4.3.0
+runtime.any.system.reflection.primitives@4.3.0
+runtime.any.system.reflection@4.3.0
+runtime.any.system.resources.resourcemanager@4.3.0
+runtime.any.system.runtime.handles@4.3.0
+runtime.any.system.runtime.interopservices@4.3.0
+runtime.any.system.runtime@4.3.0
+runtime.any.system.text.encoding.extensions@4.3.0
+runtime.any.system.text.encoding@4.3.0
+runtime.any.system.threading.tasks@4.3.0
+runtime.any.system.threading.timer@4.3.0
+runtime.debian.8-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.fedora.23-x64.runtime.native.system.security.cryptography.openssl@4.3.0

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Maciej Barć]

commit: d1358fe5af011c68e55310485b95f9d69ec9e83d
Author: Maciej Barć  gentoo  org>
AuthorDate: Mon Mar  4 18:36:19 2024 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Mon Mar  4 21:56:45 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d1358fe5

dev-lang/boogie: drop old 3.0.9

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/boogie/Manifest|   1 -
 dev-lang/boogie/boogie-3.0.9.ebuild | 300 
 2 files changed, 301 deletions(-)

diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
index 7be557ac90d4..be0338d26c23 100644
--- a/dev-lang/boogie/Manifest
+++ b/dev-lang/boogie/Manifest
@@ -1,7 +1,6 @@
 DIST boogie-3.0.10.tar.gz 2045614 BLAKE2B 
47b709a9842055f489ddab50d1661c4abe5d5c72c3b968c80d4895797409cbb1b480d18ca514da4eb66797706213310baf284e2ad736714defcd03baff1bfc60
 SHA512 
7ab6c99cbb9e737208519fa86f87f942d4d898adb0ee1f08978e6ae59fd0be0b7cb0eb8e288ad787cf7d851920830f16bfac4881ea0c37af872f5e4a74a1f5fe
 DIST boogie-3.0.11.tar.gz 2044740 BLAKE2B 
b8c1cde7ad4b10deabb9ca9edbf226f580512a3817e9a19a947c7bd5d26808c08e907237aad2209ec06e645fa7ef40c8d73fec812437585b27adf4e125d5b1a0
 SHA512 
fe59fb1ed2708a5d988a569dd14148e308966ca6382da8502a2c679d67121b39f60e03e9ed6f7efa80c079c818db008c99e1f5e6bc28ba617fe33ae6289c2cce
 DIST boogie-3.0.12.tar.gz 2044818 BLAKE2B 
0d11cb1288933b1046b46ea3b93336fe08b9897a4aaf42228971e280be2c648b2110d20aaf6533e6d95e51b0a86c1fe507da05eaa908dc0ed885192e9480d0e7
 SHA512 
e2c1d4faad1bb448dd3cd9f6dbd4c70fa913584ef1bedd4938298498850bc6a0b6017924a55d9b48c82189253c2ac8c84a2564afa2d9b237434ad40ea286fbec
-DIST boogie-3.0.9.tar.gz 2044403 BLAKE2B 
80062b0de01899902a591debe68d8557897295f79535804d5c029f916aad3eb286681b011d30313090444ce73db5e76c9703583f9b3929dd157a0625215de599
 SHA512 
78e7fac6fa98a39c0c19b0d805d8dc6ff273bda26088616eb828224213ac00faf145527d22d6c3941b25d197ce9be19278e97a8fc4c2d222b1686dc125f1
 DIST boogie-3.1.0.tar.gz 2038681 BLAKE2B 
ce90bd23ca8cee84c83715d7998591dcd065f952c33570f72506c602a0ae99e50741a803d396416d6998620e74140f83a0af471438bf0059fbe17750fc34
 SHA512 
735ed0cbcace50389aa3060cdddf2ff942a8550f96e063e5be0d124993e0484112cc36535e2c0daae04be1118fb2e400676b80732484308aacbdb6409e7621ea
 DIST microsoft.bcl.asyncinterfaces.6.0.0.nupkg 76354 BLAKE2B 
aca3f5db71e4037dbdd604aeaebcd0962ccc171915b77b4c409ab744bf0a469c7d588f9504fc7fa49e3863e9593b66b4083235cb49e812d1f87b3dadb32e6003
 SHA512 
221a05a0c910f7a87b620d8f3831ed392b4eb95d112bee274d35f27009ad2a26445de9d7cd235fe6fb4a03f2550874bda3be396edaf9c0852a9c23d7b099
 DIST microsoft.codecoverage.16.2.0.nupkg 3133582 BLAKE2B 
418cf403247d594cde0d827f8ca8690019a7631525f07993937085f4bbf8473364b4c99aea6e8b7b0020208d15fe0da63f0f4e69c273493c51ae011e8bd82667
 SHA512 
91f1d43fc038a20f5367d9aab669105dc7514dfbe749260b52789c09a75abcc6bdc000ee0c7f432231d4cc09e99bf5b863dd6289d813342f74d9dad23a651625

diff --git a/dev-lang/boogie/boogie-3.0.9.ebuild 
b/dev-lang/boogie/boogie-3.0.9.ebuild
deleted file mode 100644
index 86a1c4aef664..
--- a/dev-lang/boogie/boogie-3.0.9.ebuild
+++ /dev/null
@@ -1,300 +0,0 @@
-# Copyright 1999-2024 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-DOTNET_PKG_COMPAT=8.0
-NUGETS="
-microsoft.bcl.asyncinterfaces@6.0.0
-microsoft.codecoverage@16.2.0
-microsoft.csharp@4.0.1
-microsoft.dotnet.internalabstractions@1.0.0
-microsoft.net.test.sdk@16.2.0
-microsoft.netcore.platforms@1.0.1
-microsoft.netcore.platforms@1.1.0
-microsoft.netcore.targets@1.0.1
-microsoft.netcore.targets@1.1.0
-microsoft.testplatform.objectmodel@16.2.0
-microsoft.testplatform.testhost@16.2.0
-microsoft.win32.primitives@4.0.1
-microsoft.win32.primitives@4.3.0
-microsoft.win32.registry@4.0.0
-microsoft.win32.registry@4.3.0
-microsoft.win32.systemevents@6.0.0
-netstandard.library@1.6.0
-netstandard.library@2.0.0
-newtonsoft.json@9.0.1
-nunit@3.12.0
-nunit3testadapter@3.15.1
-runtime.any.system.collections@4.3.0
-runtime.any.system.diagnostics.tools@4.3.0
-runtime.any.system.diagnostics.tracing@4.3.0
-runtime.any.system.globalization.calendars@4.3.0
-runtime.any.system.globalization@4.3.0
-runtime.any.system.io@4.3.0
-runtime.any.system.reflection.extensions@4.3.0
-runtime.any.system.reflection.primitives@4.3.0
-runtime.any.system.reflection@4.3.0
-runtime.any.system.resources.resourcemanager@4.3.0
-runtime.any.system.runtime.handles@4.3.0
-runtime.any.system.runtime.interopservices@4.3.0
-runtime.any.system.runtime@4.3.0
-runtime.any.system.text.encoding.extensions@4.3.0
-runtime.any.system.text.encoding@4.3.0
-runtime.any.system.threading.tasks@4.3.0
-runtime.any.system.threading.timer@4.3.0
-runtime.debian.8-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.fedora.23-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.fedora.24-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.native.system.io.compression@4.1.0

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Maciej Barć]

commit: 71986f53e6c5b4eebca1ae272d85a26e2bf2e5ac
Author: Maciej Barć  gentoo  org>
AuthorDate: Mon Mar  4 18:03:26 2024 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Mon Mar  4 21:56:44 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=71986f53

dev-lang/boogie: bump to 3.1.0

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/boogie/Manifest|   1 +
 dev-lang/boogie/boogie-3.1.0.ebuild | 295 
 2 files changed, 296 insertions(+)

diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
index 8f224c593668..7be557ac90d4 100644
--- a/dev-lang/boogie/Manifest
+++ b/dev-lang/boogie/Manifest
@@ -2,6 +2,7 @@ DIST boogie-3.0.10.tar.gz 2045614 BLAKE2B 
47b709a9842055f489ddab50d1661c4abe5d5c
 DIST boogie-3.0.11.tar.gz 2044740 BLAKE2B 
b8c1cde7ad4b10deabb9ca9edbf226f580512a3817e9a19a947c7bd5d26808c08e907237aad2209ec06e645fa7ef40c8d73fec812437585b27adf4e125d5b1a0
 SHA512 
fe59fb1ed2708a5d988a569dd14148e308966ca6382da8502a2c679d67121b39f60e03e9ed6f7efa80c079c818db008c99e1f5e6bc28ba617fe33ae6289c2cce
 DIST boogie-3.0.12.tar.gz 2044818 BLAKE2B 
0d11cb1288933b1046b46ea3b93336fe08b9897a4aaf42228971e280be2c648b2110d20aaf6533e6d95e51b0a86c1fe507da05eaa908dc0ed885192e9480d0e7
 SHA512 
e2c1d4faad1bb448dd3cd9f6dbd4c70fa913584ef1bedd4938298498850bc6a0b6017924a55d9b48c82189253c2ac8c84a2564afa2d9b237434ad40ea286fbec
 DIST boogie-3.0.9.tar.gz 2044403 BLAKE2B 
80062b0de01899902a591debe68d8557897295f79535804d5c029f916aad3eb286681b011d30313090444ce73db5e76c9703583f9b3929dd157a0625215de599
 SHA512 
78e7fac6fa98a39c0c19b0d805d8dc6ff273bda26088616eb828224213ac00faf145527d22d6c3941b25d197ce9be19278e97a8fc4c2d222b1686dc125f1
+DIST boogie-3.1.0.tar.gz 2038681 BLAKE2B 
ce90bd23ca8cee84c83715d7998591dcd065f952c33570f72506c602a0ae99e50741a803d396416d6998620e74140f83a0af471438bf0059fbe17750fc34
 SHA512 
735ed0cbcace50389aa3060cdddf2ff942a8550f96e063e5be0d124993e0484112cc36535e2c0daae04be1118fb2e400676b80732484308aacbdb6409e7621ea
 DIST microsoft.bcl.asyncinterfaces.6.0.0.nupkg 76354 BLAKE2B 
aca3f5db71e4037dbdd604aeaebcd0962ccc171915b77b4c409ab744bf0a469c7d588f9504fc7fa49e3863e9593b66b4083235cb49e812d1f87b3dadb32e6003
 SHA512 
221a05a0c910f7a87b620d8f3831ed392b4eb95d112bee274d35f27009ad2a26445de9d7cd235fe6fb4a03f2550874bda3be396edaf9c0852a9c23d7b099
 DIST microsoft.codecoverage.16.2.0.nupkg 3133582 BLAKE2B 
418cf403247d594cde0d827f8ca8690019a7631525f07993937085f4bbf8473364b4c99aea6e8b7b0020208d15fe0da63f0f4e69c273493c51ae011e8bd82667
 SHA512 
91f1d43fc038a20f5367d9aab669105dc7514dfbe749260b52789c09a75abcc6bdc000ee0c7f432231d4cc09e99bf5b863dd6289d813342f74d9dad23a651625
 DIST microsoft.csharp.4.0.1.nupkg 462346 BLAKE2B 
209ccebc9103b803d26ea1f0232245c3cd231078b03a83a0011a2a79a1a8a324a72c5b3fda94b2686fff170932f366e165f81a36a70df590a39c45d70778e4be
 SHA512 
c0e75a9162f28ba4c4572c8fac4fd4c8c97d6d3505a37683646ba5f7e5f6ac0da69d5200d2646054de90e8e08f893a10e514591b69b8273640842b2cf90bddec

diff --git a/dev-lang/boogie/boogie-3.1.0.ebuild 
b/dev-lang/boogie/boogie-3.1.0.ebuild
new file mode 100644
index ..412d21a3c9d6
--- /dev/null
+++ b/dev-lang/boogie/boogie-3.1.0.ebuild
@@ -0,0 +1,295 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+DOTNET_PKG_COMPAT=8.0
+NUGETS="
+microsoft.bcl.asyncinterfaces@6.0.0
+microsoft.codecoverage@16.2.0
+microsoft.csharp@4.0.1
+microsoft.dotnet.internalabstractions@1.0.0
+microsoft.net.test.sdk@16.2.0
+microsoft.netcore.platforms@1.0.1
+microsoft.netcore.platforms@1.1.0
+microsoft.netcore.targets@1.0.1
+microsoft.netcore.targets@1.1.0
+microsoft.testplatform.objectmodel@16.2.0
+microsoft.testplatform.testhost@16.2.0
+microsoft.win32.primitives@4.0.1
+microsoft.win32.primitives@4.3.0
+microsoft.win32.registry@4.0.0
+microsoft.win32.registry@4.3.0
+microsoft.win32.systemevents@6.0.0
+netstandard.library@1.6.0
+netstandard.library@2.0.0
+newtonsoft.json@9.0.1
+nunit@3.12.0
+nunit3testadapter@3.15.1
+runtime.any.system.collections@4.3.0
+runtime.any.system.diagnostics.tools@4.3.0
+runtime.any.system.diagnostics.tracing@4.3.0
+runtime.any.system.globalization.calendars@4.3.0
+runtime.any.system.globalization@4.3.0
+runtime.any.system.io@4.3.0
+runtime.any.system.reflection.extensions@4.3.0
+runtime.any.system.reflection.primitives@4.3.0
+runtime.any.system.reflection@4.3.0
+runtime.any.system.resources.resourcemanager@4.3.0
+runtime.any.system.runtime.handles@4.3.0
+runtime.any.system.runtime.interopservices@4.3.0
+runtime.any.system.runtime@4.3.0
+runtime.any.system.text.encoding.extensions@4.3.0
+runtime.any.system.text.encoding@4.3.0
+runtime.any.system.threading.tasks@4.3.0
+runtime.any.system.threading.timer@4.3.0
+runtime.debian.8-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.fedora.23-x64.runtime.native.system.security.cryptography.openssl@4.3.0

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Sam James]

commit: 6a52d59f3c5ec3ded3219e24f9afd575a9971ae5
Author: Sam James  gentoo  org>
AuthorDate: Tue Feb 27 23:57:29 2024 +
Commit: Sam James  gentoo  org>
CommitDate: Tue Feb 27 23:57:29 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6a52d59f

dev-lang/boogie: Stabilize 3.0.10 amd64, #925654

Signed-off-by: Sam James  gentoo.org>

 dev-lang/boogie/boogie-3.0.10.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-lang/boogie/boogie-3.0.10.ebuild 
b/dev-lang/boogie/boogie-3.0.10.ebuild
index f63d909f5a00..e6115ead2c53 100644
--- a/dev-lang/boogie/boogie-3.0.10.ebuild
+++ b/dev-lang/boogie/boogie-3.0.10.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} "

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Maciej Barć]

commit: 7aec3f2b3a7179cd0a174f94ef8280a614cdaf3d
Author: Maciej Barć  gentoo  org>
AuthorDate: Mon Feb 19 20:21:36 2024 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Mon Feb 19 20:54:31 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7aec3f2b

dev-lang/boogie: bump to 3.0.12

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/boogie/Manifest |   1 +
 dev-lang/boogie/boogie-3.0.12.ebuild | 296 +++
 2 files changed, 297 insertions(+)

diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
index 2ac61026e4b1..8f224c593668 100644
--- a/dev-lang/boogie/Manifest
+++ b/dev-lang/boogie/Manifest
@@ -1,5 +1,6 @@
 DIST boogie-3.0.10.tar.gz 2045614 BLAKE2B 
47b709a9842055f489ddab50d1661c4abe5d5c72c3b968c80d4895797409cbb1b480d18ca514da4eb66797706213310baf284e2ad736714defcd03baff1bfc60
 SHA512 
7ab6c99cbb9e737208519fa86f87f942d4d898adb0ee1f08978e6ae59fd0be0b7cb0eb8e288ad787cf7d851920830f16bfac4881ea0c37af872f5e4a74a1f5fe
 DIST boogie-3.0.11.tar.gz 2044740 BLAKE2B 
b8c1cde7ad4b10deabb9ca9edbf226f580512a3817e9a19a947c7bd5d26808c08e907237aad2209ec06e645fa7ef40c8d73fec812437585b27adf4e125d5b1a0
 SHA512 
fe59fb1ed2708a5d988a569dd14148e308966ca6382da8502a2c679d67121b39f60e03e9ed6f7efa80c079c818db008c99e1f5e6bc28ba617fe33ae6289c2cce
+DIST boogie-3.0.12.tar.gz 2044818 BLAKE2B 
0d11cb1288933b1046b46ea3b93336fe08b9897a4aaf42228971e280be2c648b2110d20aaf6533e6d95e51b0a86c1fe507da05eaa908dc0ed885192e9480d0e7
 SHA512 
e2c1d4faad1bb448dd3cd9f6dbd4c70fa913584ef1bedd4938298498850bc6a0b6017924a55d9b48c82189253c2ac8c84a2564afa2d9b237434ad40ea286fbec
 DIST boogie-3.0.9.tar.gz 2044403 BLAKE2B 
80062b0de01899902a591debe68d8557897295f79535804d5c029f916aad3eb286681b011d30313090444ce73db5e76c9703583f9b3929dd157a0625215de599
 SHA512 
78e7fac6fa98a39c0c19b0d805d8dc6ff273bda26088616eb828224213ac00faf145527d22d6c3941b25d197ce9be19278e97a8fc4c2d222b1686dc125f1
 DIST microsoft.bcl.asyncinterfaces.6.0.0.nupkg 76354 BLAKE2B 
aca3f5db71e4037dbdd604aeaebcd0962ccc171915b77b4c409ab744bf0a469c7d588f9504fc7fa49e3863e9593b66b4083235cb49e812d1f87b3dadb32e6003
 SHA512 
221a05a0c910f7a87b620d8f3831ed392b4eb95d112bee274d35f27009ad2a26445de9d7cd235fe6fb4a03f2550874bda3be396edaf9c0852a9c23d7b099
 DIST microsoft.codecoverage.16.2.0.nupkg 3133582 BLAKE2B 
418cf403247d594cde0d827f8ca8690019a7631525f07993937085f4bbf8473364b4c99aea6e8b7b0020208d15fe0da63f0f4e69c273493c51ae011e8bd82667
 SHA512 
91f1d43fc038a20f5367d9aab669105dc7514dfbe749260b52789c09a75abcc6bdc000ee0c7f432231d4cc09e99bf5b863dd6289d813342f74d9dad23a651625

diff --git a/dev-lang/boogie/boogie-3.0.12.ebuild 
b/dev-lang/boogie/boogie-3.0.12.ebuild
new file mode 100644
index ..af645fd84b5b
--- /dev/null
+++ b/dev-lang/boogie/boogie-3.0.12.ebuild
@@ -0,0 +1,296 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+DOTNET_PKG_COMPAT=8.0
+NUGETS="
+microsoft.bcl.asyncinterfaces@6.0.0
+microsoft.codecoverage@16.2.0
+microsoft.csharp@4.0.1
+microsoft.dotnet.internalabstractions@1.0.0
+microsoft.net.test.sdk@16.2.0
+microsoft.netcore.platforms@1.0.1
+microsoft.netcore.platforms@1.1.0
+microsoft.netcore.targets@1.0.1
+microsoft.netcore.targets@1.1.0
+microsoft.testplatform.objectmodel@16.2.0
+microsoft.testplatform.testhost@16.2.0
+microsoft.win32.primitives@4.0.1
+microsoft.win32.primitives@4.3.0
+microsoft.win32.registry@4.0.0
+microsoft.win32.registry@4.3.0
+microsoft.win32.systemevents@6.0.0
+netstandard.library@1.6.0
+netstandard.library@2.0.0
+newtonsoft.json@9.0.1
+nunit@3.12.0
+nunit3testadapter@3.15.1
+runtime.any.system.collections@4.3.0
+runtime.any.system.diagnostics.tools@4.3.0
+runtime.any.system.diagnostics.tracing@4.3.0
+runtime.any.system.globalization.calendars@4.3.0
+runtime.any.system.globalization@4.3.0
+runtime.any.system.io@4.3.0
+runtime.any.system.reflection.extensions@4.3.0
+runtime.any.system.reflection.primitives@4.3.0
+runtime.any.system.reflection@4.3.0
+runtime.any.system.resources.resourcemanager@4.3.0
+runtime.any.system.runtime.handles@4.3.0
+runtime.any.system.runtime.interopservices@4.3.0
+runtime.any.system.runtime@4.3.0
+runtime.any.system.text.encoding.extensions@4.3.0
+runtime.any.system.text.encoding@4.3.0
+runtime.any.system.threading.tasks@4.3.0
+runtime.any.system.threading.timer@4.3.0
+runtime.debian.8-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.fedora.23-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.fedora.24-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.native.system.io.compression@4.1.0
+runtime.native.system.net.http@4.0.1
+runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.native.system.security.cryptography@4.0.0
+runtime.native.system@4.0.0
+runtime.native.system@4.3.0
+runtime.opensuse.13.2-x64.runtime.native.system.security.cryptography.openssl@4.3.0

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Maciej Barć]

commit: 404b3f274ab5584dcd952190e20c9f1abb27c1b8
Author: Maciej Barć  gentoo  org>
AuthorDate: Sat Feb 10 12:50:57 2024 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Sat Feb 10 16:24:47 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=404b3f27

dev-lang/boogie: drop old 3.0.8

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/boogie/Manifest|   1 -
 dev-lang/boogie/boogie-3.0.8.ebuild | 299 
 2 files changed, 300 deletions(-)

diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
index ed169fc4bfdc..2ac61026e4b1 100644
--- a/dev-lang/boogie/Manifest
+++ b/dev-lang/boogie/Manifest
@@ -1,6 +1,5 @@
 DIST boogie-3.0.10.tar.gz 2045614 BLAKE2B 
47b709a9842055f489ddab50d1661c4abe5d5c72c3b968c80d4895797409cbb1b480d18ca514da4eb66797706213310baf284e2ad736714defcd03baff1bfc60
 SHA512 
7ab6c99cbb9e737208519fa86f87f942d4d898adb0ee1f08978e6ae59fd0be0b7cb0eb8e288ad787cf7d851920830f16bfac4881ea0c37af872f5e4a74a1f5fe
 DIST boogie-3.0.11.tar.gz 2044740 BLAKE2B 
b8c1cde7ad4b10deabb9ca9edbf226f580512a3817e9a19a947c7bd5d26808c08e907237aad2209ec06e645fa7ef40c8d73fec812437585b27adf4e125d5b1a0
 SHA512 
fe59fb1ed2708a5d988a569dd14148e308966ca6382da8502a2c679d67121b39f60e03e9ed6f7efa80c079c818db008c99e1f5e6bc28ba617fe33ae6289c2cce
-DIST boogie-3.0.8.tar.gz 2041785 BLAKE2B 
0e6343ccf9f1432a19420d8358eea8aed754583f7a5e2343d47515f5377856d288088238d9f1d61a4cb05b3bff1a860dfdb654344007da5517b9c3f30d33b071
 SHA512 
31e80bb657f8b8dbcc127b1a6ed0a3a789b1de762b3db7d3d2f002d52a81486d716204816ff5bcc5680a76b8edb0b99651f996193bbdab40746f437bb20a3d46
 DIST boogie-3.0.9.tar.gz 2044403 BLAKE2B 
80062b0de01899902a591debe68d8557897295f79535804d5c029f916aad3eb286681b011d30313090444ce73db5e76c9703583f9b3929dd157a0625215de599
 SHA512 
78e7fac6fa98a39c0c19b0d805d8dc6ff273bda26088616eb828224213ac00faf145527d22d6c3941b25d197ce9be19278e97a8fc4c2d222b1686dc125f1
 DIST microsoft.bcl.asyncinterfaces.6.0.0.nupkg 76354 BLAKE2B 
aca3f5db71e4037dbdd604aeaebcd0962ccc171915b77b4c409ab744bf0a469c7d588f9504fc7fa49e3863e9593b66b4083235cb49e812d1f87b3dadb32e6003
 SHA512 
221a05a0c910f7a87b620d8f3831ed392b4eb95d112bee274d35f27009ad2a26445de9d7cd235fe6fb4a03f2550874bda3be396edaf9c0852a9c23d7b099
 DIST microsoft.codecoverage.16.2.0.nupkg 3133582 BLAKE2B 
418cf403247d594cde0d827f8ca8690019a7631525f07993937085f4bbf8473364b4c99aea6e8b7b0020208d15fe0da63f0f4e69c273493c51ae011e8bd82667
 SHA512 
91f1d43fc038a20f5367d9aab669105dc7514dfbe749260b52789c09a75abcc6bdc000ee0c7f432231d4cc09e99bf5b863dd6289d813342f74d9dad23a651625

diff --git a/dev-lang/boogie/boogie-3.0.8.ebuild 
b/dev-lang/boogie/boogie-3.0.8.ebuild
deleted file mode 100644
index b06fbe0900e2..
--- a/dev-lang/boogie/boogie-3.0.8.ebuild
+++ /dev/null
@@ -1,299 +0,0 @@
-# Copyright 1999-2024 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-DOTNET_PKG_COMPAT=8.0
-NUGETS="
-microsoft.bcl.asyncinterfaces@6.0.0
-microsoft.codecoverage@16.2.0
-microsoft.csharp@4.0.1
-microsoft.dotnet.internalabstractions@1.0.0
-microsoft.net.test.sdk@16.2.0
-microsoft.netcore.platforms@1.0.1
-microsoft.netcore.platforms@1.1.0
-microsoft.netcore.targets@1.0.1
-microsoft.netcore.targets@1.1.0
-microsoft.testplatform.objectmodel@16.2.0
-microsoft.testplatform.testhost@16.2.0
-microsoft.win32.primitives@4.0.1
-microsoft.win32.primitives@4.3.0
-microsoft.win32.registry@4.0.0
-microsoft.win32.registry@4.3.0
-microsoft.win32.systemevents@6.0.0
-netstandard.library@1.6.0
-netstandard.library@2.0.0
-newtonsoft.json@9.0.1
-nunit@3.12.0
-nunit3testadapter@3.15.1
-runtime.any.system.collections@4.3.0
-runtime.any.system.diagnostics.tools@4.3.0
-runtime.any.system.diagnostics.tracing@4.3.0
-runtime.any.system.globalization.calendars@4.3.0
-runtime.any.system.globalization@4.3.0
-runtime.any.system.io@4.3.0
-runtime.any.system.reflection.extensions@4.3.0
-runtime.any.system.reflection.primitives@4.3.0
-runtime.any.system.reflection@4.3.0
-runtime.any.system.resources.resourcemanager@4.3.0
-runtime.any.system.runtime.handles@4.3.0
-runtime.any.system.runtime.interopservices@4.3.0
-runtime.any.system.runtime@4.3.0
-runtime.any.system.text.encoding.extensions@4.3.0
-runtime.any.system.text.encoding@4.3.0
-runtime.any.system.threading.tasks@4.3.0
-runtime.any.system.threading.timer@4.3.0
-runtime.debian.8-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.fedora.23-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.fedora.24-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.native.system.io.compression@4.1.0
-runtime.native.system.net.http@4.0.1
-runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.native.system.security.cryptography@4.0.0
-runtime.native.system@4.0.0
-runtime.native.system@4.3.0
-runtime.opensuse.13.2-x64.runtime.native.system.security.cryptography.openssl@4.3.0

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Arthur Zamarin]

commit: 025e3e4707a73c7e137fe72c72dd1f084ae49fb6
Author: Arthur Zamarin  gentoo  org>
AuthorDate: Sat Feb  3 08:21:56 2024 +
Commit: Arthur Zamarin  gentoo  org>
CommitDate: Sat Feb  3 08:21:56 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=025e3e47

dev-lang/boogie: Stabilize 3.0.9 amd64, #923639

Signed-off-by: Arthur Zamarin  gentoo.org>

 dev-lang/boogie/boogie-3.0.9.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-lang/boogie/boogie-3.0.9.ebuild 
b/dev-lang/boogie/boogie-3.0.9.ebuild
index a971cec1cdde..86a1c4aef664 100644
--- a/dev-lang/boogie/boogie-3.0.9.ebuild
+++ b/dev-lang/boogie/boogie-3.0.9.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} "

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Maciej Barć]

commit: 97f2bc0289b82f02a33c0406eb68c0dab610daae
Author: Maciej Barć  gentoo  org>
AuthorDate: Fri Feb  2 18:36:58 2024 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Fri Feb  2 23:06:27 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=97f2bc02

dev-lang/boogie: drop old 3.0.6

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/boogie/Manifest|   2 -
 dev-lang/boogie/boogie-3.0.6.ebuild | 289 
 2 files changed, 291 deletions(-)

diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
index 71ed98646b10..66dea9a51fc2 100644
--- a/dev-lang/boogie/Manifest
+++ b/dev-lang/boogie/Manifest
@@ -1,5 +1,4 @@
 DIST boogie-3.0.10.tar.gz 2045614 BLAKE2B 
47b709a9842055f489ddab50d1661c4abe5d5c72c3b968c80d4895797409cbb1b480d18ca514da4eb66797706213310baf284e2ad736714defcd03baff1bfc60
 SHA512 
7ab6c99cbb9e737208519fa86f87f942d4d898adb0ee1f08978e6ae59fd0be0b7cb0eb8e288ad787cf7d851920830f16bfac4881ea0c37af872f5e4a74a1f5fe
-DIST boogie-3.0.6.tar.gz 2023821 BLAKE2B 
0d11c5f33d25e55debb5ec2a9fc99881bc4781f69da091f157f55a13e5a26e6562c9ef8c5ebeb5e0cf307d5c6ddaeb36918a0d1e6f5a740829811291b7fd92c5
 SHA512 
dd2f075a9f34212edd7ca57872cc1b240fac0814c3fbbe27aa1c3ad2a4133dcdbc432c9b49db56416f700a1c0caf2a99225af35f9dfe92115b783916979a43f0
 DIST boogie-3.0.8.tar.gz 2041785 BLAKE2B 
0e6343ccf9f1432a19420d8358eea8aed754583f7a5e2343d47515f5377856d288088238d9f1d61a4cb05b3bff1a860dfdb654344007da5517b9c3f30d33b071
 SHA512 
31e80bb657f8b8dbcc127b1a6ed0a3a789b1de762b3db7d3d2f002d52a81486d716204816ff5bcc5680a76b8edb0b99651f996193bbdab40746f437bb20a3d46
 DIST boogie-3.0.9.tar.gz 2044403 BLAKE2B 
80062b0de01899902a591debe68d8557897295f79535804d5c029f916aad3eb286681b011d30313090444ce73db5e76c9703583f9b3929dd157a0625215de599
 SHA512 
78e7fac6fa98a39c0c19b0d805d8dc6ff273bda26088616eb828224213ac00faf145527d22d6c3941b25d197ce9be19278e97a8fc4c2d222b1686dc125f1
 DIST microsoft.bcl.asyncinterfaces.6.0.0.nupkg 76354 BLAKE2B 
aca3f5db71e4037dbdd604aeaebcd0962ccc171915b77b4c409ab744bf0a469c7d588f9504fc7fa49e3863e9593b66b4083235cb49e812d1f87b3dadb32e6003
 SHA512 
221a05a0c910f7a87b620d8f3831ed392b4eb95d112bee274d35f27009ad2a26445de9d7cd235fe6fb4a03f2550874bda3be396edaf9c0852a9c23d7b099
@@ -64,7 +63,6 @@ DIST runtime.unix.system.net.primitives.4.3.0.nupkg 125060 
BLAKE2B 76f760a4fe1f1
 DIST runtime.unix.system.net.sockets.4.3.0.nupkg 105673 BLAKE2B 
06119cfdac3ce590b2f12f5587c75b6799fa876d7def559a78a1ccf53e34e6e1bf79410bfd676b04f1ab3f34a887eb919078a55cf79dc75faa75fc62094c2cbe
 SHA512 
31b62be088315ead04d89f452a6c49a656b88f0668f7dadb2790511675d48705e01c9df24dbed3a0095157875c208ab6e6b5b6afc82bac13e4d6cdd3026f8424
 DIST runtime.unix.system.private.uri.4.3.0.nupkg 75969 BLAKE2B 
82611545be3eba44ccfbef1f104e9b5afade845fd3b30c6cb40171368330f9d4bb2ad8752e415aa3b1678ec140c40f8e72cd4cc3731f42ca64016c1a1dce70cf
 SHA512 
203ebe272791d79ab0c40afe9d0543852ee91b9fb4ae5bc15524d97728bc8bc9d7e0cbcf65d1fab8cfb0aa7a4ae37e7938933eef127aa5ea46f60e57b6ad2d91
 DIST runtime.unix.system.runtime.extensions.4.3.0.nupkg 54075 BLAKE2B 
f81d86cc15c63aa0b4a3d03546a07649587af7a0285af0de4123734e719fc023fa4227b7abb18307d4fc060e2952c157ec72b3bb85d49ab8508d8167b1aeedd7
 SHA512 
54b81784c08e934389c59e6e155af6b1855e4bbc41678b01a702c94e6daba87c6ddfd16fe9e2cb61f3097bfa4950dbc37781454d027ce5ba6c50a393cc91b888
-DIST stylecop.analyzers.1.1.118.nupkg 377566 BLAKE2B 
0751011eee35efd4aafe36e7235a21eba54068fc89b6ab94f9e25ba26331d18135b5d4fa6447246e0f4dedbbb90490ceca5969f544b74bad48776a9abd25
 SHA512 
398619762085fdbdcafc0cc6590d8f2d01f9067411cd07c76db520b9c32926a05ef63b0f4e7c9087dda831a6df7c571370147610ea49c8c729f43d397ecf32bc
 DIST system.appcontext.4.1.0.nupkg 146990 BLAKE2B 
7881a5a903a358e19b0de72fe800c70ac9233e7c5e1e4115d69be6f8dbc4fbe86debb79bcd453295730e803ff1da974075c999f52e4c721e085676746c2f9b58
 SHA512 
f724af13eb14aa57255f82841683a93b427de172b8d31b9fe2c6bc8c21a795e60ecf211b4e49e1c2e285fe1ad498e6bd9c843e109a60a3dc27b49df560106e96
 DIST system.buffers.4.0.0.nupkg 35190 BLAKE2B 
fee35456dd7fde57a978d20526e4136f50764307ab2db6edf2c9d990992f4d2520531687885764ba2fb54f2a26640da699abb8ee538cda2015d65382d01128d5
 SHA512 
0663f4639c4e37c9dff12717cdeaebf30e38d91e986d6a99f9f16ba88189873e0399e418659e732a18c674d8875f8f41a1cf60319604173ca8430960759fddf2
 DIST system.buffers.4.3.0.nupkg 35171 BLAKE2B 
3b274a048ce14845ca957019b3670db00338972f6e11279e47f59ca6b4326aaecab1d11317694ed98e8a27f3de7ef6f90de94d4711ab224f805388d468728392
 SHA512 
3dcbf66f6edf7e9bb4f698cddcf81b9d059811d84e05c7ac618b2640efed642f089b0ef84c927c5f58feffe43bb96a6bcf4fec422529b82998b18d70e4648cbe

diff --git a/dev-lang/boogie/boogie-3.0.6.ebuild 
b/dev-lang/boogie/boogie-3.0.6.ebuild
deleted file mode 100644
index fc04c4ae131e..
--- a/dev-lang/boogie/boogie-3.0.6.ebuild
+++ /dev/null
@@ -1,289 +0,0 @@
-# Copyright 1999-2024 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Maciej Barć]

commit: 05116d7eb1d0a3ace5fa321afe59d32bf5277e04
Author: Maciej Barć  gentoo  org>
AuthorDate: Fri Feb  2 18:37:47 2024 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Fri Feb  2 23:06:28 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=05116d7e

dev-lang/boogie: bump to 3.0.11

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/boogie/Manifest |   1 +
 dev-lang/boogie/boogie-3.0.11.ebuild | 300 +++
 2 files changed, 301 insertions(+)

diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
index 66dea9a51fc2..ed169fc4bfdc 100644
--- a/dev-lang/boogie/Manifest
+++ b/dev-lang/boogie/Manifest
@@ -1,4 +1,5 @@
 DIST boogie-3.0.10.tar.gz 2045614 BLAKE2B 
47b709a9842055f489ddab50d1661c4abe5d5c72c3b968c80d4895797409cbb1b480d18ca514da4eb66797706213310baf284e2ad736714defcd03baff1bfc60
 SHA512 
7ab6c99cbb9e737208519fa86f87f942d4d898adb0ee1f08978e6ae59fd0be0b7cb0eb8e288ad787cf7d851920830f16bfac4881ea0c37af872f5e4a74a1f5fe
+DIST boogie-3.0.11.tar.gz 2044740 BLAKE2B 
b8c1cde7ad4b10deabb9ca9edbf226f580512a3817e9a19a947c7bd5d26808c08e907237aad2209ec06e645fa7ef40c8d73fec812437585b27adf4e125d5b1a0
 SHA512 
fe59fb1ed2708a5d988a569dd14148e308966ca6382da8502a2c679d67121b39f60e03e9ed6f7efa80c079c818db008c99e1f5e6bc28ba617fe33ae6289c2cce
 DIST boogie-3.0.8.tar.gz 2041785 BLAKE2B 
0e6343ccf9f1432a19420d8358eea8aed754583f7a5e2343d47515f5377856d288088238d9f1d61a4cb05b3bff1a860dfdb654344007da5517b9c3f30d33b071
 SHA512 
31e80bb657f8b8dbcc127b1a6ed0a3a789b1de762b3db7d3d2f002d52a81486d716204816ff5bcc5680a76b8edb0b99651f996193bbdab40746f437bb20a3d46
 DIST boogie-3.0.9.tar.gz 2044403 BLAKE2B 
80062b0de01899902a591debe68d8557897295f79535804d5c029f916aad3eb286681b011d30313090444ce73db5e76c9703583f9b3929dd157a0625215de599
 SHA512 
78e7fac6fa98a39c0c19b0d805d8dc6ff273bda26088616eb828224213ac00faf145527d22d6c3941b25d197ce9be19278e97a8fc4c2d222b1686dc125f1
 DIST microsoft.bcl.asyncinterfaces.6.0.0.nupkg 76354 BLAKE2B 
aca3f5db71e4037dbdd604aeaebcd0962ccc171915b77b4c409ab744bf0a469c7d588f9504fc7fa49e3863e9593b66b4083235cb49e812d1f87b3dadb32e6003
 SHA512 
221a05a0c910f7a87b620d8f3831ed392b4eb95d112bee274d35f27009ad2a26445de9d7cd235fe6fb4a03f2550874bda3be396edaf9c0852a9c23d7b099

diff --git a/dev-lang/boogie/boogie-3.0.11.ebuild 
b/dev-lang/boogie/boogie-3.0.11.ebuild
new file mode 100644
index ..a971cec1cdde
--- /dev/null
+++ b/dev-lang/boogie/boogie-3.0.11.ebuild
@@ -0,0 +1,300 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+DOTNET_PKG_COMPAT=8.0
+NUGETS="
+microsoft.bcl.asyncinterfaces@6.0.0
+microsoft.codecoverage@16.2.0
+microsoft.csharp@4.0.1
+microsoft.dotnet.internalabstractions@1.0.0
+microsoft.net.test.sdk@16.2.0
+microsoft.netcore.platforms@1.0.1
+microsoft.netcore.platforms@1.1.0
+microsoft.netcore.targets@1.0.1
+microsoft.netcore.targets@1.1.0
+microsoft.testplatform.objectmodel@16.2.0
+microsoft.testplatform.testhost@16.2.0
+microsoft.win32.primitives@4.0.1
+microsoft.win32.primitives@4.3.0
+microsoft.win32.registry@4.0.0
+microsoft.win32.registry@4.3.0
+microsoft.win32.systemevents@6.0.0
+netstandard.library@1.6.0
+netstandard.library@2.0.0
+newtonsoft.json@9.0.1
+nunit@3.12.0
+nunit3testadapter@3.15.1
+runtime.any.system.collections@4.3.0
+runtime.any.system.diagnostics.tools@4.3.0
+runtime.any.system.diagnostics.tracing@4.3.0
+runtime.any.system.globalization.calendars@4.3.0
+runtime.any.system.globalization@4.3.0
+runtime.any.system.io@4.3.0
+runtime.any.system.reflection.extensions@4.3.0
+runtime.any.system.reflection.primitives@4.3.0
+runtime.any.system.reflection@4.3.0
+runtime.any.system.resources.resourcemanager@4.3.0
+runtime.any.system.runtime.handles@4.3.0
+runtime.any.system.runtime.interopservices@4.3.0
+runtime.any.system.runtime@4.3.0
+runtime.any.system.text.encoding.extensions@4.3.0
+runtime.any.system.text.encoding@4.3.0
+runtime.any.system.threading.tasks@4.3.0
+runtime.any.system.threading.timer@4.3.0
+runtime.debian.8-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.fedora.23-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.fedora.24-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.native.system.io.compression@4.1.0
+runtime.native.system.net.http@4.0.1
+runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.native.system.security.cryptography@4.0.0
+runtime.native.system@4.0.0
+runtime.native.system@4.3.0
+runtime.opensuse.13.2-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.opensuse.42.1-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.osx.10.10-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.rhel.7-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.ubuntu.14.04-x64.runtime.native.system.security.cryptography.openssl@4.3.0

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Ionen Wolkens]

commit: 6ae699d5a7527c96eaae04aa3ff9eb3491ae6895
Author: Matoro Mahri  matoro  tk>
AuthorDate: Sat Jan 27 18:24:55 2024 +
Commit: Ionen Wolkens  gentoo  org>
CommitDate: Sat Jan 27 19:48:34 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6ae699d5

dev-lang/boogie: Stabilize 3.0.8 amd64, #921420

Signed-off-by: Matoro Mahri  matoro.tk>
Signed-off-by: Ionen Wolkens  gentoo.org>

 dev-lang/boogie/boogie-3.0.8.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-lang/boogie/boogie-3.0.8.ebuild 
b/dev-lang/boogie/boogie-3.0.8.ebuild
index dc24d3c3fe93..b06fbe0900e2 100644
--- a/dev-lang/boogie/boogie-3.0.8.ebuild
+++ b/dev-lang/boogie/boogie-3.0.8.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} "

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Maciej Barć]

commit: 1c36c7bde550593bfad87722376b57a1564e3677
Author: Maciej Barć  gentoo  org>
AuthorDate: Mon Jan 22 20:40:03 2024 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Mon Jan 22 22:19:21 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1c36c7bd

dev-lang/boogie: bump to 3.0.10

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/boogie/Manifest |   1 +
 dev-lang/boogie/boogie-3.0.10.ebuild | 301 +++
 2 files changed, 302 insertions(+)

diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
index 28515f70d46b..71ed98646b10 100644
--- a/dev-lang/boogie/Manifest
+++ b/dev-lang/boogie/Manifest
@@ -1,3 +1,4 @@
+DIST boogie-3.0.10.tar.gz 2045614 BLAKE2B 
47b709a9842055f489ddab50d1661c4abe5d5c72c3b968c80d4895797409cbb1b480d18ca514da4eb66797706213310baf284e2ad736714defcd03baff1bfc60
 SHA512 
7ab6c99cbb9e737208519fa86f87f942d4d898adb0ee1f08978e6ae59fd0be0b7cb0eb8e288ad787cf7d851920830f16bfac4881ea0c37af872f5e4a74a1f5fe
 DIST boogie-3.0.6.tar.gz 2023821 BLAKE2B 
0d11c5f33d25e55debb5ec2a9fc99881bc4781f69da091f157f55a13e5a26e6562c9ef8c5ebeb5e0cf307d5c6ddaeb36918a0d1e6f5a740829811291b7fd92c5
 SHA512 
dd2f075a9f34212edd7ca57872cc1b240fac0814c3fbbe27aa1c3ad2a4133dcdbc432c9b49db56416f700a1c0caf2a99225af35f9dfe92115b783916979a43f0
 DIST boogie-3.0.8.tar.gz 2041785 BLAKE2B 
0e6343ccf9f1432a19420d8358eea8aed754583f7a5e2343d47515f5377856d288088238d9f1d61a4cb05b3bff1a860dfdb654344007da5517b9c3f30d33b071
 SHA512 
31e80bb657f8b8dbcc127b1a6ed0a3a789b1de762b3db7d3d2f002d52a81486d716204816ff5bcc5680a76b8edb0b99651f996193bbdab40746f437bb20a3d46
 DIST boogie-3.0.9.tar.gz 2044403 BLAKE2B 
80062b0de01899902a591debe68d8557897295f79535804d5c029f916aad3eb286681b011d30313090444ce73db5e76c9703583f9b3929dd157a0625215de599
 SHA512 
78e7fac6fa98a39c0c19b0d805d8dc6ff273bda26088616eb828224213ac00faf145527d22d6c3941b25d197ce9be19278e97a8fc4c2d222b1686dc125f1

diff --git a/dev-lang/boogie/boogie-3.0.10.ebuild 
b/dev-lang/boogie/boogie-3.0.10.ebuild
new file mode 100644
index ..f63d909f5a00
--- /dev/null
+++ b/dev-lang/boogie/boogie-3.0.10.ebuild
@@ -0,0 +1,301 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+DOTNET_PKG_COMPAT=8.0
+NUGETS="
+microsoft.bcl.asyncinterfaces@6.0.0
+microsoft.codecoverage@16.2.0
+microsoft.csharp@4.0.1
+microsoft.dotnet.internalabstractions@1.0.0
+microsoft.net.test.sdk@16.2.0
+microsoft.netcore.platforms@1.0.1
+microsoft.netcore.platforms@1.1.0
+microsoft.netcore.targets@1.0.1
+microsoft.netcore.targets@1.1.0
+microsoft.testplatform.objectmodel@16.2.0
+microsoft.testplatform.testhost@16.2.0
+microsoft.win32.primitives@4.0.1
+microsoft.win32.primitives@4.3.0
+microsoft.win32.registry@4.0.0
+microsoft.win32.registry@4.3.0
+microsoft.win32.systemevents@6.0.0
+netstandard.library@1.6.0
+netstandard.library@2.0.0
+newtonsoft.json@9.0.1
+nunit@3.12.0
+nunit3testadapter@3.15.1
+runtime.any.system.collections@4.3.0
+runtime.any.system.diagnostics.tools@4.3.0
+runtime.any.system.diagnostics.tracing@4.3.0
+runtime.any.system.globalization.calendars@4.3.0
+runtime.any.system.globalization@4.3.0
+runtime.any.system.io@4.3.0
+runtime.any.system.reflection.extensions@4.3.0
+runtime.any.system.reflection.primitives@4.3.0
+runtime.any.system.reflection@4.3.0
+runtime.any.system.resources.resourcemanager@4.3.0
+runtime.any.system.runtime.handles@4.3.0
+runtime.any.system.runtime.interopservices@4.3.0
+runtime.any.system.runtime@4.3.0
+runtime.any.system.text.encoding.extensions@4.3.0
+runtime.any.system.text.encoding@4.3.0
+runtime.any.system.threading.tasks@4.3.0
+runtime.any.system.threading.timer@4.3.0
+runtime.debian.8-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.fedora.23-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.fedora.24-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.native.system.io.compression@4.1.0
+runtime.native.system.net.http@4.0.1
+runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.native.system.security.cryptography@4.0.0
+runtime.native.system@4.0.0
+runtime.native.system@4.3.0
+runtime.opensuse.13.2-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.opensuse.42.1-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.osx.10.10-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.rhel.7-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.ubuntu.14.04-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.ubuntu.16.04-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.ubuntu.16.10-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.unix.microsoft.win32.primitives@4.3.0
+runtime.unix.system.console@4.3.0
+runtime.unix.system.diagnostics.debug@4.3.0
+runtime.unix.system.io.filesystem@4.3.0

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Maciej Barć]

commit: c4294764f72a31de0fd5a013151a2fd8807ad0af
Author: Maciej Barć  gentoo  org>
AuthorDate: Fri Jan 12 19:54:41 2024 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Fri Jan 12 23:21:58 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c4294764

dev-lang/boogie: disable the z3-hard-timeout test

Closes: https://bugs.gentoo.org/921948
Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/boogie/boogie-3.0.6.ebuild | 3 ++-
 dev-lang/boogie/boogie-3.0.8.ebuild | 3 ++-
 dev-lang/boogie/boogie-3.0.9.ebuild | 3 ++-
 3 files changed, 6 insertions(+), 3 deletions(-)

diff --git a/dev-lang/boogie/boogie-3.0.6.ebuild 
b/dev-lang/boogie/boogie-3.0.6.ebuild
index 8c65652b87cd..fc04c4ae131e 100644
--- a/dev-lang/boogie/boogie-3.0.6.ebuild
+++ b/dev-lang/boogie/boogie-3.0.6.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2023 Gentoo Authors
+# Copyright 1999-2024 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=8
@@ -257,6 +257,7 @@ src_prepare() {
livevars/bla1.bpl
prover/cvc5-offline.bpl
prover/cvc5.bpl
+   prover/z3-hard-timeout.bpl
prover/z3mutl.bpl
test0/MaxKeepGoingSplits.bpl
test15/CaptureInlineUnroll.bpl

diff --git a/dev-lang/boogie/boogie-3.0.8.ebuild 
b/dev-lang/boogie/boogie-3.0.8.ebuild
index fc11c8860265..dc24d3c3fe93 100644
--- a/dev-lang/boogie/boogie-3.0.8.ebuild
+++ b/dev-lang/boogie/boogie-3.0.8.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2023 Gentoo Authors
+# Copyright 1999-2024 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=8
@@ -259,6 +259,7 @@ src_prepare() {
livevars/bla1.bpl
prover/cvc5-offline.bpl
prover/cvc5.bpl
+   prover/z3-hard-timeout.bpl
prover/z3mutl.bpl
test0/MaxKeepGoingSplits.bpl
test15/CaptureInlineUnroll.bpl

diff --git a/dev-lang/boogie/boogie-3.0.9.ebuild 
b/dev-lang/boogie/boogie-3.0.9.ebuild
index d43d6b2020ca..a971cec1cdde 100644
--- a/dev-lang/boogie/boogie-3.0.9.ebuild
+++ b/dev-lang/boogie/boogie-3.0.9.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2023 Gentoo Authors
+# Copyright 1999-2024 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=8
@@ -260,6 +260,7 @@ src_prepare() {
prover/cvc5-offline.bpl
prover/cvc5.bpl
prover/exitcode.bpl
+   prover/z3-hard-timeout.bpl
prover/z3mutl.bpl
test0/MaxKeepGoingSplits.bpl
test15/CaptureInlineUnroll.bpl

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Maciej Barć]

commit: 379ebb1dcdddb97cadf0bcadfeea7ca652035bfa
Author: Maciej Barć  gentoo  org>
AuthorDate: Wed Dec 27 23:36:59 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Wed Dec 27 23:44:39 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=379ebb1d

dev-lang/boogie: Stabilize 3.0.6 amd64, #920501

Closes: https://bugs.gentoo.org/920501
Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/boogie/boogie-3.0.6.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-lang/boogie/boogie-3.0.6.ebuild 
b/dev-lang/boogie/boogie-3.0.6.ebuild
index 1b08f8717817..8c65652b87cd 100644
--- a/dev-lang/boogie/boogie-3.0.6.ebuild
+++ b/dev-lang/boogie/boogie-3.0.6.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} "

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Maciej Barć]

commit: cca4166904dd005021c360c4cb71deb23b51a366
Author: Maciej Barć  gentoo  org>
AuthorDate: Wed Dec 27 23:39:25 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Wed Dec 27 23:44:40 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cca41669

dev-lang/boogie: drop old 3.0.5

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/boogie/Manifest|   1 -
 dev-lang/boogie/boogie-3.0.5.ebuild | 287 
 2 files changed, 288 deletions(-)

diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
index 84bc868793c0..28515f70d46b 100644
--- a/dev-lang/boogie/Manifest
+++ b/dev-lang/boogie/Manifest
@@ -1,4 +1,3 @@
-DIST boogie-3.0.5.tar.gz 2024714 BLAKE2B 
453b09d9275923e8bed6ef80b1e331ee3a16e3ebfc7f2f454a989fa1242c5221c9a9d322b4306b11749b9ab48e012cc30cbf4d965413dc96e5bcdf52e6679f95
 SHA512 
212b561597ba8dea4c2ff1d073c317eb6f880c28588f032f65f3ad620a68fbf137e5cc9a20947a9f7af6f00e7543aeb56f09699ae179cfc7c4df63f825102d44
 DIST boogie-3.0.6.tar.gz 2023821 BLAKE2B 
0d11c5f33d25e55debb5ec2a9fc99881bc4781f69da091f157f55a13e5a26e6562c9ef8c5ebeb5e0cf307d5c6ddaeb36918a0d1e6f5a740829811291b7fd92c5
 SHA512 
dd2f075a9f34212edd7ca57872cc1b240fac0814c3fbbe27aa1c3ad2a4133dcdbc432c9b49db56416f700a1c0caf2a99225af35f9dfe92115b783916979a43f0
 DIST boogie-3.0.8.tar.gz 2041785 BLAKE2B 
0e6343ccf9f1432a19420d8358eea8aed754583f7a5e2343d47515f5377856d288088238d9f1d61a4cb05b3bff1a860dfdb654344007da5517b9c3f30d33b071
 SHA512 
31e80bb657f8b8dbcc127b1a6ed0a3a789b1de762b3db7d3d2f002d52a81486d716204816ff5bcc5680a76b8edb0b99651f996193bbdab40746f437bb20a3d46
 DIST boogie-3.0.9.tar.gz 2044403 BLAKE2B 
80062b0de01899902a591debe68d8557897295f79535804d5c029f916aad3eb286681b011d30313090444ce73db5e76c9703583f9b3929dd157a0625215de599
 SHA512 
78e7fac6fa98a39c0c19b0d805d8dc6ff273bda26088616eb828224213ac00faf145527d22d6c3941b25d197ce9be19278e97a8fc4c2d222b1686dc125f1

diff --git a/dev-lang/boogie/boogie-3.0.5.ebuild 
b/dev-lang/boogie/boogie-3.0.5.ebuild
deleted file mode 100644
index 0bcacffb7c72..
--- a/dev-lang/boogie/boogie-3.0.5.ebuild
+++ /dev/null
@@ -1,287 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-DOTNET_PKG_COMPAT=7.0
-NUGETS="
-microsoft.bcl.asyncinterfaces@6.0.0
-microsoft.codecoverage@16.2.0
-microsoft.csharp@4.0.1
-microsoft.dotnet.internalabstractions@1.0.0
-microsoft.net.test.sdk@16.2.0
-microsoft.netcore.platforms@1.0.1
-microsoft.netcore.platforms@1.1.0
-microsoft.netcore.targets@1.0.1
-microsoft.netcore.targets@1.1.0
-microsoft.testplatform.objectmodel@16.2.0
-microsoft.testplatform.testhost@16.2.0
-microsoft.win32.primitives@4.0.1
-microsoft.win32.primitives@4.3.0
-microsoft.win32.registry@4.0.0
-microsoft.win32.registry@4.3.0
-microsoft.win32.systemevents@6.0.0
-netstandard.library@1.6.0
-netstandard.library@2.0.0
-newtonsoft.json@9.0.1
-nunit@3.12.0
-nunit3testadapter@3.15.1
-runtime.any.system.collections@4.3.0
-runtime.any.system.diagnostics.tools@4.3.0
-runtime.any.system.diagnostics.tracing@4.3.0
-runtime.any.system.globalization.calendars@4.3.0
-runtime.any.system.globalization@4.3.0
-runtime.any.system.io@4.3.0
-runtime.any.system.reflection.extensions@4.3.0
-runtime.any.system.reflection.primitives@4.3.0
-runtime.any.system.reflection@4.3.0
-runtime.any.system.resources.resourcemanager@4.3.0
-runtime.any.system.runtime.handles@4.3.0
-runtime.any.system.runtime.interopservices@4.3.0
-runtime.any.system.runtime@4.3.0
-runtime.any.system.text.encoding.extensions@4.3.0
-runtime.any.system.text.encoding@4.3.0
-runtime.any.system.threading.tasks@4.3.0
-runtime.any.system.threading.timer@4.3.0
-runtime.debian.8-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.fedora.23-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.fedora.24-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.native.system.io.compression@4.1.0
-runtime.native.system.net.http@4.0.1
-runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.native.system.security.cryptography@4.0.0
-runtime.native.system@4.0.0
-runtime.native.system@4.3.0
-runtime.opensuse.13.2-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.opensuse.42.1-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.osx.10.10-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.rhel.7-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.ubuntu.14.04-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.ubuntu.16.04-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.ubuntu.16.10-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.unix.microsoft.win32.primitives@4.3.0
-runtime.unix.system.console@4.3.0
-runtime.unix.system.diagnostics.debug@4.3.0
-runtime.unix.system.io.filesystem@4.3.0

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Maciej Barć]

commit: 6064daf6bb0955312ddf5f8b256d83edce3582e2
Author: Maciej Barć  gentoo  org>
AuthorDate: Fri Dec  8 08:26:03 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Fri Dec  8 08:31:15 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6064daf6

dev-lang/boogie: drop old 3.0.7

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/boogie/Manifest|   1 -
 dev-lang/boogie/boogie-3.0.7.ebuild | 288 
 2 files changed, 289 deletions(-)

diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
index 5775035f4c4d..84bc868793c0 100644
--- a/dev-lang/boogie/Manifest
+++ b/dev-lang/boogie/Manifest
@@ -1,6 +1,5 @@
 DIST boogie-3.0.5.tar.gz 2024714 BLAKE2B 
453b09d9275923e8bed6ef80b1e331ee3a16e3ebfc7f2f454a989fa1242c5221c9a9d322b4306b11749b9ab48e012cc30cbf4d965413dc96e5bcdf52e6679f95
 SHA512 
212b561597ba8dea4c2ff1d073c317eb6f880c28588f032f65f3ad620a68fbf137e5cc9a20947a9f7af6f00e7543aeb56f09699ae179cfc7c4df63f825102d44
 DIST boogie-3.0.6.tar.gz 2023821 BLAKE2B 
0d11c5f33d25e55debb5ec2a9fc99881bc4781f69da091f157f55a13e5a26e6562c9ef8c5ebeb5e0cf307d5c6ddaeb36918a0d1e6f5a740829811291b7fd92c5
 SHA512 
dd2f075a9f34212edd7ca57872cc1b240fac0814c3fbbe27aa1c3ad2a4133dcdbc432c9b49db56416f700a1c0caf2a99225af35f9dfe92115b783916979a43f0
-DIST boogie-3.0.7.tar.gz 2040955 BLAKE2B 
ae5abfadefea49669809c22844f9749058c1751434a22fd93c3a9d1f167ad99aed2143d15d206c5b062305f7f145b9d6d1f2e88b145d47505a6c8153d433d480
 SHA512 
dfd9c684a0d9d4058c4b95cba67eaebf836fc39b78d742bfc8c92982c9314672c1c3b3f54b6a69b709e3b3a222694ce857130d609e59db3b5fe45672d693
 DIST boogie-3.0.8.tar.gz 2041785 BLAKE2B 
0e6343ccf9f1432a19420d8358eea8aed754583f7a5e2343d47515f5377856d288088238d9f1d61a4cb05b3bff1a860dfdb654344007da5517b9c3f30d33b071
 SHA512 
31e80bb657f8b8dbcc127b1a6ed0a3a789b1de762b3db7d3d2f002d52a81486d716204816ff5bcc5680a76b8edb0b99651f996193bbdab40746f437bb20a3d46
 DIST boogie-3.0.9.tar.gz 2044403 BLAKE2B 
80062b0de01899902a591debe68d8557897295f79535804d5c029f916aad3eb286681b011d30313090444ce73db5e76c9703583f9b3929dd157a0625215de599
 SHA512 
78e7fac6fa98a39c0c19b0d805d8dc6ff273bda26088616eb828224213ac00faf145527d22d6c3941b25d197ce9be19278e97a8fc4c2d222b1686dc125f1
 DIST microsoft.bcl.asyncinterfaces.6.0.0.nupkg 76354 BLAKE2B 
aca3f5db71e4037dbdd604aeaebcd0962ccc171915b77b4c409ab744bf0a469c7d588f9504fc7fa49e3863e9593b66b4083235cb49e812d1f87b3dadb32e6003
 SHA512 
221a05a0c910f7a87b620d8f3831ed392b4eb95d112bee274d35f27009ad2a26445de9d7cd235fe6fb4a03f2550874bda3be396edaf9c0852a9c23d7b099

diff --git a/dev-lang/boogie/boogie-3.0.7.ebuild 
b/dev-lang/boogie/boogie-3.0.7.ebuild
deleted file mode 100644
index 1b08f8717817..
--- a/dev-lang/boogie/boogie-3.0.7.ebuild
+++ /dev/null
@@ -1,288 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-DOTNET_PKG_COMPAT=7.0
-NUGETS="
-microsoft.bcl.asyncinterfaces@6.0.0
-microsoft.codecoverage@16.2.0
-microsoft.csharp@4.0.1
-microsoft.dotnet.internalabstractions@1.0.0
-microsoft.net.test.sdk@16.2.0
-microsoft.netcore.platforms@1.0.1
-microsoft.netcore.platforms@1.1.0
-microsoft.netcore.targets@1.0.1
-microsoft.netcore.targets@1.1.0
-microsoft.testplatform.objectmodel@16.2.0
-microsoft.testplatform.testhost@16.2.0
-microsoft.win32.primitives@4.0.1
-microsoft.win32.primitives@4.3.0
-microsoft.win32.registry@4.0.0
-microsoft.win32.registry@4.3.0
-microsoft.win32.systemevents@6.0.0
-netstandard.library@1.6.0
-netstandard.library@2.0.0
-newtonsoft.json@9.0.1
-nunit@3.12.0
-nunit3testadapter@3.15.1
-runtime.any.system.collections@4.3.0
-runtime.any.system.diagnostics.tools@4.3.0
-runtime.any.system.diagnostics.tracing@4.3.0
-runtime.any.system.globalization.calendars@4.3.0
-runtime.any.system.globalization@4.3.0
-runtime.any.system.io@4.3.0
-runtime.any.system.reflection.extensions@4.3.0
-runtime.any.system.reflection.primitives@4.3.0
-runtime.any.system.reflection@4.3.0
-runtime.any.system.resources.resourcemanager@4.3.0
-runtime.any.system.runtime.handles@4.3.0
-runtime.any.system.runtime.interopservices@4.3.0
-runtime.any.system.runtime@4.3.0
-runtime.any.system.text.encoding.extensions@4.3.0
-runtime.any.system.text.encoding@4.3.0
-runtime.any.system.threading.tasks@4.3.0
-runtime.any.system.threading.timer@4.3.0
-runtime.debian.8-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.fedora.23-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.fedora.24-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.native.system.io.compression@4.1.0
-runtime.native.system.net.http@4.0.1
-runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.native.system.security.cryptography@4.0.0
-runtime.native.system@4.0.0
-runtime.native.system@4.3.0
-runtime.opensuse.13.2-x64.runtime.native.system.security.cryptography.openssl@4.3.0

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Maciej Barć]

commit: c3bcc160f8b5748e99b6ab66605cde6475a48091
Author: Maciej Barć  gentoo  org>
AuthorDate: Fri Dec  8 08:20:10 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Fri Dec  8 08:31:15 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c3bcc160

dev-lang/boogie: bump to 3.0.9

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/boogie/Manifest|   1 +
 dev-lang/boogie/boogie-3.0.9.ebuild | 299 
 2 files changed, 300 insertions(+)

diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
index df0b3c7c197d..5775035f4c4d 100644
--- a/dev-lang/boogie/Manifest
+++ b/dev-lang/boogie/Manifest
@@ -2,6 +2,7 @@ DIST boogie-3.0.5.tar.gz 2024714 BLAKE2B 
453b09d9275923e8bed6ef80b1e331ee3a16e3e
 DIST boogie-3.0.6.tar.gz 2023821 BLAKE2B 
0d11c5f33d25e55debb5ec2a9fc99881bc4781f69da091f157f55a13e5a26e6562c9ef8c5ebeb5e0cf307d5c6ddaeb36918a0d1e6f5a740829811291b7fd92c5
 SHA512 
dd2f075a9f34212edd7ca57872cc1b240fac0814c3fbbe27aa1c3ad2a4133dcdbc432c9b49db56416f700a1c0caf2a99225af35f9dfe92115b783916979a43f0
 DIST boogie-3.0.7.tar.gz 2040955 BLAKE2B 
ae5abfadefea49669809c22844f9749058c1751434a22fd93c3a9d1f167ad99aed2143d15d206c5b062305f7f145b9d6d1f2e88b145d47505a6c8153d433d480
 SHA512 
dfd9c684a0d9d4058c4b95cba67eaebf836fc39b78d742bfc8c92982c9314672c1c3b3f54b6a69b709e3b3a222694ce857130d609e59db3b5fe45672d693
 DIST boogie-3.0.8.tar.gz 2041785 BLAKE2B 
0e6343ccf9f1432a19420d8358eea8aed754583f7a5e2343d47515f5377856d288088238d9f1d61a4cb05b3bff1a860dfdb654344007da5517b9c3f30d33b071
 SHA512 
31e80bb657f8b8dbcc127b1a6ed0a3a789b1de762b3db7d3d2f002d52a81486d716204816ff5bcc5680a76b8edb0b99651f996193bbdab40746f437bb20a3d46
+DIST boogie-3.0.9.tar.gz 2044403 BLAKE2B 
80062b0de01899902a591debe68d8557897295f79535804d5c029f916aad3eb286681b011d30313090444ce73db5e76c9703583f9b3929dd157a0625215de599
 SHA512 
78e7fac6fa98a39c0c19b0d805d8dc6ff273bda26088616eb828224213ac00faf145527d22d6c3941b25d197ce9be19278e97a8fc4c2d222b1686dc125f1
 DIST microsoft.bcl.asyncinterfaces.6.0.0.nupkg 76354 BLAKE2B 
aca3f5db71e4037dbdd604aeaebcd0962ccc171915b77b4c409ab744bf0a469c7d588f9504fc7fa49e3863e9593b66b4083235cb49e812d1f87b3dadb32e6003
 SHA512 
221a05a0c910f7a87b620d8f3831ed392b4eb95d112bee274d35f27009ad2a26445de9d7cd235fe6fb4a03f2550874bda3be396edaf9c0852a9c23d7b099
 DIST microsoft.codecoverage.16.2.0.nupkg 3133582 BLAKE2B 
418cf403247d594cde0d827f8ca8690019a7631525f07993937085f4bbf8473364b4c99aea6e8b7b0020208d15fe0da63f0f4e69c273493c51ae011e8bd82667
 SHA512 
91f1d43fc038a20f5367d9aab669105dc7514dfbe749260b52789c09a75abcc6bdc000ee0c7f432231d4cc09e99bf5b863dd6289d813342f74d9dad23a651625
 DIST microsoft.csharp.4.0.1.nupkg 462346 BLAKE2B 
209ccebc9103b803d26ea1f0232245c3cd231078b03a83a0011a2a79a1a8a324a72c5b3fda94b2686fff170932f366e165f81a36a70df590a39c45d70778e4be
 SHA512 
c0e75a9162f28ba4c4572c8fac4fd4c8c97d6d3505a37683646ba5f7e5f6ac0da69d5200d2646054de90e8e08f893a10e514591b69b8273640842b2cf90bddec

diff --git a/dev-lang/boogie/boogie-3.0.9.ebuild 
b/dev-lang/boogie/boogie-3.0.9.ebuild
new file mode 100644
index ..d43d6b2020ca
--- /dev/null
+++ b/dev-lang/boogie/boogie-3.0.9.ebuild
@@ -0,0 +1,299 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+DOTNET_PKG_COMPAT=8.0
+NUGETS="
+microsoft.bcl.asyncinterfaces@6.0.0
+microsoft.codecoverage@16.2.0
+microsoft.csharp@4.0.1
+microsoft.dotnet.internalabstractions@1.0.0
+microsoft.net.test.sdk@16.2.0
+microsoft.netcore.platforms@1.0.1
+microsoft.netcore.platforms@1.1.0
+microsoft.netcore.targets@1.0.1
+microsoft.netcore.targets@1.1.0
+microsoft.testplatform.objectmodel@16.2.0
+microsoft.testplatform.testhost@16.2.0
+microsoft.win32.primitives@4.0.1
+microsoft.win32.primitives@4.3.0
+microsoft.win32.registry@4.0.0
+microsoft.win32.registry@4.3.0
+microsoft.win32.systemevents@6.0.0
+netstandard.library@1.6.0
+netstandard.library@2.0.0
+newtonsoft.json@9.0.1
+nunit@3.12.0
+nunit3testadapter@3.15.1
+runtime.any.system.collections@4.3.0
+runtime.any.system.diagnostics.tools@4.3.0
+runtime.any.system.diagnostics.tracing@4.3.0
+runtime.any.system.globalization.calendars@4.3.0
+runtime.any.system.globalization@4.3.0
+runtime.any.system.io@4.3.0
+runtime.any.system.reflection.extensions@4.3.0
+runtime.any.system.reflection.primitives@4.3.0
+runtime.any.system.reflection@4.3.0
+runtime.any.system.resources.resourcemanager@4.3.0
+runtime.any.system.runtime.handles@4.3.0
+runtime.any.system.runtime.interopservices@4.3.0
+runtime.any.system.runtime@4.3.0
+runtime.any.system.text.encoding.extensions@4.3.0
+runtime.any.system.text.encoding@4.3.0
+runtime.any.system.threading.tasks@4.3.0
+runtime.any.system.threading.timer@4.3.0
+runtime.debian.8-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.fedora.23-x64.runtime.native.system.security.cryptography.openssl@4.3.0

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Maciej Barć]

commit: af213f56fc4794a49320883a82234aa11fb4fbfe
Author: Maciej Barć  gentoo  org>
AuthorDate: Wed Nov 29 19:30:12 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Wed Nov 29 19:31:00 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=af213f56

dev-lang/boogie: bump to 3.0.8

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/boogie/Manifest|   1 +
 dev-lang/boogie/boogie-3.0.8.ebuild | 298 
 2 files changed, 299 insertions(+)

diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
index 550502a218a2..df0b3c7c197d 100644
--- a/dev-lang/boogie/Manifest
+++ b/dev-lang/boogie/Manifest
@@ -1,6 +1,7 @@
 DIST boogie-3.0.5.tar.gz 2024714 BLAKE2B 
453b09d9275923e8bed6ef80b1e331ee3a16e3ebfc7f2f454a989fa1242c5221c9a9d322b4306b11749b9ab48e012cc30cbf4d965413dc96e5bcdf52e6679f95
 SHA512 
212b561597ba8dea4c2ff1d073c317eb6f880c28588f032f65f3ad620a68fbf137e5cc9a20947a9f7af6f00e7543aeb56f09699ae179cfc7c4df63f825102d44
 DIST boogie-3.0.6.tar.gz 2023821 BLAKE2B 
0d11c5f33d25e55debb5ec2a9fc99881bc4781f69da091f157f55a13e5a26e6562c9ef8c5ebeb5e0cf307d5c6ddaeb36918a0d1e6f5a740829811291b7fd92c5
 SHA512 
dd2f075a9f34212edd7ca57872cc1b240fac0814c3fbbe27aa1c3ad2a4133dcdbc432c9b49db56416f700a1c0caf2a99225af35f9dfe92115b783916979a43f0
 DIST boogie-3.0.7.tar.gz 2040955 BLAKE2B 
ae5abfadefea49669809c22844f9749058c1751434a22fd93c3a9d1f167ad99aed2143d15d206c5b062305f7f145b9d6d1f2e88b145d47505a6c8153d433d480
 SHA512 
dfd9c684a0d9d4058c4b95cba67eaebf836fc39b78d742bfc8c92982c9314672c1c3b3f54b6a69b709e3b3a222694ce857130d609e59db3b5fe45672d693
+DIST boogie-3.0.8.tar.gz 2041785 BLAKE2B 
0e6343ccf9f1432a19420d8358eea8aed754583f7a5e2343d47515f5377856d288088238d9f1d61a4cb05b3bff1a860dfdb654344007da5517b9c3f30d33b071
 SHA512 
31e80bb657f8b8dbcc127b1a6ed0a3a789b1de762b3db7d3d2f002d52a81486d716204816ff5bcc5680a76b8edb0b99651f996193bbdab40746f437bb20a3d46
 DIST microsoft.bcl.asyncinterfaces.6.0.0.nupkg 76354 BLAKE2B 
aca3f5db71e4037dbdd604aeaebcd0962ccc171915b77b4c409ab744bf0a469c7d588f9504fc7fa49e3863e9593b66b4083235cb49e812d1f87b3dadb32e6003
 SHA512 
221a05a0c910f7a87b620d8f3831ed392b4eb95d112bee274d35f27009ad2a26445de9d7cd235fe6fb4a03f2550874bda3be396edaf9c0852a9c23d7b099
 DIST microsoft.codecoverage.16.2.0.nupkg 3133582 BLAKE2B 
418cf403247d594cde0d827f8ca8690019a7631525f07993937085f4bbf8473364b4c99aea6e8b7b0020208d15fe0da63f0f4e69c273493c51ae011e8bd82667
 SHA512 
91f1d43fc038a20f5367d9aab669105dc7514dfbe749260b52789c09a75abcc6bdc000ee0c7f432231d4cc09e99bf5b863dd6289d813342f74d9dad23a651625
 DIST microsoft.csharp.4.0.1.nupkg 462346 BLAKE2B 
209ccebc9103b803d26ea1f0232245c3cd231078b03a83a0011a2a79a1a8a324a72c5b3fda94b2686fff170932f366e165f81a36a70df590a39c45d70778e4be
 SHA512 
c0e75a9162f28ba4c4572c8fac4fd4c8c97d6d3505a37683646ba5f7e5f6ac0da69d5200d2646054de90e8e08f893a10e514591b69b8273640842b2cf90bddec

diff --git a/dev-lang/boogie/boogie-3.0.8.ebuild 
b/dev-lang/boogie/boogie-3.0.8.ebuild
new file mode 100644
index ..fc11c8860265
--- /dev/null
+++ b/dev-lang/boogie/boogie-3.0.8.ebuild
@@ -0,0 +1,298 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+DOTNET_PKG_COMPAT=8.0
+NUGETS="
+microsoft.bcl.asyncinterfaces@6.0.0
+microsoft.codecoverage@16.2.0
+microsoft.csharp@4.0.1
+microsoft.dotnet.internalabstractions@1.0.0
+microsoft.net.test.sdk@16.2.0
+microsoft.netcore.platforms@1.0.1
+microsoft.netcore.platforms@1.1.0
+microsoft.netcore.targets@1.0.1
+microsoft.netcore.targets@1.1.0
+microsoft.testplatform.objectmodel@16.2.0
+microsoft.testplatform.testhost@16.2.0
+microsoft.win32.primitives@4.0.1
+microsoft.win32.primitives@4.3.0
+microsoft.win32.registry@4.0.0
+microsoft.win32.registry@4.3.0
+microsoft.win32.systemevents@6.0.0
+netstandard.library@1.6.0
+netstandard.library@2.0.0
+newtonsoft.json@9.0.1
+nunit@3.12.0
+nunit3testadapter@3.15.1
+runtime.any.system.collections@4.3.0
+runtime.any.system.diagnostics.tools@4.3.0
+runtime.any.system.diagnostics.tracing@4.3.0
+runtime.any.system.globalization.calendars@4.3.0
+runtime.any.system.globalization@4.3.0
+runtime.any.system.io@4.3.0
+runtime.any.system.reflection.extensions@4.3.0
+runtime.any.system.reflection.primitives@4.3.0
+runtime.any.system.reflection@4.3.0
+runtime.any.system.resources.resourcemanager@4.3.0
+runtime.any.system.runtime.handles@4.3.0
+runtime.any.system.runtime.interopservices@4.3.0
+runtime.any.system.runtime@4.3.0
+runtime.any.system.text.encoding.extensions@4.3.0
+runtime.any.system.text.encoding@4.3.0
+runtime.any.system.threading.tasks@4.3.0
+runtime.any.system.threading.timer@4.3.0
+runtime.debian.8-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.fedora.23-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.fedora.24-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.native.system.io.compression@4.1.0

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Maciej Barć]

commit: 3865ab5fdd44dc6af032f9c209b84a04bad7e4c6
Author: Maciej Barć  gentoo  org>
AuthorDate: Tue Nov 21 18:32:50 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Tue Nov 21 18:37:47 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3865ab5f

dev-lang/boogie: bump to 3.0.7

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/boogie/Manifest|   1 +
 dev-lang/boogie/boogie-3.0.7.ebuild | 288 
 2 files changed, 289 insertions(+)

diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
index 1043d459be43..550502a218a2 100644
--- a/dev-lang/boogie/Manifest
+++ b/dev-lang/boogie/Manifest
@@ -1,5 +1,6 @@
 DIST boogie-3.0.5.tar.gz 2024714 BLAKE2B 
453b09d9275923e8bed6ef80b1e331ee3a16e3ebfc7f2f454a989fa1242c5221c9a9d322b4306b11749b9ab48e012cc30cbf4d965413dc96e5bcdf52e6679f95
 SHA512 
212b561597ba8dea4c2ff1d073c317eb6f880c28588f032f65f3ad620a68fbf137e5cc9a20947a9f7af6f00e7543aeb56f09699ae179cfc7c4df63f825102d44
 DIST boogie-3.0.6.tar.gz 2023821 BLAKE2B 
0d11c5f33d25e55debb5ec2a9fc99881bc4781f69da091f157f55a13e5a26e6562c9ef8c5ebeb5e0cf307d5c6ddaeb36918a0d1e6f5a740829811291b7fd92c5
 SHA512 
dd2f075a9f34212edd7ca57872cc1b240fac0814c3fbbe27aa1c3ad2a4133dcdbc432c9b49db56416f700a1c0caf2a99225af35f9dfe92115b783916979a43f0
+DIST boogie-3.0.7.tar.gz 2040955 BLAKE2B 
ae5abfadefea49669809c22844f9749058c1751434a22fd93c3a9d1f167ad99aed2143d15d206c5b062305f7f145b9d6d1f2e88b145d47505a6c8153d433d480
 SHA512 
dfd9c684a0d9d4058c4b95cba67eaebf836fc39b78d742bfc8c92982c9314672c1c3b3f54b6a69b709e3b3a222694ce857130d609e59db3b5fe45672d693
 DIST microsoft.bcl.asyncinterfaces.6.0.0.nupkg 76354 BLAKE2B 
aca3f5db71e4037dbdd604aeaebcd0962ccc171915b77b4c409ab744bf0a469c7d588f9504fc7fa49e3863e9593b66b4083235cb49e812d1f87b3dadb32e6003
 SHA512 
221a05a0c910f7a87b620d8f3831ed392b4eb95d112bee274d35f27009ad2a26445de9d7cd235fe6fb4a03f2550874bda3be396edaf9c0852a9c23d7b099
 DIST microsoft.codecoverage.16.2.0.nupkg 3133582 BLAKE2B 
418cf403247d594cde0d827f8ca8690019a7631525f07993937085f4bbf8473364b4c99aea6e8b7b0020208d15fe0da63f0f4e69c273493c51ae011e8bd82667
 SHA512 
91f1d43fc038a20f5367d9aab669105dc7514dfbe749260b52789c09a75abcc6bdc000ee0c7f432231d4cc09e99bf5b863dd6289d813342f74d9dad23a651625
 DIST microsoft.csharp.4.0.1.nupkg 462346 BLAKE2B 
209ccebc9103b803d26ea1f0232245c3cd231078b03a83a0011a2a79a1a8a324a72c5b3fda94b2686fff170932f366e165f81a36a70df590a39c45d70778e4be
 SHA512 
c0e75a9162f28ba4c4572c8fac4fd4c8c97d6d3505a37683646ba5f7e5f6ac0da69d5200d2646054de90e8e08f893a10e514591b69b8273640842b2cf90bddec

diff --git a/dev-lang/boogie/boogie-3.0.7.ebuild 
b/dev-lang/boogie/boogie-3.0.7.ebuild
new file mode 100644
index ..1b08f8717817
--- /dev/null
+++ b/dev-lang/boogie/boogie-3.0.7.ebuild
@@ -0,0 +1,288 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+DOTNET_PKG_COMPAT=7.0
+NUGETS="
+microsoft.bcl.asyncinterfaces@6.0.0
+microsoft.codecoverage@16.2.0
+microsoft.csharp@4.0.1
+microsoft.dotnet.internalabstractions@1.0.0
+microsoft.net.test.sdk@16.2.0
+microsoft.netcore.platforms@1.0.1
+microsoft.netcore.platforms@1.1.0
+microsoft.netcore.targets@1.0.1
+microsoft.netcore.targets@1.1.0
+microsoft.testplatform.objectmodel@16.2.0
+microsoft.testplatform.testhost@16.2.0
+microsoft.win32.primitives@4.0.1
+microsoft.win32.primitives@4.3.0
+microsoft.win32.registry@4.0.0
+microsoft.win32.registry@4.3.0
+microsoft.win32.systemevents@6.0.0
+netstandard.library@1.6.0
+netstandard.library@2.0.0
+newtonsoft.json@9.0.1
+nunit@3.12.0
+nunit3testadapter@3.15.1
+runtime.any.system.collections@4.3.0
+runtime.any.system.diagnostics.tools@4.3.0
+runtime.any.system.diagnostics.tracing@4.3.0
+runtime.any.system.globalization.calendars@4.3.0
+runtime.any.system.globalization@4.3.0
+runtime.any.system.io@4.3.0
+runtime.any.system.reflection.extensions@4.3.0
+runtime.any.system.reflection.primitives@4.3.0
+runtime.any.system.reflection@4.3.0
+runtime.any.system.resources.resourcemanager@4.3.0
+runtime.any.system.runtime.handles@4.3.0
+runtime.any.system.runtime.interopservices@4.3.0
+runtime.any.system.runtime@4.3.0
+runtime.any.system.text.encoding.extensions@4.3.0
+runtime.any.system.text.encoding@4.3.0
+runtime.any.system.threading.tasks@4.3.0
+runtime.any.system.threading.timer@4.3.0
+runtime.debian.8-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.fedora.23-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.fedora.24-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.native.system.io.compression@4.1.0
+runtime.native.system.net.http@4.0.1
+runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.native.system.security.cryptography@4.0.0
+runtime.native.system@4.0.0
+runtime.native.system@4.3.0
+runtime.opensuse.13.2-x64.runtime.native.system.security.cryptography.openssl@4.3.0

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Maciej Barć]

commit: 4de4134fa70f3fc35ee59b5e54d2c7684d433bd7
Author: Maciej Barć  gentoo  org>
AuthorDate: Thu Nov 16 22:48:09 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Thu Nov 16 23:38:13 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4de4134f

dev-lang/boogie: drop old 3.0.4

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/boogie/Manifest|   1 -
 dev-lang/boogie/boogie-3.0.4.ebuild | 287 
 2 files changed, 288 deletions(-)

diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
index aca44148687a..c4e7e870cf0a 100644
--- a/dev-lang/boogie/Manifest
+++ b/dev-lang/boogie/Manifest
@@ -1,4 +1,3 @@
-DIST boogie-3.0.4.tar.gz 2024651 BLAKE2B 
ccd6892aef048f7e031d8101ead979eb8aeb09d14954e62d862cf60ef35bb34f70449b20ac4182f6eb253cc30f7fda6d17dc3206b50e1d0762d2be39fc28d12f
 SHA512 
ff9f9fd9d143c79ddba146ed834aa68ef78b95a54445b8ae3ed89c2a55ca84106a4e0ba18f3b640ef1052ceb3b1ca166e6fb46242d9789a11d71a6d197e6f30c
 DIST boogie-3.0.5.tar.gz 2024714 BLAKE2B 
453b09d9275923e8bed6ef80b1e331ee3a16e3ebfc7f2f454a989fa1242c5221c9a9d322b4306b11749b9ab48e012cc30cbf4d965413dc96e5bcdf52e6679f95
 SHA512 
212b561597ba8dea4c2ff1d073c317eb6f880c28588f032f65f3ad620a68fbf137e5cc9a20947a9f7af6f00e7543aeb56f09699ae179cfc7c4df63f825102d44
 DIST microsoft.bcl.asyncinterfaces.6.0.0.nupkg 76354 BLAKE2B 
aca3f5db71e4037dbdd604aeaebcd0962ccc171915b77b4c409ab744bf0a469c7d588f9504fc7fa49e3863e9593b66b4083235cb49e812d1f87b3dadb32e6003
 SHA512 
221a05a0c910f7a87b620d8f3831ed392b4eb95d112bee274d35f27009ad2a26445de9d7cd235fe6fb4a03f2550874bda3be396edaf9c0852a9c23d7b099
 DIST microsoft.codecoverage.16.2.0.nupkg 3133582 BLAKE2B 
418cf403247d594cde0d827f8ca8690019a7631525f07993937085f4bbf8473364b4c99aea6e8b7b0020208d15fe0da63f0f4e69c273493c51ae011e8bd82667
 SHA512 
91f1d43fc038a20f5367d9aab669105dc7514dfbe749260b52789c09a75abcc6bdc000ee0c7f432231d4cc09e99bf5b863dd6289d813342f74d9dad23a651625

diff --git a/dev-lang/boogie/boogie-3.0.4.ebuild 
b/dev-lang/boogie/boogie-3.0.4.ebuild
deleted file mode 100644
index 8cb18a16b354..
--- a/dev-lang/boogie/boogie-3.0.4.ebuild
+++ /dev/null
@@ -1,287 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-DOTNET_PKG_COMPAT=7.0
-NUGETS="
-microsoft.bcl.asyncinterfaces@6.0.0
-microsoft.codecoverage@16.2.0
-microsoft.csharp@4.0.1
-microsoft.dotnet.internalabstractions@1.0.0
-microsoft.net.test.sdk@16.2.0
-microsoft.netcore.platforms@1.0.1
-microsoft.netcore.platforms@1.1.0
-microsoft.netcore.targets@1.0.1
-microsoft.netcore.targets@1.1.0
-microsoft.testplatform.objectmodel@16.2.0
-microsoft.testplatform.testhost@16.2.0
-microsoft.win32.primitives@4.0.1
-microsoft.win32.primitives@4.3.0
-microsoft.win32.registry@4.0.0
-microsoft.win32.registry@4.3.0
-microsoft.win32.systemevents@6.0.0
-netstandard.library@1.6.0
-netstandard.library@2.0.0
-newtonsoft.json@9.0.1
-nunit@3.12.0
-nunit3testadapter@3.15.1
-runtime.any.system.collections@4.3.0
-runtime.any.system.diagnostics.tools@4.3.0
-runtime.any.system.diagnostics.tracing@4.3.0
-runtime.any.system.globalization.calendars@4.3.0
-runtime.any.system.globalization@4.3.0
-runtime.any.system.io@4.3.0
-runtime.any.system.reflection.extensions@4.3.0
-runtime.any.system.reflection.primitives@4.3.0
-runtime.any.system.reflection@4.3.0
-runtime.any.system.resources.resourcemanager@4.3.0
-runtime.any.system.runtime.handles@4.3.0
-runtime.any.system.runtime.interopservices@4.3.0
-runtime.any.system.runtime@4.3.0
-runtime.any.system.text.encoding.extensions@4.3.0
-runtime.any.system.text.encoding@4.3.0
-runtime.any.system.threading.tasks@4.3.0
-runtime.any.system.threading.timer@4.3.0
-runtime.debian.8-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.fedora.23-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.fedora.24-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.native.system.io.compression@4.1.0
-runtime.native.system.net.http@4.0.1
-runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.native.system.security.cryptography@4.0.0
-runtime.native.system@4.0.0
-runtime.native.system@4.3.0
-runtime.opensuse.13.2-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.opensuse.42.1-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.osx.10.10-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.rhel.7-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.ubuntu.14.04-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.ubuntu.16.04-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.ubuntu.16.10-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.unix.microsoft.win32.primitives@4.3.0
-runtime.unix.system.console@4.3.0
-runtime.unix.system.diagnostics.debug@4.3.0

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Maciej Barć]

commit: d699dd077fe20877c926e48ee54aa70362d74264
Author: Maciej Barć  gentoo  org>
AuthorDate: Thu Nov 16 23:04:14 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Thu Nov 16 23:38:13 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d699dd07

dev-lang/boogie: bump to 3.0.6

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/boogie/Manifest|   1 +
 dev-lang/boogie/boogie-3.0.6.ebuild | 288 
 2 files changed, 289 insertions(+)

diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
index c4e7e870cf0a..1043d459be43 100644
--- a/dev-lang/boogie/Manifest
+++ b/dev-lang/boogie/Manifest
@@ -1,4 +1,5 @@
 DIST boogie-3.0.5.tar.gz 2024714 BLAKE2B 
453b09d9275923e8bed6ef80b1e331ee3a16e3ebfc7f2f454a989fa1242c5221c9a9d322b4306b11749b9ab48e012cc30cbf4d965413dc96e5bcdf52e6679f95
 SHA512 
212b561597ba8dea4c2ff1d073c317eb6f880c28588f032f65f3ad620a68fbf137e5cc9a20947a9f7af6f00e7543aeb56f09699ae179cfc7c4df63f825102d44
+DIST boogie-3.0.6.tar.gz 2023821 BLAKE2B 
0d11c5f33d25e55debb5ec2a9fc99881bc4781f69da091f157f55a13e5a26e6562c9ef8c5ebeb5e0cf307d5c6ddaeb36918a0d1e6f5a740829811291b7fd92c5
 SHA512 
dd2f075a9f34212edd7ca57872cc1b240fac0814c3fbbe27aa1c3ad2a4133dcdbc432c9b49db56416f700a1c0caf2a99225af35f9dfe92115b783916979a43f0
 DIST microsoft.bcl.asyncinterfaces.6.0.0.nupkg 76354 BLAKE2B 
aca3f5db71e4037dbdd604aeaebcd0962ccc171915b77b4c409ab744bf0a469c7d588f9504fc7fa49e3863e9593b66b4083235cb49e812d1f87b3dadb32e6003
 SHA512 
221a05a0c910f7a87b620d8f3831ed392b4eb95d112bee274d35f27009ad2a26445de9d7cd235fe6fb4a03f2550874bda3be396edaf9c0852a9c23d7b099
 DIST microsoft.codecoverage.16.2.0.nupkg 3133582 BLAKE2B 
418cf403247d594cde0d827f8ca8690019a7631525f07993937085f4bbf8473364b4c99aea6e8b7b0020208d15fe0da63f0f4e69c273493c51ae011e8bd82667
 SHA512 
91f1d43fc038a20f5367d9aab669105dc7514dfbe749260b52789c09a75abcc6bdc000ee0c7f432231d4cc09e99bf5b863dd6289d813342f74d9dad23a651625
 DIST microsoft.csharp.4.0.1.nupkg 462346 BLAKE2B 
209ccebc9103b803d26ea1f0232245c3cd231078b03a83a0011a2a79a1a8a324a72c5b3fda94b2686fff170932f366e165f81a36a70df590a39c45d70778e4be
 SHA512 
c0e75a9162f28ba4c4572c8fac4fd4c8c97d6d3505a37683646ba5f7e5f6ac0da69d5200d2646054de90e8e08f893a10e514591b69b8273640842b2cf90bddec

diff --git a/dev-lang/boogie/boogie-3.0.6.ebuild 
b/dev-lang/boogie/boogie-3.0.6.ebuild
new file mode 100644
index ..1b08f8717817
--- /dev/null
+++ b/dev-lang/boogie/boogie-3.0.6.ebuild
@@ -0,0 +1,288 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+DOTNET_PKG_COMPAT=7.0
+NUGETS="
+microsoft.bcl.asyncinterfaces@6.0.0
+microsoft.codecoverage@16.2.0
+microsoft.csharp@4.0.1
+microsoft.dotnet.internalabstractions@1.0.0
+microsoft.net.test.sdk@16.2.0
+microsoft.netcore.platforms@1.0.1
+microsoft.netcore.platforms@1.1.0
+microsoft.netcore.targets@1.0.1
+microsoft.netcore.targets@1.1.0
+microsoft.testplatform.objectmodel@16.2.0
+microsoft.testplatform.testhost@16.2.0
+microsoft.win32.primitives@4.0.1
+microsoft.win32.primitives@4.3.0
+microsoft.win32.registry@4.0.0
+microsoft.win32.registry@4.3.0
+microsoft.win32.systemevents@6.0.0
+netstandard.library@1.6.0
+netstandard.library@2.0.0
+newtonsoft.json@9.0.1
+nunit@3.12.0
+nunit3testadapter@3.15.1
+runtime.any.system.collections@4.3.0
+runtime.any.system.diagnostics.tools@4.3.0
+runtime.any.system.diagnostics.tracing@4.3.0
+runtime.any.system.globalization.calendars@4.3.0
+runtime.any.system.globalization@4.3.0
+runtime.any.system.io@4.3.0
+runtime.any.system.reflection.extensions@4.3.0
+runtime.any.system.reflection.primitives@4.3.0
+runtime.any.system.reflection@4.3.0
+runtime.any.system.resources.resourcemanager@4.3.0
+runtime.any.system.runtime.handles@4.3.0
+runtime.any.system.runtime.interopservices@4.3.0
+runtime.any.system.runtime@4.3.0
+runtime.any.system.text.encoding.extensions@4.3.0
+runtime.any.system.text.encoding@4.3.0
+runtime.any.system.threading.tasks@4.3.0
+runtime.any.system.threading.timer@4.3.0
+runtime.debian.8-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.fedora.23-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.fedora.24-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.native.system.io.compression@4.1.0
+runtime.native.system.net.http@4.0.1
+runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.native.system.security.cryptography@4.0.0
+runtime.native.system@4.0.0
+runtime.native.system@4.3.0
+runtime.opensuse.13.2-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.opensuse.42.1-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.osx.10.10-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.rhel.7-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.ubuntu.14.04-x64.runtime.native.system.security.cryptography.openssl@4.3.0

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Sam James]

commit: 6f78670152235bc2bf9e71aca73a349a7d09deca
Author: Sam James  gentoo  org>
AuthorDate: Mon Nov 13 22:03:56 2023 +
Commit: Sam James  gentoo  org>
CommitDate: Mon Nov 13 22:03:56 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6f786701

dev-lang/boogie: Stabilize 3.0.5 amd64, #917307

Signed-off-by: Sam James  gentoo.org>

 dev-lang/boogie/boogie-3.0.5.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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} "

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Maciej Barć]

commit: f315ff4f231a394e229fd8aff68c19dc2dcc4563
Author: Maciej Barć  gentoo  org>
AuthorDate: Tue Oct 10 23:14:03 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Wed Oct 11 00:19:37 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f315ff4f

dev-lang/boogie: bump to 3.0.5

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/boogie/Manifest|   1 +
 dev-lang/boogie/boogie-3.0.5.ebuild | 287 
 2 files changed, 288 insertions(+)

diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
index 016efc7bc73f..aca44148687a 100644
--- a/dev-lang/boogie/Manifest
+++ b/dev-lang/boogie/Manifest
@@ -1,4 +1,5 @@
 DIST boogie-3.0.4.tar.gz 2024651 BLAKE2B 
ccd6892aef048f7e031d8101ead979eb8aeb09d14954e62d862cf60ef35bb34f70449b20ac4182f6eb253cc30f7fda6d17dc3206b50e1d0762d2be39fc28d12f
 SHA512 
ff9f9fd9d143c79ddba146ed834aa68ef78b95a54445b8ae3ed89c2a55ca84106a4e0ba18f3b640ef1052ceb3b1ca166e6fb46242d9789a11d71a6d197e6f30c
+DIST boogie-3.0.5.tar.gz 2024714 BLAKE2B 
453b09d9275923e8bed6ef80b1e331ee3a16e3ebfc7f2f454a989fa1242c5221c9a9d322b4306b11749b9ab48e012cc30cbf4d965413dc96e5bcdf52e6679f95
 SHA512 
212b561597ba8dea4c2ff1d073c317eb6f880c28588f032f65f3ad620a68fbf137e5cc9a20947a9f7af6f00e7543aeb56f09699ae179cfc7c4df63f825102d44
 DIST microsoft.bcl.asyncinterfaces.6.0.0.nupkg 76354 BLAKE2B 
aca3f5db71e4037dbdd604aeaebcd0962ccc171915b77b4c409ab744bf0a469c7d588f9504fc7fa49e3863e9593b66b4083235cb49e812d1f87b3dadb32e6003
 SHA512 
221a05a0c910f7a87b620d8f3831ed392b4eb95d112bee274d35f27009ad2a26445de9d7cd235fe6fb4a03f2550874bda3be396edaf9c0852a9c23d7b099
 DIST microsoft.codecoverage.16.2.0.nupkg 3133582 BLAKE2B 
418cf403247d594cde0d827f8ca8690019a7631525f07993937085f4bbf8473364b4c99aea6e8b7b0020208d15fe0da63f0f4e69c273493c51ae011e8bd82667
 SHA512 
91f1d43fc038a20f5367d9aab669105dc7514dfbe749260b52789c09a75abcc6bdc000ee0c7f432231d4cc09e99bf5b863dd6289d813342f74d9dad23a651625
 DIST microsoft.csharp.4.0.1.nupkg 462346 BLAKE2B 
209ccebc9103b803d26ea1f0232245c3cd231078b03a83a0011a2a79a1a8a324a72c5b3fda94b2686fff170932f366e165f81a36a70df590a39c45d70778e4be
 SHA512 
c0e75a9162f28ba4c4572c8fac4fd4c8c97d6d3505a37683646ba5f7e5f6ac0da69d5200d2646054de90e8e08f893a10e514591b69b8273640842b2cf90bddec

diff --git a/dev-lang/boogie/boogie-3.0.5.ebuild 
b/dev-lang/boogie/boogie-3.0.5.ebuild
new file mode 100644
index ..8cb18a16b354
--- /dev/null
+++ b/dev-lang/boogie/boogie-3.0.5.ebuild
@@ -0,0 +1,287 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+DOTNET_PKG_COMPAT=7.0
+NUGETS="
+microsoft.bcl.asyncinterfaces@6.0.0
+microsoft.codecoverage@16.2.0
+microsoft.csharp@4.0.1
+microsoft.dotnet.internalabstractions@1.0.0
+microsoft.net.test.sdk@16.2.0
+microsoft.netcore.platforms@1.0.1
+microsoft.netcore.platforms@1.1.0
+microsoft.netcore.targets@1.0.1
+microsoft.netcore.targets@1.1.0
+microsoft.testplatform.objectmodel@16.2.0
+microsoft.testplatform.testhost@16.2.0
+microsoft.win32.primitives@4.0.1
+microsoft.win32.primitives@4.3.0
+microsoft.win32.registry@4.0.0
+microsoft.win32.registry@4.3.0
+microsoft.win32.systemevents@6.0.0
+netstandard.library@1.6.0
+netstandard.library@2.0.0
+newtonsoft.json@9.0.1
+nunit@3.12.0
+nunit3testadapter@3.15.1
+runtime.any.system.collections@4.3.0
+runtime.any.system.diagnostics.tools@4.3.0
+runtime.any.system.diagnostics.tracing@4.3.0
+runtime.any.system.globalization.calendars@4.3.0
+runtime.any.system.globalization@4.3.0
+runtime.any.system.io@4.3.0
+runtime.any.system.reflection.extensions@4.3.0
+runtime.any.system.reflection.primitives@4.3.0
+runtime.any.system.reflection@4.3.0
+runtime.any.system.resources.resourcemanager@4.3.0
+runtime.any.system.runtime.handles@4.3.0
+runtime.any.system.runtime.interopservices@4.3.0
+runtime.any.system.runtime@4.3.0
+runtime.any.system.text.encoding.extensions@4.3.0
+runtime.any.system.text.encoding@4.3.0
+runtime.any.system.threading.tasks@4.3.0
+runtime.any.system.threading.timer@4.3.0
+runtime.debian.8-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.fedora.23-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.fedora.24-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.native.system.io.compression@4.1.0
+runtime.native.system.net.http@4.0.1
+runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.native.system.security.cryptography@4.0.0
+runtime.native.system@4.0.0
+runtime.native.system@4.3.0
+runtime.opensuse.13.2-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.opensuse.42.1-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.osx.10.10-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.rhel.7-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.ubuntu.14.04-x64.runtime.native.system.security.cryptography.openssl@4.3.0

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Maciej Barć]

commit: 8fc067fa986495215d307e6701004e839fe4f755
Author: Maciej Barć  gentoo  org>
AuthorDate: Sat Oct  7 21:07:17 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Sat Oct  7 22:39:04 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8fc067fa

dev-lang/boogie: use RollForward=Major to update to .NET 7.0

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/boogie/boogie-3.0.4.ebuild | 7 ++-
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/dev-lang/boogie/boogie-3.0.4.ebuild 
b/dev-lang/boogie/boogie-3.0.4.ebuild
index fd4d8b31113f..8cb18a16b354 100644
--- a/dev-lang/boogie/boogie-3.0.4.ebuild
+++ b/dev-lang/boogie/boogie-3.0.4.ebuild
@@ -234,6 +234,7 @@ PATCHES=( "${FILESDIR}/${PN}-3.0.4-disable-analyzers.patch" 
)
 
 CHECKREQS_DISK_BUILD="2G"
 DOTNET_PKG_PROJECTS=( Source/BoogieDriver/BoogieDriver.csproj )
+DOTNET_PKG_BUILD_EXTRA_ARGS=( -p:RollForward=Major )
 
 pkg_setup() {
check-reqs_pkg_setup
@@ -243,16 +244,12 @@ pkg_setup() {
 src_unpack() {
dotnet-pkg_src_unpack
 
-   if [[ -n ${EGIT_REPO_URI} ]] ; then
+   if [[ -n "${EGIT_REPO_URI}" ]] ; then
git-r3_src_unpack
fi
 }
 
 src_prepare() {
-   # Bump used .NET version: 6.0 -> 7.0
-   sed -e "s|net6.0|net7.0|g" \
-   -i "${S}/Source/Directory.Build.props" || die
-
# Remove bad tests.
local -a bad_tests=(
civl/inductive-sequentialization/BroadcastConsensus.bpl

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/files/, dev-lang/boogie/

[Maciej Barć]

commit: 69d7a057032796618ec6ff2d1560cf4ee1532dff
Author: Maciej Barć  gentoo  org>
AuthorDate: Fri Oct  6 09:39:45 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Fri Oct  6 15:20:47 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=69d7a057

dev-lang/boogie: disable analyzers

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/boogie/boogie-3.0.4.ebuild|  4 +++-
 .../boogie/files/boogie-3.0.4-disable-analyzers.patch  | 18 ++
 2 files changed, 21 insertions(+), 1 deletion(-)

diff --git a/dev-lang/boogie/boogie-3.0.4.ebuild 
b/dev-lang/boogie/boogie-3.0.4.ebuild
index 4a65a8887995..fd4d8b31113f 100644
--- a/dev-lang/boogie/boogie-3.0.4.ebuild
+++ b/dev-lang/boogie/boogie-3.0.4.ebuild
@@ -210,6 +210,7 @@ if [[ "${PV}" == ** ]] ; then
 else
SRC_URI="https://github.com/boogie-org/${PN}/archive/v${PV}.tar.gz
-> ${P}.tar.gz"
+
KEYWORDS="~amd64"
 fi
 
@@ -229,9 +230,10 @@ BDEPEND="
)
 "
 
+PATCHES=( "${FILESDIR}/${PN}-3.0.4-disable-analyzers.patch" )
+
 CHECKREQS_DISK_BUILD="2G"
 DOTNET_PKG_PROJECTS=( Source/BoogieDriver/BoogieDriver.csproj )
-DOTNET_PKG_BUILD_EXTRA_ARGS=( -p:WarningLevel=0 )   # Extreme amounts of 
warnings.
 
 pkg_setup() {
check-reqs_pkg_setup

diff --git a/dev-lang/boogie/files/boogie-3.0.4-disable-analyzers.patch 
b/dev-lang/boogie/files/boogie-3.0.4-disable-analyzers.patch
new file mode 100644
index ..65bc3a988c1a
--- /dev/null
+++ b/dev-lang/boogie/files/boogie-3.0.4-disable-analyzers.patch
@@ -0,0 +1,18 @@
+--- a/Source/Directory.Build.props
 b/Source/Directory.Build.props
+@@ -16,13 +16,13 @@
+   
+ 
+   
+-  
++  
+ 
+ 
+   
+ 
+   
+-  
++  
+ 
$(MSBuildThisFileDirectory)StyleCop.ruleset
+   
+ 

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Maciej Barć]

commit: 735fa9cf30b911363a9e63d8900bdd63e2e7ca01
Author: Maciej Barć  gentoo  org>
AuthorDate: Sun Sep 17 22:36:16 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Sun Sep 17 22:37:21 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=735fa9cf

dev-lang/boogie: add missing src_unpack to support git

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/boogie/boogie-3.0.4.ebuild | 8 
 1 file changed, 8 insertions(+)

diff --git a/dev-lang/boogie/boogie-3.0.4.ebuild 
b/dev-lang/boogie/boogie-3.0.4.ebuild
index 99ebc26b59b9..4a65a8887995 100644
--- a/dev-lang/boogie/boogie-3.0.4.ebuild
+++ b/dev-lang/boogie/boogie-3.0.4.ebuild
@@ -238,6 +238,14 @@ pkg_setup() {
dotnet-pkg_pkg_setup
 }
 
+src_unpack() {
+   dotnet-pkg_src_unpack
+
+   if [[ -n ${EGIT_REPO_URI} ]] ; then
+   git-r3_src_unpack
+   fi
+}
+
 src_prepare() {
# Bump used .NET version: 6.0 -> 7.0
sed -e "s|net6.0|net7.0|g" \

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Maciej Barć]

commit: 327be7a1e8fbd30a219141f8b0f1827291b0415d
Author: Maciej Barć  gentoo  org>
AuthorDate: Sat Sep 16 12:56:11 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Sat Sep 16 14:47:35 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=327be7a1

dev-lang/boogie: drop old 2.16.0

Closes: https://bugs.gentoo.org/912182
Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/boogie/Manifest |  2 -
 dev-lang/boogie/boogie-2.16.0.ebuild | 94 
 2 files changed, 96 deletions(-)

diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
index 3b695e01b592..016efc7bc73f 100644
--- a/dev-lang/boogie/Manifest
+++ b/dev-lang/boogie/Manifest
@@ -1,5 +1,3 @@
-DIST boogie-2.15.8-deps.tar.xz 71100772 BLAKE2B 
1249627710fe0cc08c640ac7fe5e518793d237291810dc2df5d26bae2a4fd0fec15f0529b6fb799231002881665c2b2cf66b3a6a88494c780e96e51d78086959
 SHA512 
ee8df5693264c6b6e925f966a85e312e2df80d121c6e81786e7672d1591cdab8a66601c7d740df9db9704330a82f5aa01982d758cc4d5f151838be41c4d0b76f
-DIST boogie-2.16.0.tar.gz 1540957 BLAKE2B 
e42615f1a0963aa68cc898945aafa6b518acc2134da17b717a81b4c5601bdb8112b79e96aafdb277a5517ca855679175bb5e6fdf9faae37b2e4b00f7c0ff3af5
 SHA512 
50be3d688f92481890687ba6853ff30716899a045ef1a5915f8bd2c4e86deec73983edaf9e96766efb7c4bc0d522e0087d472de1bf6151adbe35ef903cd8a875
 DIST boogie-3.0.4.tar.gz 2024651 BLAKE2B 
ccd6892aef048f7e031d8101ead979eb8aeb09d14954e62d862cf60ef35bb34f70449b20ac4182f6eb253cc30f7fda6d17dc3206b50e1d0762d2be39fc28d12f
 SHA512 
ff9f9fd9d143c79ddba146ed834aa68ef78b95a54445b8ae3ed89c2a55ca84106a4e0ba18f3b640ef1052ceb3b1ca166e6fb46242d9789a11d71a6d197e6f30c
 DIST microsoft.bcl.asyncinterfaces.6.0.0.nupkg 76354 BLAKE2B 
aca3f5db71e4037dbdd604aeaebcd0962ccc171915b77b4c409ab744bf0a469c7d588f9504fc7fa49e3863e9593b66b4083235cb49e812d1f87b3dadb32e6003
 SHA512 
221a05a0c910f7a87b620d8f3831ed392b4eb95d112bee274d35f27009ad2a26445de9d7cd235fe6fb4a03f2550874bda3be396edaf9c0852a9c23d7b099
 DIST microsoft.codecoverage.16.2.0.nupkg 3133582 BLAKE2B 
418cf403247d594cde0d827f8ca8690019a7631525f07993937085f4bbf8473364b4c99aea6e8b7b0020208d15fe0da63f0f4e69c273493c51ae011e8bd82667
 SHA512 
91f1d43fc038a20f5367d9aab669105dc7514dfbe749260b52789c09a75abcc6bdc000ee0c7f432231d4cc09e99bf5b863dd6289d813342f74d9dad23a651625

diff --git a/dev-lang/boogie/boogie-2.16.0.ebuild 
b/dev-lang/boogie/boogie-2.16.0.ebuild
deleted file mode 100644
index f4b0b0eea17f..
--- a/dev-lang/boogie/boogie-2.16.0.ebuild
+++ /dev/null
@@ -1,94 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-DOTNET_COMPAT=6.0
-
-inherit edo multiprocessing
-
-DESCRIPTION="SMT-based program verifier"
-HOMEPAGE="https://github.com/boogie-org/boogie/;
-SRC_URI="
-   https://github.com/boogie-org/${PN}/archive/v${PV}.tar.gz
-   -> ${P}.tar.gz
-   https://dev.gentoo.org/~xgqt/distfiles/deps/${PN}-2.15.8-deps.tar.xz
-"
-
-LICENSE="MIT"
-SLOT="0"
-KEYWORDS="~amd64"
-IUSE="debug test"
-RESTRICT="!test? ( test )"
-
-BDEPEND="virtual/dotnet-sdk:${DOTNET_COMPAT}"
-RDEPEND="
-   ${BDEPEND}
-   sci-mathematics/z3
-"
-BDEPEND+="
-   test? (
-   dev-python/lit
-   dev-python/OutputCheck
-   )
-"
-
-# Generated by dotnet.
-QA_PREBUILT="/usr/share/boogie/BoogieDriver"
-
-src_prepare() {
-   export DOTNET_CLI_TELEMETRY_OPTOUT=1
-   export DOTNET_NOLOGO=1
-   export DOTNET_CONFIGURATION=$(usex debug Debug Release)
-   export 
DOTNET_OUTPUT="${WORKDIR}"/${P}_net${DOTNET_COMPAT}_${DOTNET_CONFIGURATION}/${PN}
-   export NUGET_PACKAGES="${WORKDIR}"/${PN}-2.15.8/Source/nuget_packages
-
-   default
-
-   # Remove bad tests.
-   local bad_tests=(
-   civl/inductive-sequentialization/BroadcastConsensus.bpl
-   livevars/bla1.bpl
-   prover/cvc5.bpl
-   test0/MaxKeepGoingSplits.bpl
-   test15/CaptureInlineUnroll.bpl
-   test15/CaptureState.bpl
-   test15/CommonVariablesPruning.bpl
-   )
-   local bad_test
-   for bad_test in ${bad_tests[@]} ; do
-   rm "${S}"/Test/${bad_test} || die
-   done
-
-   # Update the boogieBinary variable.
-   sed "/^boogieBinary/s|= .*|= '${DOTNET_OUTPUT}/BoogieDriver.dll'|" \
-   -i "${S}"/Test/lit.site.cfg || die "failed to update 
lit.site.cfg"
-}
-
-src_configure() {
-   edob dotnet restore "${S}"/Source \
-   --source "${NUGET_PACKAGES}" 
-p:TargetFramework=net${DOTNET_COMPAT}
-}
-
-src_compile() {
-   local myopts=(
-   --configuration ${DOTNET_CONFIGURATION}
-   --no-restore
-   --no-self-contained
-   --nologo
-   --output "${DOTNET_OUTPUT}"
-   -consoleLoggerParameters:ErrorsOnly
-   -maxCpuCount:$(makeopts_jobs)
-   )
-   edob dotnet build 

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Maciej Barć]

commit: 1298f4add742fea973b7f57f893003a0745ac82a
Author: Maciej Barć  gentoo  org>
AuthorDate: Fri Sep 15 19:17:16 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Fri Sep 15 20:48:43 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1298f4ad

dev-lang/boogie: bump to 3.0.4

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/boogie/Manifest| 192 +
 dev-lang/boogie/boogie-3.0.4.ebuild | 280 
 2 files changed, 472 insertions(+)

diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
index 06be016bc670..3b695e01b592 100644
--- a/dev-lang/boogie/Manifest
+++ b/dev-lang/boogie/Manifest
@@ -1,2 +1,194 @@
 DIST boogie-2.15.8-deps.tar.xz 71100772 BLAKE2B 
1249627710fe0cc08c640ac7fe5e518793d237291810dc2df5d26bae2a4fd0fec15f0529b6fb799231002881665c2b2cf66b3a6a88494c780e96e51d78086959
 SHA512 
ee8df5693264c6b6e925f966a85e312e2df80d121c6e81786e7672d1591cdab8a66601c7d740df9db9704330a82f5aa01982d758cc4d5f151838be41c4d0b76f
 DIST boogie-2.16.0.tar.gz 1540957 BLAKE2B 
e42615f1a0963aa68cc898945aafa6b518acc2134da17b717a81b4c5601bdb8112b79e96aafdb277a5517ca855679175bb5e6fdf9faae37b2e4b00f7c0ff3af5
 SHA512 
50be3d688f92481890687ba6853ff30716899a045ef1a5915f8bd2c4e86deec73983edaf9e96766efb7c4bc0d522e0087d472de1bf6151adbe35ef903cd8a875
+DIST boogie-3.0.4.tar.gz 2024651 BLAKE2B 
ccd6892aef048f7e031d8101ead979eb8aeb09d14954e62d862cf60ef35bb34f70449b20ac4182f6eb253cc30f7fda6d17dc3206b50e1d0762d2be39fc28d12f
 SHA512 
ff9f9fd9d143c79ddba146ed834aa68ef78b95a54445b8ae3ed89c2a55ca84106a4e0ba18f3b640ef1052ceb3b1ca166e6fb46242d9789a11d71a6d197e6f30c
+DIST microsoft.bcl.asyncinterfaces.6.0.0.nupkg 76354 BLAKE2B 
aca3f5db71e4037dbdd604aeaebcd0962ccc171915b77b4c409ab744bf0a469c7d588f9504fc7fa49e3863e9593b66b4083235cb49e812d1f87b3dadb32e6003
 SHA512 
221a05a0c910f7a87b620d8f3831ed392b4eb95d112bee274d35f27009ad2a26445de9d7cd235fe6fb4a03f2550874bda3be396edaf9c0852a9c23d7b099
+DIST microsoft.codecoverage.16.2.0.nupkg 3133582 BLAKE2B 
418cf403247d594cde0d827f8ca8690019a7631525f07993937085f4bbf8473364b4c99aea6e8b7b0020208d15fe0da63f0f4e69c273493c51ae011e8bd82667
 SHA512 
91f1d43fc038a20f5367d9aab669105dc7514dfbe749260b52789c09a75abcc6bdc000ee0c7f432231d4cc09e99bf5b863dd6289d813342f74d9dad23a651625
+DIST microsoft.csharp.4.0.1.nupkg 462346 BLAKE2B 
209ccebc9103b803d26ea1f0232245c3cd231078b03a83a0011a2a79a1a8a324a72c5b3fda94b2686fff170932f366e165f81a36a70df590a39c45d70778e4be
 SHA512 
c0e75a9162f28ba4c4572c8fac4fd4c8c97d6d3505a37683646ba5f7e5f6ac0da69d5200d2646054de90e8e08f893a10e514591b69b8273640842b2cf90bddec
+DIST microsoft.dotnet.internalabstractions.1.0.0.nupkg 36684 BLAKE2B 
79b53923871286f950d9023e70dabefd14f89934ba250ecb8e6f21ba69a81d98ddedbaad1f01ee4d0e1715d5d45a963be11d3c947c20386c1ac031c6ce426223
 SHA512 
4bc7f79a748de3235869fbcc12e64acf75524afe3d0506a123a21b9b1f6bcae73eec443742c4ede2b4afadacf0a17daa70b8643e90d5ff02d6ef20caea7cae14
+DIST microsoft.net.test.sdk.16.2.0.nupkg 26075 BLAKE2B 
1d029df1efb31aa453bc299a2d21e1f90601ff102d07f44d7aff09e9ed176ead60f93895684968cae7f22ae07284c978c3f34a3faf0b49dfeaf827bb702246a2
 SHA512 
e1e2d5c812da157fb986e417899323d0412262c86f4b81f7890e2cf1e446c7a1b58ed5d66cac3edcd161a5636891da2954e6d09c19e865089dd1a712066b5d24
+DIST microsoft.netcore.platforms.1.0.1.nupkg 17876 BLAKE2B 
13250226ef4869ad62b8acbe8b8f791f9bca1932562cb7a7e8162c3fa502c02200673cc9839f79953cb2d3a75f64f92d43ed1dcd9081732e4917197483188163
 SHA512 
5f3622dafd8fe8f3406c7a7ee506a7363c9955b28819ae1f2b067c38eae7ab6e620eb63442929b967c94fc511e47a2b7547ab62b6f1aafe37daa222499c9bb19
+DIST microsoft.netcore.platforms.1.1.0.nupkg 17960 BLAKE2B 
6a9fa22d75f5a1c65746dd71a63c3d4e37c393e99c23007c10f5ecce248a04863bf26e7562c7751177a6985eaac266c29cc6a5443a4a853e773f88994ad2a3fd
 SHA512 
6bf892c274596fe2c7164e3d8503b24e187f64d0b7bec6d9b05eb95f04086fceb7a85ea6b2685d42dc465c52f6f0e6f636c0b3fddac48f6f0125dfd83e92d106
+DIST microsoft.netcore.targets.1.0.1.nupkg 18189 BLAKE2B 
d43a064d4c6f836be5164708ff0401913b32fc3340cad7c8fd08f421ea553805ac150a134a0d60a55d41eec124514a5e5197eebcc85aa6595cc6b91e33025d61
 SHA512 
6ed8e75f945a18651066fe9ee31cf6c8257a5974340fe4d262438903c4959a479f4a515a4d1389e6d3d3ab34f09a3c7bc2009aada2e8a7f697b6655a82d3bfc9
+DIST microsoft.netcore.targets.1.1.0.nupkg 18162 BLAKE2B 
419d19e0da934ab4b9db75dd66cc22b83a003f34e93cf7a92feccf4f32d3d695e18b826b1aba13073dd4ec53aa7905a67346921d1055516647ddcde0d79009f1
 SHA512 
1ef033a68688aab9997ec1c0378acb1638b4afb618e533fcaf749d93389737ba94f4a0a94481becdf701c7e988ae2fe390136a8eae225887ee60db45063490fe
+DIST microsoft.testplatform.objectmodel.16.2.0.nupkg 1106432 BLAKE2B 
6e1f17090a7baf38f49631a3dd9b21ea40079af066f1b00324cbb2a89ea2c0f6c4257ecaa7ba05196945cefbc3f373fec943c177c120c92380e90eefc79fa71a
 SHA512 
7543f4ff9eec53827421e3cbd6cbb7fa0e89d3eac79b452ff7bb45393f43a04612944dea3f86563553576968acdbd7a26677c67e8929e1b3d4e20387ef1f
+DIST 

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Maciej Barć]

commit: c9edae2261d8c2a1454d92958661704809ae0988
Author: Maciej Barć  gentoo  org>
AuthorDate: Mon Jun 19 18:18:59 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Mon Jun 19 18:29:34 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c9edae22

dev-lang/boogie: drop old 2.15.8-r4

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/boogie/Manifest|  1 -
 dev-lang/boogie/boogie-2.15.8-r4.ebuild | 93 -
 2 files changed, 94 deletions(-)

diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
index c2c381596ec3..a42966323497 100644
--- a/dev-lang/boogie/Manifest
+++ b/dev-lang/boogie/Manifest
@@ -1,4 +1,3 @@
 DIST boogie-2.15.8-deps.tar.xz 71100772 BLAKE2B 
1249627710fe0cc08c640ac7fe5e518793d237291810dc2df5d26bae2a4fd0fec15f0529b6fb799231002881665c2b2cf66b3a6a88494c780e96e51d78086959
 SHA512 
ee8df5693264c6b6e925f966a85e312e2df80d121c6e81786e7672d1591cdab8a66601c7d740df9db9704330a82f5aa01982d758cc4d5f151838be41c4d0b76f
-DIST boogie-2.15.8.tar.gz 1548233 BLAKE2B 
cd3d46b6702eb9c16cdb94ae9776ee52bb142be57e3b0dfd014e59c2f3a98aec84d891544cbd239d773c49ac6bc0b3e1eb5e1eb5cda1f1a0b9aa029f0ee674f2
 SHA512 
5e214a6451b0ac6a33088797957661cdb35e7fc99f880935f0f1d9329975c11a0849f5ba6244e90f528e6cc31dc2fc83636506130f59464889bf04ecf6130990
 DIST boogie-2.15.9.tar.gz 1542068 BLAKE2B 
eb4802a628b3b96b02dd4736e6958f3b4362142f948e675e0f13c2270d062e42f1e441ddee427340e974cf6dbb3b6700b750318570e830ba0541c6737096991e
 SHA512 
93eab4ba7f746c78c054f6ee8355c408e4435a836fc45def5485c973e4aec50e419412ecd376ff412632cb466384ad9df90bb368af4dc5e23cd7e207e47b5b1f
 DIST boogie-2.16.0.tar.gz 1540957 BLAKE2B 
e42615f1a0963aa68cc898945aafa6b518acc2134da17b717a81b4c5601bdb8112b79e96aafdb277a5517ca855679175bb5e6fdf9faae37b2e4b00f7c0ff3af5
 SHA512 
50be3d688f92481890687ba6853ff30716899a045ef1a5915f8bd2c4e86deec73983edaf9e96766efb7c4bc0d522e0087d472de1bf6151adbe35ef903cd8a875

diff --git a/dev-lang/boogie/boogie-2.15.8-r4.ebuild 
b/dev-lang/boogie/boogie-2.15.8-r4.ebuild
deleted file mode 100644
index ce1ace397460..
--- a/dev-lang/boogie/boogie-2.15.8-r4.ebuild
+++ /dev/null
@@ -1,93 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-DOTNET_COMPAT=6.0
-
-inherit edo multiprocessing
-
-DESCRIPTION="SMT-based program verifier"
-HOMEPAGE="https://github.com/boogie-org/boogie/;
-SRC_URI="
-   https://github.com/boogie-org/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz
-   https://dev.gentoo.org/~xgqt/distfiles/deps/${P}-deps.tar.xz
-"
-
-LICENSE="MIT"
-SLOT="0"
-KEYWORDS="~amd64"
-IUSE="debug test"
-RESTRICT="!test? ( test )"
-
-BDEPEND="virtual/dotnet-sdk:${DOTNET_COMPAT}"
-RDEPEND="
-   ${BDEPEND}
-   sci-mathematics/z3
-"
-BDEPEND+="
-   test? (
-   dev-python/lit
-   dev-python/OutputCheck
-   )
-"
-
-# Generated by dotnet.
-QA_PREBUILT="/usr/share/boogie/BoogieDriver"
-
-src_prepare() {
-   export DOTNET_CLI_TELEMETRY_OPTOUT=1
-   export DOTNET_NOLOGO=1
-   export DOTNET_CONFIGURATION=$(usex debug Debug Release)
-   export 
DOTNET_OUTPUT="${WORKDIR}"/${P}_net${DOTNET_COMPAT}_${DOTNET_CONFIGURATION}/${PN}
-   export NUGET_PACKAGES="${S}"/Source/nuget_packages
-
-   default
-
-   # Remove bad tests.
-   local bad_tests=(
-   civl/inductive-sequentialization/BroadcastConsensus.bpl
-   livevars/bla1.bpl
-   prover/cvc5.bpl
-   test0/MaxKeepGoingSplits.bpl
-   test15/CaptureInlineUnroll.bpl
-   test15/CaptureState.bpl
-   test15/CommonVariablesPruning.bpl
-   )
-   local bad_test
-   for bad_test in ${bad_tests[@]} ; do
-   rm "${S}"/Test/${bad_test} || die
-   done
-
-   # Update the boogieBinary variable.
-   sed "/^boogieBinary/s|= .*|= '${DOTNET_OUTPUT}/BoogieDriver.dll'|" \
-   -i "${S}"/Test/lit.site.cfg || die "failed to update 
lit.site.cfg"
-}
-
-src_configure() {
-   edob dotnet restore "${S}"/Source \
-   --source "${NUGET_PACKAGES}" 
-p:TargetFramework=net${DOTNET_COMPAT}
-}
-
-src_compile() {
-   local myopts=(
-   --configuration ${DOTNET_CONFIGURATION}
-   --no-restore
-   --no-self-contained
-   --nologo
-   --output "${DOTNET_OUTPUT}"
-   -consoleLoggerParameters:ErrorsOnly
-   -maxCpuCount:$(makeopts_jobs)
-   )
-   edob dotnet build ${myopts[@]} "${S}"/Source
-}
-
-src_test() {
-   lit "${S}"/Test || die "tests failed"
-}
-
-src_install() {
-   mkdir -p "${ED}"/usr/share/ || die
-   cp -r "${DOTNET_OUTPUT}" "${ED}"/usr/share/ || die
-   dosym -r /usr/share/${PN}/BoogieDriver /usr/bin/boogie
-}

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Maciej Barć]

commit: a967e8ed15e62c9947fab42f0498f0f2f99b5a1b
Author: Maciej Barć  gentoo  org>
AuthorDate: Mon Jun 19 18:19:05 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Mon Jun 19 18:29:34 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a967e8ed

dev-lang/boogie: drop old 2.15.9

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/boogie/Manifest |  1 -
 dev-lang/boogie/boogie-2.15.9.ebuild | 94 
 2 files changed, 95 deletions(-)

diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
index a42966323497..06be016bc670 100644
--- a/dev-lang/boogie/Manifest
+++ b/dev-lang/boogie/Manifest
@@ -1,3 +1,2 @@
 DIST boogie-2.15.8-deps.tar.xz 71100772 BLAKE2B 
1249627710fe0cc08c640ac7fe5e518793d237291810dc2df5d26bae2a4fd0fec15f0529b6fb799231002881665c2b2cf66b3a6a88494c780e96e51d78086959
 SHA512 
ee8df5693264c6b6e925f966a85e312e2df80d121c6e81786e7672d1591cdab8a66601c7d740df9db9704330a82f5aa01982d758cc4d5f151838be41c4d0b76f
-DIST boogie-2.15.9.tar.gz 1542068 BLAKE2B 
eb4802a628b3b96b02dd4736e6958f3b4362142f948e675e0f13c2270d062e42f1e441ddee427340e974cf6dbb3b6700b750318570e830ba0541c6737096991e
 SHA512 
93eab4ba7f746c78c054f6ee8355c408e4435a836fc45def5485c973e4aec50e419412ecd376ff412632cb466384ad9df90bb368af4dc5e23cd7e207e47b5b1f
 DIST boogie-2.16.0.tar.gz 1540957 BLAKE2B 
e42615f1a0963aa68cc898945aafa6b518acc2134da17b717a81b4c5601bdb8112b79e96aafdb277a5517ca855679175bb5e6fdf9faae37b2e4b00f7c0ff3af5
 SHA512 
50be3d688f92481890687ba6853ff30716899a045ef1a5915f8bd2c4e86deec73983edaf9e96766efb7c4bc0d522e0087d472de1bf6151adbe35ef903cd8a875

diff --git a/dev-lang/boogie/boogie-2.15.9.ebuild 
b/dev-lang/boogie/boogie-2.15.9.ebuild
deleted file mode 100644
index f4b0b0eea17f..
--- a/dev-lang/boogie/boogie-2.15.9.ebuild
+++ /dev/null
@@ -1,94 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-DOTNET_COMPAT=6.0
-
-inherit edo multiprocessing
-
-DESCRIPTION="SMT-based program verifier"
-HOMEPAGE="https://github.com/boogie-org/boogie/;
-SRC_URI="
-   https://github.com/boogie-org/${PN}/archive/v${PV}.tar.gz
-   -> ${P}.tar.gz
-   https://dev.gentoo.org/~xgqt/distfiles/deps/${PN}-2.15.8-deps.tar.xz
-"
-
-LICENSE="MIT"
-SLOT="0"
-KEYWORDS="~amd64"
-IUSE="debug test"
-RESTRICT="!test? ( test )"
-
-BDEPEND="virtual/dotnet-sdk:${DOTNET_COMPAT}"
-RDEPEND="
-   ${BDEPEND}
-   sci-mathematics/z3
-"
-BDEPEND+="
-   test? (
-   dev-python/lit
-   dev-python/OutputCheck
-   )
-"
-
-# Generated by dotnet.
-QA_PREBUILT="/usr/share/boogie/BoogieDriver"
-
-src_prepare() {
-   export DOTNET_CLI_TELEMETRY_OPTOUT=1
-   export DOTNET_NOLOGO=1
-   export DOTNET_CONFIGURATION=$(usex debug Debug Release)
-   export 
DOTNET_OUTPUT="${WORKDIR}"/${P}_net${DOTNET_COMPAT}_${DOTNET_CONFIGURATION}/${PN}
-   export NUGET_PACKAGES="${WORKDIR}"/${PN}-2.15.8/Source/nuget_packages
-
-   default
-
-   # Remove bad tests.
-   local bad_tests=(
-   civl/inductive-sequentialization/BroadcastConsensus.bpl
-   livevars/bla1.bpl
-   prover/cvc5.bpl
-   test0/MaxKeepGoingSplits.bpl
-   test15/CaptureInlineUnroll.bpl
-   test15/CaptureState.bpl
-   test15/CommonVariablesPruning.bpl
-   )
-   local bad_test
-   for bad_test in ${bad_tests[@]} ; do
-   rm "${S}"/Test/${bad_test} || die
-   done
-
-   # Update the boogieBinary variable.
-   sed "/^boogieBinary/s|= .*|= '${DOTNET_OUTPUT}/BoogieDriver.dll'|" \
-   -i "${S}"/Test/lit.site.cfg || die "failed to update 
lit.site.cfg"
-}
-
-src_configure() {
-   edob dotnet restore "${S}"/Source \
-   --source "${NUGET_PACKAGES}" 
-p:TargetFramework=net${DOTNET_COMPAT}
-}
-
-src_compile() {
-   local myopts=(
-   --configuration ${DOTNET_CONFIGURATION}
-   --no-restore
-   --no-self-contained
-   --nologo
-   --output "${DOTNET_OUTPUT}"
-   -consoleLoggerParameters:ErrorsOnly
-   -maxCpuCount:$(makeopts_jobs)
-   )
-   edob dotnet build ${myopts[@]} "${S}"/Source
-}
-
-src_test() {
-   lit "${S}"/Test || die "tests failed"
-}
-
-src_install() {
-   mkdir -p "${ED}"/usr/share/ || die
-   cp -r "${DOTNET_OUTPUT}" "${ED}"/usr/share/ || die
-   dosym -r /usr/share/${PN}/BoogieDriver /usr/bin/boogie
-}

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Maciej Barć]

commit: 98b9be6e34b049ff20c82c5ff09709d75183a818
Author: Maciej Barć  gentoo  org>
AuthorDate: Tue Feb 28 17:07:04 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Tue Feb 28 18:03:17 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=98b9be6e

dev-lang/boogie: switch maint to dotnet  gentoo.org

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/boogie/metadata.xml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/dev-lang/boogie/metadata.xml b/dev-lang/boogie/metadata.xml
index e0e4670c63ec..c2b44bcc70fc 100644
--- a/dev-lang/boogie/metadata.xml
+++ b/dev-lang/boogie/metadata.xml
@@ -2,9 +2,9 @@
 https://www.gentoo.org/dtd/metadata.dtd;>
 
 
-  
-x...@gentoo.org
-Maciej Barć
+  
+dot...@gentoo.org
+Gentoo Dotnet Project
   
   
 Boogie is an intermediate verification language (IVL), intended as a layer

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Maciej Barć]

commit: 25d4c54ad05c08970b7ccfe132334ddc89047dd2
Author: Maciej Barć  gentoo  org>
AuthorDate: Mon Nov 28 17:44:38 2022 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Mon Nov 28 20:33:18 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=25d4c54a

dev-lang/boogie: bump to 2.16.0

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/boogie/Manifest |  1 +
 dev-lang/boogie/boogie-2.16.0.ebuild | 94 
 2 files changed, 95 insertions(+)

diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
index 9136617d22f7..c2c381596ec3 100644
--- a/dev-lang/boogie/Manifest
+++ b/dev-lang/boogie/Manifest
@@ -1,3 +1,4 @@
 DIST boogie-2.15.8-deps.tar.xz 71100772 BLAKE2B 
1249627710fe0cc08c640ac7fe5e518793d237291810dc2df5d26bae2a4fd0fec15f0529b6fb799231002881665c2b2cf66b3a6a88494c780e96e51d78086959
 SHA512 
ee8df5693264c6b6e925f966a85e312e2df80d121c6e81786e7672d1591cdab8a66601c7d740df9db9704330a82f5aa01982d758cc4d5f151838be41c4d0b76f
 DIST boogie-2.15.8.tar.gz 1548233 BLAKE2B 
cd3d46b6702eb9c16cdb94ae9776ee52bb142be57e3b0dfd014e59c2f3a98aec84d891544cbd239d773c49ac6bc0b3e1eb5e1eb5cda1f1a0b9aa029f0ee674f2
 SHA512 
5e214a6451b0ac6a33088797957661cdb35e7fc99f880935f0f1d9329975c11a0849f5ba6244e90f528e6cc31dc2fc83636506130f59464889bf04ecf6130990
 DIST boogie-2.15.9.tar.gz 1542068 BLAKE2B 
eb4802a628b3b96b02dd4736e6958f3b4362142f948e675e0f13c2270d062e42f1e441ddee427340e974cf6dbb3b6700b750318570e830ba0541c6737096991e
 SHA512 
93eab4ba7f746c78c054f6ee8355c408e4435a836fc45def5485c973e4aec50e419412ecd376ff412632cb466384ad9df90bb368af4dc5e23cd7e207e47b5b1f
+DIST boogie-2.16.0.tar.gz 1540957 BLAKE2B 
e42615f1a0963aa68cc898945aafa6b518acc2134da17b717a81b4c5601bdb8112b79e96aafdb277a5517ca855679175bb5e6fdf9faae37b2e4b00f7c0ff3af5
 SHA512 
50be3d688f92481890687ba6853ff30716899a045ef1a5915f8bd2c4e86deec73983edaf9e96766efb7c4bc0d522e0087d472de1bf6151adbe35ef903cd8a875

diff --git a/dev-lang/boogie/boogie-2.16.0.ebuild 
b/dev-lang/boogie/boogie-2.16.0.ebuild
new file mode 100644
index ..f4b0b0eea17f
--- /dev/null
+++ b/dev-lang/boogie/boogie-2.16.0.ebuild
@@ -0,0 +1,94 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+DOTNET_COMPAT=6.0
+
+inherit edo multiprocessing
+
+DESCRIPTION="SMT-based program verifier"
+HOMEPAGE="https://github.com/boogie-org/boogie/;
+SRC_URI="
+   https://github.com/boogie-org/${PN}/archive/v${PV}.tar.gz
+   -> ${P}.tar.gz
+   https://dev.gentoo.org/~xgqt/distfiles/deps/${PN}-2.15.8-deps.tar.xz
+"
+
+LICENSE="MIT"
+SLOT="0"
+KEYWORDS="~amd64"
+IUSE="debug test"
+RESTRICT="!test? ( test )"
+
+BDEPEND="virtual/dotnet-sdk:${DOTNET_COMPAT}"
+RDEPEND="
+   ${BDEPEND}
+   sci-mathematics/z3
+"
+BDEPEND+="
+   test? (
+   dev-python/lit
+   dev-python/OutputCheck
+   )
+"
+
+# Generated by dotnet.
+QA_PREBUILT="/usr/share/boogie/BoogieDriver"
+
+src_prepare() {
+   export DOTNET_CLI_TELEMETRY_OPTOUT=1
+   export DOTNET_NOLOGO=1
+   export DOTNET_CONFIGURATION=$(usex debug Debug Release)
+   export 
DOTNET_OUTPUT="${WORKDIR}"/${P}_net${DOTNET_COMPAT}_${DOTNET_CONFIGURATION}/${PN}
+   export NUGET_PACKAGES="${WORKDIR}"/${PN}-2.15.8/Source/nuget_packages
+
+   default
+
+   # Remove bad tests.
+   local bad_tests=(
+   civl/inductive-sequentialization/BroadcastConsensus.bpl
+   livevars/bla1.bpl
+   prover/cvc5.bpl
+   test0/MaxKeepGoingSplits.bpl
+   test15/CaptureInlineUnroll.bpl
+   test15/CaptureState.bpl
+   test15/CommonVariablesPruning.bpl
+   )
+   local bad_test
+   for bad_test in ${bad_tests[@]} ; do
+   rm "${S}"/Test/${bad_test} || die
+   done
+
+   # Update the boogieBinary variable.
+   sed "/^boogieBinary/s|= .*|= '${DOTNET_OUTPUT}/BoogieDriver.dll'|" \
+   -i "${S}"/Test/lit.site.cfg || die "failed to update 
lit.site.cfg"
+}
+
+src_configure() {
+   edob dotnet restore "${S}"/Source \
+   --source "${NUGET_PACKAGES}" 
-p:TargetFramework=net${DOTNET_COMPAT}
+}
+
+src_compile() {
+   local myopts=(
+   --configuration ${DOTNET_CONFIGURATION}
+   --no-restore
+   --no-self-contained
+   --nologo
+   --output "${DOTNET_OUTPUT}"
+   -consoleLoggerParameters:ErrorsOnly
+   -maxCpuCount:$(makeopts_jobs)
+   )
+   edob dotnet build ${myopts[@]} "${S}"/Source
+}
+
+src_test() {
+   lit "${S}"/Test || die "tests failed"
+}
+
+src_install() {
+   mkdir -p "${ED}"/usr/share/ || die
+   cp -r "${DOTNET_OUTPUT}" "${ED}"/usr/share/ || die
+   dosym -r /usr/share/${PN}/BoogieDriver /usr/bin/boogie
+}

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Maciej Barć]

commit: 2032b3219be48ea8e435211bbc23a6f8b2aa6d8c
Author: Maciej Barć  gentoo  org>
AuthorDate: Fri Nov 18 00:43:43 2022 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Fri Nov 18 00:53:08 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2032b321

dev-lang/boogie: bump to 2.15.9

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/boogie/Manifest |  1 +
 dev-lang/boogie/boogie-2.15.9.ebuild | 94 
 2 files changed, 95 insertions(+)

diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
index 0215e7b7d733..9136617d22f7 100644
--- a/dev-lang/boogie/Manifest
+++ b/dev-lang/boogie/Manifest
@@ -1,2 +1,3 @@
 DIST boogie-2.15.8-deps.tar.xz 71100772 BLAKE2B 
1249627710fe0cc08c640ac7fe5e518793d237291810dc2df5d26bae2a4fd0fec15f0529b6fb799231002881665c2b2cf66b3a6a88494c780e96e51d78086959
 SHA512 
ee8df5693264c6b6e925f966a85e312e2df80d121c6e81786e7672d1591cdab8a66601c7d740df9db9704330a82f5aa01982d758cc4d5f151838be41c4d0b76f
 DIST boogie-2.15.8.tar.gz 1548233 BLAKE2B 
cd3d46b6702eb9c16cdb94ae9776ee52bb142be57e3b0dfd014e59c2f3a98aec84d891544cbd239d773c49ac6bc0b3e1eb5e1eb5cda1f1a0b9aa029f0ee674f2
 SHA512 
5e214a6451b0ac6a33088797957661cdb35e7fc99f880935f0f1d9329975c11a0849f5ba6244e90f528e6cc31dc2fc83636506130f59464889bf04ecf6130990
+DIST boogie-2.15.9.tar.gz 1542068 BLAKE2B 
eb4802a628b3b96b02dd4736e6958f3b4362142f948e675e0f13c2270d062e42f1e441ddee427340e974cf6dbb3b6700b750318570e830ba0541c6737096991e
 SHA512 
93eab4ba7f746c78c054f6ee8355c408e4435a836fc45def5485c973e4aec50e419412ecd376ff412632cb466384ad9df90bb368af4dc5e23cd7e207e47b5b1f

diff --git a/dev-lang/boogie/boogie-2.15.9.ebuild 
b/dev-lang/boogie/boogie-2.15.9.ebuild
new file mode 100644
index ..f4b0b0eea17f
--- /dev/null
+++ b/dev-lang/boogie/boogie-2.15.9.ebuild
@@ -0,0 +1,94 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+DOTNET_COMPAT=6.0
+
+inherit edo multiprocessing
+
+DESCRIPTION="SMT-based program verifier"
+HOMEPAGE="https://github.com/boogie-org/boogie/;
+SRC_URI="
+   https://github.com/boogie-org/${PN}/archive/v${PV}.tar.gz
+   -> ${P}.tar.gz
+   https://dev.gentoo.org/~xgqt/distfiles/deps/${PN}-2.15.8-deps.tar.xz
+"
+
+LICENSE="MIT"
+SLOT="0"
+KEYWORDS="~amd64"
+IUSE="debug test"
+RESTRICT="!test? ( test )"
+
+BDEPEND="virtual/dotnet-sdk:${DOTNET_COMPAT}"
+RDEPEND="
+   ${BDEPEND}
+   sci-mathematics/z3
+"
+BDEPEND+="
+   test? (
+   dev-python/lit
+   dev-python/OutputCheck
+   )
+"
+
+# Generated by dotnet.
+QA_PREBUILT="/usr/share/boogie/BoogieDriver"
+
+src_prepare() {
+   export DOTNET_CLI_TELEMETRY_OPTOUT=1
+   export DOTNET_NOLOGO=1
+   export DOTNET_CONFIGURATION=$(usex debug Debug Release)
+   export 
DOTNET_OUTPUT="${WORKDIR}"/${P}_net${DOTNET_COMPAT}_${DOTNET_CONFIGURATION}/${PN}
+   export NUGET_PACKAGES="${WORKDIR}"/${PN}-2.15.8/Source/nuget_packages
+
+   default
+
+   # Remove bad tests.
+   local bad_tests=(
+   civl/inductive-sequentialization/BroadcastConsensus.bpl
+   livevars/bla1.bpl
+   prover/cvc5.bpl
+   test0/MaxKeepGoingSplits.bpl
+   test15/CaptureInlineUnroll.bpl
+   test15/CaptureState.bpl
+   test15/CommonVariablesPruning.bpl
+   )
+   local bad_test
+   for bad_test in ${bad_tests[@]} ; do
+   rm "${S}"/Test/${bad_test} || die
+   done
+
+   # Update the boogieBinary variable.
+   sed "/^boogieBinary/s|= .*|= '${DOTNET_OUTPUT}/BoogieDriver.dll'|" \
+   -i "${S}"/Test/lit.site.cfg || die "failed to update 
lit.site.cfg"
+}
+
+src_configure() {
+   edob dotnet restore "${S}"/Source \
+   --source "${NUGET_PACKAGES}" 
-p:TargetFramework=net${DOTNET_COMPAT}
+}
+
+src_compile() {
+   local myopts=(
+   --configuration ${DOTNET_CONFIGURATION}
+   --no-restore
+   --no-self-contained
+   --nologo
+   --output "${DOTNET_OUTPUT}"
+   -consoleLoggerParameters:ErrorsOnly
+   -maxCpuCount:$(makeopts_jobs)
+   )
+   edob dotnet build ${myopts[@]} "${S}"/Source
+}
+
+src_test() {
+   lit "${S}"/Test || die "tests failed"
+}
+
+src_install() {
+   mkdir -p "${ED}"/usr/share/ || die
+   cp -r "${DOTNET_OUTPUT}" "${ED}"/usr/share/ || die
+   dosym -r /usr/share/${PN}/BoogieDriver /usr/bin/boogie
+}

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Maciej Barć]

commit: 08024617c343707bab3517d47cc55b7f23960e52
Author: Maciej Barć  gentoo  org>
AuthorDate: Thu Oct  6 20:45:02 2022 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Thu Oct  6 20:54:40 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=08024617

dev-lang/boogie: fix broken NUGET_PACKAGES variable

Also use "--source" flag for running "dotnet restore" which will
warn when NUGET_PACKAGES directory does not exist.

Closes: https://bugs.gentoo.org/875755
Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/boogie/{boogie-2.15.8-r2.ebuild => boogie-2.15.8-r3.ebuild} | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/dev-lang/boogie/boogie-2.15.8-r2.ebuild 
b/dev-lang/boogie/boogie-2.15.8-r3.ebuild
similarity index 92%
rename from dev-lang/boogie/boogie-2.15.8-r2.ebuild
rename to dev-lang/boogie/boogie-2.15.8-r3.ebuild
index 7324430f8146..1b6c0b18edd5 100644
--- a/dev-lang/boogie/boogie-2.15.8-r2.ebuild
+++ b/dev-lang/boogie/boogie-2.15.8-r3.ebuild
@@ -43,7 +43,7 @@ src_prepare() {
export DOTNET_NOLOGO=1
export DOTNET_CONFIGURATION=$(usex debug Debug Release)
export 
DOTNET_OUTPUT="${WORKDIR}"/${P}_net${DOTNET_COMPAT}_${DOTNET_CONFIGURATION}/${PN}
-   export NUGET_PACKAGES="${S}"/nuget_packages
+   export NUGET_PACKAGES="${S}"/Source/nuget_packages
 
default
 
@@ -68,7 +68,8 @@ src_prepare() {
 }
 
 src_configure() {
-   edob dotnet restore -p:TargetFramework=net${DOTNET_COMPAT} "${S}"/Source
+   edob dotnet restore "${S}"/Source \
+   --source "${NUGET_PACKAGES}" 
-p:TargetFramework=net${DOTNET_COMPAT}
 }
 
 src_compile() {

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Maciej Barć]

commit: 8e0e6163545ce31c7a59651fdab122b45e4b747c
Author: Maciej Barć  gentoo  org>
AuthorDate: Thu Oct  6 14:17:22 2022 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Thu Oct  6 14:27:36 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8e0e6163

dev-lang/boogie: enable tests

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/boogie/boogie-2.15.8-r2.ebuild | 37 +
 1 file changed, 33 insertions(+), 4 deletions(-)

diff --git a/dev-lang/boogie/boogie-2.15.8-r2.ebuild 
b/dev-lang/boogie/boogie-2.15.8-r2.ebuild
index e1dc3d6dcd95..7324430f8146 100644
--- a/dev-lang/boogie/boogie-2.15.8-r2.ebuild
+++ b/dev-lang/boogie/boogie-2.15.8-r2.ebuild
@@ -13,12 +13,12 @@ SRC_URI="
https://github.com/boogie-org/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz
https://dev.gentoo.org/~xgqt/distfiles/deps/${P}-deps.tar.xz
 "
-S="${S}"/Source
 
 LICENSE="MIT"
 SLOT="0"
 KEYWORDS="~amd64"
-IUSE="debug"
+IUSE="debug test"
+RESTRICT="!test? ( test )"
 
 BDEPEND="
dev-libs/icu
@@ -28,6 +28,12 @@ RDEPEND="
${BDEPEND}
sci-mathematics/z3
 "
+BDEPEND+="
+   test? (
+   dev-python/lit
+   dev-python/OutputCheck
+   )
+"
 
 # Generated by dotnet.
 QA_PREBUILT="/usr/share/boogie/BoogieDriver"
@@ -40,10 +46,29 @@ src_prepare() {
export NUGET_PACKAGES="${S}"/nuget_packages
 
default
+
+   # Remove bad tests.
+   local bad_tests=(
+   civl/inductive-sequentialization/BroadcastConsensus.bpl
+   livevars/bla1.bpl
+   prover/cvc5.bpl
+   test0/MaxKeepGoingSplits.bpl
+   test15/CaptureInlineUnroll.bpl
+   test15/CaptureState.bpl
+   test15/CommonVariablesPruning.bpl
+   )
+   local bad_test
+   for bad_test in ${bad_tests[@]} ; do
+   rm "${S}"/Test/${bad_test} || die
+   done
+
+   # Update the boogieBinary variable.
+   sed "/^boogieBinary/s|= .*|= '${DOTNET_OUTPUT}/BoogieDriver.dll'|" \
+   -i "${S}"/Test/lit.site.cfg || die "failed to update 
lit.site.cfg"
 }
 
 src_configure() {
-   edob dotnet restore -p:TargetFramework=net${DOTNET_COMPAT}
+   edob dotnet restore -p:TargetFramework=net${DOTNET_COMPAT} "${S}"/Source
 }
 
 src_compile() {
@@ -56,7 +81,11 @@ src_compile() {
-consoleLoggerParameters:ErrorsOnly
-maxCpuCount:$(makeopts_jobs)
)
-   edob dotnet build ${myopts[@]}
+   edob dotnet build ${myopts[@]} "${S}"/Source
+}
+
+src_test() {
+   lit "${S}"/Test || die "tests failed"
 }
 
 src_install() {

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Maciej Barć]

commit: 0b4089e67b207d2f37d2dc9c7d18228165684f52
Author: Maciej Barć  gentoo  org>
AuthorDate: Tue Oct  4 15:22:21 2022 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Tue Oct  4 15:24:45 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0b4089e6

dev-lang/boogie: add icu dependency

Closes: https://bugs.gentoo.org/874810
Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/boogie/{boogie-2.15.8-r1.ebuild => boogie-2.15.8-r2.ebuild} | 5 -
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/dev-lang/boogie/boogie-2.15.8-r1.ebuild 
b/dev-lang/boogie/boogie-2.15.8-r2.ebuild
similarity index 95%
rename from dev-lang/boogie/boogie-2.15.8-r1.ebuild
rename to dev-lang/boogie/boogie-2.15.8-r2.ebuild
index 2bfc10a32fcf..e1dc3d6dcd95 100644
--- a/dev-lang/boogie/boogie-2.15.8-r1.ebuild
+++ b/dev-lang/boogie/boogie-2.15.8-r2.ebuild
@@ -20,7 +20,10 @@ SLOT="0"
 KEYWORDS="~amd64"
 IUSE="debug"
 
-BDEPEND="virtual/dotnet-sdk:${DOTNET_COMPAT}"
+BDEPEND="
+   dev-libs/icu
+   virtual/dotnet-sdk:${DOTNET_COMPAT}
+"
 RDEPEND="
${BDEPEND}
sci-mathematics/z3

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Maciej Barć]

commit: f610854f19a7d7aa140af095a9898c77ad154d73
Author: Maciej Barć  gentoo  org>
AuthorDate: Tue Oct  4 01:21:18 2022 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Tue Oct  4 01:50:24 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f610854f

dev-lang/boogie: add z3 dependency and debug USE flag

Signed-off-by: Maciej Barć  gentoo.org>

 .../{boogie-2.15.8.ebuild => boogie-2.15.8-r1.ebuild} | 15 ++-
 1 file changed, 10 insertions(+), 5 deletions(-)

diff --git a/dev-lang/boogie/boogie-2.15.8.ebuild 
b/dev-lang/boogie/boogie-2.15.8-r1.ebuild
similarity index 75%
rename from dev-lang/boogie/boogie-2.15.8.ebuild
rename to dev-lang/boogie/boogie-2.15.8-r1.ebuild
index 791a595d8262..2bfc10a32fcf 100644
--- a/dev-lang/boogie/boogie-2.15.8.ebuild
+++ b/dev-lang/boogie/boogie-2.15.8-r1.ebuild
@@ -18,9 +18,13 @@ S="${S}"/Source
 LICENSE="MIT"
 SLOT="0"
 KEYWORDS="~amd64"
+IUSE="debug"
 
-RDEPEND="virtual/dotnet-sdk:${DOTNET_COMPAT}"
-BDEPEND="${RDEPEND}"
+BDEPEND="virtual/dotnet-sdk:${DOTNET_COMPAT}"
+RDEPEND="
+   ${BDEPEND}
+   sci-mathematics/z3
+"
 
 # Generated by dotnet.
 QA_PREBUILT="/usr/share/boogie/BoogieDriver"
@@ -28,19 +32,20 @@ QA_PREBUILT="/usr/share/boogie/BoogieDriver"
 src_prepare() {
export DOTNET_CLI_TELEMETRY_OPTOUT=1
export DOTNET_NOLOGO=1
+   export DOTNET_CONFIGURATION=$(usex debug Debug Release)
+   export 
DOTNET_OUTPUT="${WORKDIR}"/${P}_net${DOTNET_COMPAT}_${DOTNET_CONFIGURATION}/${PN}
export NUGET_PACKAGES="${S}"/nuget_packages
-   export DOTNET_OUTPUT="${WORKDIR}"/${P}_net${DOTNET_COMPAT}_Release/${PN}
 
default
 }
 
 src_configure() {
-   edob dotnet restore
+   edob dotnet restore -p:TargetFramework=net${DOTNET_COMPAT}
 }
 
 src_compile() {
local myopts=(
-   --configuration Release
+   --configuration ${DOTNET_CONFIGURATION}
--no-restore
--no-self-contained
--nologo

[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Maciej Barć]

commit: 8ac30bce24f027d7124ae09e613997f593a61a8d
Author: Maciej Barć  gentoo  org>
AuthorDate: Mon Oct  3 21:15:27 2022 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Mon Oct  3 21:38:09 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8ac30bce

dev-lang/boogie: new package; add version 2.15.8

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/boogie/Manifest |  2 ++
 dev-lang/boogie/boogie-2.15.8.ebuild | 58 
 dev-lang/boogie/metadata.xml | 24 +++
 3 files changed, 84 insertions(+)

diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
new file mode 100644
index ..0215e7b7d733
--- /dev/null
+++ b/dev-lang/boogie/Manifest
@@ -0,0 +1,2 @@
+DIST boogie-2.15.8-deps.tar.xz 71100772 BLAKE2B 
1249627710fe0cc08c640ac7fe5e518793d237291810dc2df5d26bae2a4fd0fec15f0529b6fb799231002881665c2b2cf66b3a6a88494c780e96e51d78086959
 SHA512 
ee8df5693264c6b6e925f966a85e312e2df80d121c6e81786e7672d1591cdab8a66601c7d740df9db9704330a82f5aa01982d758cc4d5f151838be41c4d0b76f
+DIST boogie-2.15.8.tar.gz 1548233 BLAKE2B 
cd3d46b6702eb9c16cdb94ae9776ee52bb142be57e3b0dfd014e59c2f3a98aec84d891544cbd239d773c49ac6bc0b3e1eb5e1eb5cda1f1a0b9aa029f0ee674f2
 SHA512 
5e214a6451b0ac6a33088797957661cdb35e7fc99f880935f0f1d9329975c11a0849f5ba6244e90f528e6cc31dc2fc83636506130f59464889bf04ecf6130990

diff --git a/dev-lang/boogie/boogie-2.15.8.ebuild 
b/dev-lang/boogie/boogie-2.15.8.ebuild
new file mode 100644
index ..791a595d8262
--- /dev/null
+++ b/dev-lang/boogie/boogie-2.15.8.ebuild
@@ -0,0 +1,58 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+DOTNET_COMPAT=6.0
+
+inherit edo multiprocessing
+
+DESCRIPTION="SMT-based program verifier"
+HOMEPAGE="https://github.com/boogie-org/boogie/;
+SRC_URI="
+   https://github.com/boogie-org/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz
+   https://dev.gentoo.org/~xgqt/distfiles/deps/${P}-deps.tar.xz
+"
+S="${S}"/Source
+
+LICENSE="MIT"
+SLOT="0"
+KEYWORDS="~amd64"
+
+RDEPEND="virtual/dotnet-sdk:${DOTNET_COMPAT}"
+BDEPEND="${RDEPEND}"
+
+# Generated by dotnet.
+QA_PREBUILT="/usr/share/boogie/BoogieDriver"
+
+src_prepare() {
+   export DOTNET_CLI_TELEMETRY_OPTOUT=1
+   export DOTNET_NOLOGO=1
+   export NUGET_PACKAGES="${S}"/nuget_packages
+   export DOTNET_OUTPUT="${WORKDIR}"/${P}_net${DOTNET_COMPAT}_Release/${PN}
+
+   default
+}
+
+src_configure() {
+   edob dotnet restore
+}
+
+src_compile() {
+   local myopts=(
+   --configuration Release
+   --no-restore
+   --no-self-contained
+   --nologo
+   --output "${DOTNET_OUTPUT}"
+   -consoleLoggerParameters:ErrorsOnly
+   -maxCpuCount:$(makeopts_jobs)
+   )
+   edob dotnet build ${myopts[@]}
+}
+
+src_install() {
+   mkdir -p "${ED}"/usr/share/ || die
+   cp -r "${DOTNET_OUTPUT}" "${ED}"/usr/share/ || die
+   dosym -r /usr/share/${PN}/BoogieDriver /usr/bin/boogie
+}

diff --git a/dev-lang/boogie/metadata.xml b/dev-lang/boogie/metadata.xml
new file mode 100644
index ..e0e4670c63ec
--- /dev/null
+++ b/dev-lang/boogie/metadata.xml
@@ -0,0 +1,24 @@
+
+https://www.gentoo.org/dtd/metadata.dtd;>
+
+
+  
+x...@gentoo.org
+Maciej Barć
+  
+  
+Boogie is an intermediate verification language (IVL), intended as a layer
+on which to build program verifiers for other languages. Several program
+verifiers have been built in this way, including the VCC and HAVOC
+verifiers for C and the verifiers for Dafny, Chalice, and Spec#. For a
+sample verifier for a toy language built on top of Boogie, see Forro.
+Boogie is also the name of a tool. The tool accepts the Boogie language as
+input, optionally infers some invariants in the given Boogie program, and
+then generates verification conditions that are passed to an SMT solver.
+The default SMT solver is Z3.
+  
+  
+https://github.com/boogie-org/boogie/issues/
+boogie-org/boogie
+  
+