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

public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2022-12-15 21:51 Maciej Barć
  0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2022-12-15 21:51 UTC (permalink / raw
  To: gentoo-commits

commit:     2aae64a96eaa2c1c1375bb0bb534d0fd6e70116a
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Thu Dec 15 21:50:22 2022 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Thu Dec 15 21:51:18 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2aae64a9

dev-lang/dafny-bin: bump to 3.10.0

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

 dev-lang/dafny-bin/Manifest                |  1 +
 dev-lang/dafny-bin/dafny-bin-3.10.0.ebuild | 51 ++++++++++++++++++++++++++++++
 2 files changed, 52 insertions(+)

diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index 2f26ffe919c2..35f211fa3997 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,3 +1,4 @@
+DIST dafny-3.10.0-x64-ubuntu-16.04.zip 76468200 BLAKE2B d3b35260fca709f1808ec47874f5566dd2fc42af9a43354a97b86b8962b1b15c95df10f25fa8f0d6a12c83f5c12569aa981d56b796aeb1fd7563fc59c62d4259 SHA512 3f8e669025fd655a7709334876652176b3dce1eb980f1f797cf829fa53b125129a66a175d3a4fcc56aa276e28661c6d795ccc01901d0e457bdac754b29382ca3
 DIST dafny-3.8.1-x64-ubuntu-16.04.zip 76192825 BLAKE2B fbfe65f917fb1c04151969e466097ea5703b70fea5c2e04ed6ed756d05c3c46796951d641cca66c30b59d4b70dcee2bef9c7ccac6cd04fe3204b41a08910197c SHA512 ae10f912977827525902317a2215b3066f4271efd2dfdf314859b8c82cfb18ea881bafba5bde0d9f31f3b1429bef252774ca7a495f6661dff7f9f0d5fe042806
 DIST dafny-3.9.0-x64-ubuntu-16.04.zip 76348358 BLAKE2B aa217b8583a54f11e23769c214bff182025d7a8669a27f63ef3ee161640f1637d3eebc3e154c44d6cb0dc07060ac0bb3ba38dc7504af04c7a3c04425ee7437df SHA512 e595c80eed0c994a5e2f6cc34b18262f3401d7968e9da32449638591898998a56de70989240e8227ed6c40946205ba20542ac13e4e90cc597de657d81d389060
 DIST dafny-3.9.1-x64-ubuntu-16.04.zip 76356092 BLAKE2B 7337cbc5b698cec24ffcc3d05cc00403e37a865e422bab36860ca4a1136c3bf4d8dc70647640d0e3f1dc6846a0b72a3edc6a09cef51d7d56ab455dabd006236a SHA512 dbacd0dbeb4e97497faf7f6b6bfedac1ccc9f0e1da129ac1e3b124a0920ac659b6c78237102c5e087d350017c3bb3fd93ac8ca353b1b0e2d13073f35bfc9df7d

diff --git a/dev-lang/dafny-bin/dafny-bin-3.10.0.ebuild b/dev-lang/dafny-bin/dafny-bin-3.10.0.ebuild
new file mode 100644
index 000000000000..3571c06eeb55
--- /dev/null
+++ b/dev-lang/dafny-bin/dafny-bin-3.10.0.ebuild
@@ -0,0 +1,51 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+DESCRIPTION="Verification-aware programming language"
+HOMEPAGE="https://dafny.org/"
+SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV}-x64-ubuntu-16.04.zip"
+
+LICENSE="MIT"
+SLOT="0"
+KEYWORDS="-* ~amd64"
+REQUIRED_USE="elibc_glibc"
+
+RDEPEND="
+	dev-libs/userspace-rcu
+	dev-util/lttng-ust:0/2.12
+	sci-mathematics/z3
+"
+BDEPEND="app-arch/unzip"
+
+S="${WORKDIR}"/dafny
+QA_PREBUILT="*"
+
+src_prepare() {
+	default
+
+	# Remove bundled z3.
+	# NOTICE: New versions do not need the bundled one but older versions
+	# hardcoded the path relative to "dafny" binary.
+	# While bumping make sure to verify that system's "z3" is used
+	# by, for example, compiling/verifying a simple dafny program.
+	rm -r z3 || die
+}
+
+src_install() {
+	local dest=/opt/dafny
+
+	insinto ${dest}
+	# Maybe too general, but this installation mode matched how it arrives.
+	insopts -m0755
+	doins "${S}"/*
+
+	local bin
+	for bin in DafnyServer dafny ; do
+		dosym ../../${dest}/${bin} /usr/bin/${bin}
+	done
+
+	# Make "dafny-server" clients happy.
+	dosym ../../${dest}/DafnyServer /usr/bin/dafny-server
+}


^ permalink raw reply related	[flat|nested] 45+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2024-10-31 23:17 Maciej Barć
  0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2024-10-31 23:17 UTC (permalink / raw
  To: gentoo-commits

commit:     99d9a73183ac9dee6e37fdc9ddadc862b0135842
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Thu Oct 31 16:33:34 2024 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Thu Oct 31 23:17:19 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=99d9a731

dev-lang/dafny-bin: drop old 4.7.0

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

 dev-lang/dafny-bin/Manifest               |  1 -
 dev-lang/dafny-bin/dafny-bin-4.7.0.ebuild | 56 -------------------------------
 2 files changed, 57 deletions(-)

diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index 499ec3b0f999..eb74897ee991 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,2 +1 @@
-DIST dafny-4.7.0-x64-ubuntu-20.04.zip 63382915 BLAKE2B dfda2ceccabd2c223e7ab8ae6c8b02e7f34b42d4c115c2b8013941220246817536313d35927cca68f1427332b937434ec8e9a5dc6347b56eac0f907366c123d2 SHA512 89ef8ebda46b99cebd22f9721fc7af74c8e265a73db4530c571bd37b58d6741f15064d77ee5035be2b2039565b4bc826251dd29d6752557dfb9044fe40b07775
 DIST dafny-4.8.1-x64-ubuntu-20.04.zip 60728434 BLAKE2B 0cdf877fb018cff9ef6f1805ce9fdb3de506fbc76352a0d6ebc5e47b79e35483fe72853ff6ade32c31f1584d209445cbf2de195fc43a3c24314ebdc830d45daf SHA512 24b1f9028b509ccdc938fd1de97fbb72af101603422194ec47b21f421c45e17b96c07ecdd8c12057e97e0a16cbe4993fc7a498456a737bc5f2940b4a69d55ced

diff --git a/dev-lang/dafny-bin/dafny-bin-4.7.0.ebuild b/dev-lang/dafny-bin/dafny-bin-4.7.0.ebuild
deleted file mode 100644
index 66b2bf3d4f1b..000000000000
--- a/dev-lang/dafny-bin/dafny-bin-4.7.0.ebuild
+++ /dev/null
@@ -1,56 +0,0 @@
-# Copyright 1999-2024 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-DESCRIPTION="Verification-aware programming language"
-HOMEPAGE="https://dafny.org/
-	https://github.com/dafny-lang/dafny/"
-SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV}-x64-ubuntu-20.04.zip"
-S="${WORKDIR}/dafny"
-
-LICENSE="MIT"
-SLOT="0"
-KEYWORDS="-* amd64"
-REQUIRED_USE="elibc_glibc"
-RESTRICT="strip"
-
-RDEPEND="
-	!dev-lang/dafny
-	dev-libs/userspace-rcu
-	dev-util/lttng-ust:0/2.12
-	sci-mathematics/z3
-"
-BDEPEND="
-	app-arch/unzip
-"
-
-QA_PREBUILT="*"
-
-src_prepare() {
-	default
-
-	# Remove bundled z3.
-	# NOTICE: New versions do not need the bundled one but older versions
-	# hardcoded the path relative to "dafny" binary.
-	# While bumping make sure to verify that system's "z3" is used
-	# by, for example, compiling/verifying a simple dafny program.
-	rm -r z3 || die
-}
-
-src_install() {
-	local dest=/opt/dafny
-
-	insinto ${dest}
-	# Maybe too general, but this installation mode matched how it arrives.
-	insopts -m0755
-	doins "${S}"/*
-
-	local bin
-	for bin in DafnyServer dafny ; do
-		dosym ../../${dest}/${bin} /usr/bin/${bin}
-	done
-
-	# Make "dafny-server" clients happy.
-	dosym -r /${dest}/DafnyServer /usr/bin/dafny-server
-}


^ permalink raw reply related	[flat|nested] 45+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2024-10-31 23:17 Maciej Barć
  0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2024-10-31 23:17 UTC (permalink / raw
  To: gentoo-commits

commit:     e60cdf16ee2c1d662e994a9f3198f860492ee47d
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Thu Oct 31 16:35:05 2024 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Thu Oct 31 23:17:19 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e60cdf16

dev-lang/dafny-bin: bump to 4.9.0

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

 dev-lang/dafny-bin/Manifest               |  1 +
 dev-lang/dafny-bin/dafny-bin-4.9.0.ebuild | 56 +++++++++++++++++++++++++++++++
 2 files changed, 57 insertions(+)

diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index eb74897ee991..276dad52b185 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1 +1,2 @@
 DIST dafny-4.8.1-x64-ubuntu-20.04.zip 60728434 BLAKE2B 0cdf877fb018cff9ef6f1805ce9fdb3de506fbc76352a0d6ebc5e47b79e35483fe72853ff6ade32c31f1584d209445cbf2de195fc43a3c24314ebdc830d45daf SHA512 24b1f9028b509ccdc938fd1de97fbb72af101603422194ec47b21f421c45e17b96c07ecdd8c12057e97e0a16cbe4993fc7a498456a737bc5f2940b4a69d55ced
+DIST dafny-4.9.0-x64-ubuntu-20.04.zip 60772912 BLAKE2B 5904811590362705183e05e38c5f67a98b1601c28b4776faf3f33ac87d527e2c91493a0a693fd635799b8f416344acab2ed8c2897f3d1f07827e34565e8d720e SHA512 f44b94abf4fb9b42ee7b7fab584d1b6d65a90bdc515b2b4fc398762bcc33a759bbe2e22ff0c9fc556ca1794707cd7ca440e414c51be10ecd87a5b470df661bbf

diff --git a/dev-lang/dafny-bin/dafny-bin-4.9.0.ebuild b/dev-lang/dafny-bin/dafny-bin-4.9.0.ebuild
new file mode 100644
index 000000000000..2907f72117f4
--- /dev/null
+++ b/dev-lang/dafny-bin/dafny-bin-4.9.0.ebuild
@@ -0,0 +1,56 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+DESCRIPTION="Verification-aware programming language"
+HOMEPAGE="https://dafny.org/
+	https://github.com/dafny-lang/dafny/"
+SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV}-x64-ubuntu-20.04.zip"
+S="${WORKDIR}/dafny"
+
+LICENSE="MIT"
+SLOT="0"
+KEYWORDS="-* ~amd64"
+REQUIRED_USE="elibc_glibc"
+RESTRICT="strip"
+
+RDEPEND="
+	!dev-lang/dafny
+	dev-libs/userspace-rcu
+	dev-util/lttng-ust:0/2.12
+	sci-mathematics/z3
+"
+BDEPEND="
+	app-arch/unzip
+"
+
+QA_PREBUILT="*"
+
+src_prepare() {
+	default
+
+	# Remove bundled z3.
+	# NOTICE: New versions do not need the bundled one but older versions
+	# hardcoded the path relative to "dafny" binary.
+	# While bumping make sure to verify that system's "z3" is used
+	# by, for example, compiling/verifying a simple dafny program.
+	rm -r z3 || die
+}
+
+src_install() {
+	local dest="/opt/dafny"
+
+	insinto "${dest}"
+	# Maybe too general, but this installation mode matched how it arrives.
+	insopts -m0755
+	doins "${S}"/*
+
+	local bin
+	for bin in DafnyServer dafny ; do
+		dosym "../../${dest}/${bin}" "/usr/bin/${bin}"
+	done
+
+	# Make "dafny-server" clients happy.
+	dosym -r "/${dest}/DafnyServer" /usr/bin/dafny-server
+}


^ permalink raw reply related	[flat|nested] 45+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2024-10-23 16:48 Sam James
  0 siblings, 0 replies; 45+ messages in thread
From: Sam James @ 2024-10-23 16:48 UTC (permalink / raw
  To: gentoo-commits

commit:     a748bab9c7411bd6d5261e82017bdc7ce1cde848
Author:     Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Wed Oct 23 16:48:04 2024 +0000
Commit:     Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Wed Oct 23 16:48:04 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a748bab9

dev-lang/dafny-bin: Stabilize 4.8.1 amd64, #942018

Signed-off-by: Sam James <sam <AT> gentoo.org>

 dev-lang/dafny-bin/dafny-bin-4.8.1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-lang/dafny-bin/dafny-bin-4.8.1.ebuild b/dev-lang/dafny-bin/dafny-bin-4.8.1.ebuild
index 8ed638b01e1e..66b2bf3d4f1b 100644
--- a/dev-lang/dafny-bin/dafny-bin-4.8.1.ebuild
+++ b/dev-lang/dafny-bin/dafny-bin-4.8.1.ebuild
@@ -11,7 +11,7 @@ S="${WORKDIR}/dafny"
 
 LICENSE="MIT"
 SLOT="0"
-KEYWORDS="-* ~amd64"
+KEYWORDS="-* amd64"
 REQUIRED_USE="elibc_glibc"
 RESTRICT="strip"
 


^ permalink raw reply related	[flat|nested] 45+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2024-09-22 22:04 Maciej Barć
  0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2024-09-22 22:04 UTC (permalink / raw
  To: gentoo-commits

commit:     3cb6137e81267e1970a85fb43c6f302d42d9e845
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sun Sep 22 21:14:36 2024 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sun Sep 22 22:04:17 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3cb6137e

dev-lang/dafny-bin: bump to 4.8.1

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

 dev-lang/dafny-bin/Manifest               |  1 +
 dev-lang/dafny-bin/dafny-bin-4.8.1.ebuild | 56 +++++++++++++++++++++++++++++++
 2 files changed, 57 insertions(+)

diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index 779b791d6af1..499ec3b0f999 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1 +1,2 @@
 DIST dafny-4.7.0-x64-ubuntu-20.04.zip 63382915 BLAKE2B dfda2ceccabd2c223e7ab8ae6c8b02e7f34b42d4c115c2b8013941220246817536313d35927cca68f1427332b937434ec8e9a5dc6347b56eac0f907366c123d2 SHA512 89ef8ebda46b99cebd22f9721fc7af74c8e265a73db4530c571bd37b58d6741f15064d77ee5035be2b2039565b4bc826251dd29d6752557dfb9044fe40b07775
+DIST dafny-4.8.1-x64-ubuntu-20.04.zip 60728434 BLAKE2B 0cdf877fb018cff9ef6f1805ce9fdb3de506fbc76352a0d6ebc5e47b79e35483fe72853ff6ade32c31f1584d209445cbf2de195fc43a3c24314ebdc830d45daf SHA512 24b1f9028b509ccdc938fd1de97fbb72af101603422194ec47b21f421c45e17b96c07ecdd8c12057e97e0a16cbe4993fc7a498456a737bc5f2940b4a69d55ced

diff --git a/dev-lang/dafny-bin/dafny-bin-4.8.1.ebuild b/dev-lang/dafny-bin/dafny-bin-4.8.1.ebuild
new file mode 100644
index 000000000000..8ed638b01e1e
--- /dev/null
+++ b/dev-lang/dafny-bin/dafny-bin-4.8.1.ebuild
@@ -0,0 +1,56 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+DESCRIPTION="Verification-aware programming language"
+HOMEPAGE="https://dafny.org/
+	https://github.com/dafny-lang/dafny/"
+SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV}-x64-ubuntu-20.04.zip"
+S="${WORKDIR}/dafny"
+
+LICENSE="MIT"
+SLOT="0"
+KEYWORDS="-* ~amd64"
+REQUIRED_USE="elibc_glibc"
+RESTRICT="strip"
+
+RDEPEND="
+	!dev-lang/dafny
+	dev-libs/userspace-rcu
+	dev-util/lttng-ust:0/2.12
+	sci-mathematics/z3
+"
+BDEPEND="
+	app-arch/unzip
+"
+
+QA_PREBUILT="*"
+
+src_prepare() {
+	default
+
+	# Remove bundled z3.
+	# NOTICE: New versions do not need the bundled one but older versions
+	# hardcoded the path relative to "dafny" binary.
+	# While bumping make sure to verify that system's "z3" is used
+	# by, for example, compiling/verifying a simple dafny program.
+	rm -r z3 || die
+}
+
+src_install() {
+	local dest=/opt/dafny
+
+	insinto ${dest}
+	# Maybe too general, but this installation mode matched how it arrives.
+	insopts -m0755
+	doins "${S}"/*
+
+	local bin
+	for bin in DafnyServer dafny ; do
+		dosym ../../${dest}/${bin} /usr/bin/${bin}
+	done
+
+	# Make "dafny-server" clients happy.
+	dosym -r /${dest}/DafnyServer /usr/bin/dafny-server
+}


^ permalink raw reply related	[flat|nested] 45+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2024-09-22 22:04 Maciej Barć
  0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2024-09-22 22:04 UTC (permalink / raw
  To: gentoo-commits

commit:     e1d80ba2afe16ac08af4259c42aa40d145495a09
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sun Sep 22 21:13:22 2024 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sun Sep 22 22:04:17 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e1d80ba2

dev-lang/dafny-bin: drop old 4.6.0

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

 dev-lang/dafny-bin/Manifest               |  1 -
 dev-lang/dafny-bin/dafny-bin-4.6.0.ebuild | 56 -------------------------------
 2 files changed, 57 deletions(-)

diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index 23f28ce8b7f5..779b791d6af1 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,2 +1 @@
-DIST dafny-4.6.0-x64-ubuntu-20.04.zip 63265253 BLAKE2B ebba4490857fb9860289ccad5ea03251366ec5d745588e43a74529c3500f5f02c516bef70f4c661b3138b935e340102ea2537e0c22daf64b88941fec1ff90b4b SHA512 2537cc9d2b2a5514d5ff83988856bac4100bb381eef540870867e47d4557e54bf0889a60ad329f961366558be30590cb5c611bcc7a15305c27a1c38da629746f
 DIST dafny-4.7.0-x64-ubuntu-20.04.zip 63382915 BLAKE2B dfda2ceccabd2c223e7ab8ae6c8b02e7f34b42d4c115c2b8013941220246817536313d35927cca68f1427332b937434ec8e9a5dc6347b56eac0f907366c123d2 SHA512 89ef8ebda46b99cebd22f9721fc7af74c8e265a73db4530c571bd37b58d6741f15064d77ee5035be2b2039565b4bc826251dd29d6752557dfb9044fe40b07775

diff --git a/dev-lang/dafny-bin/dafny-bin-4.6.0.ebuild b/dev-lang/dafny-bin/dafny-bin-4.6.0.ebuild
deleted file mode 100644
index 66b2bf3d4f1b..000000000000
--- a/dev-lang/dafny-bin/dafny-bin-4.6.0.ebuild
+++ /dev/null
@@ -1,56 +0,0 @@
-# Copyright 1999-2024 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-DESCRIPTION="Verification-aware programming language"
-HOMEPAGE="https://dafny.org/
-	https://github.com/dafny-lang/dafny/"
-SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV}-x64-ubuntu-20.04.zip"
-S="${WORKDIR}/dafny"
-
-LICENSE="MIT"
-SLOT="0"
-KEYWORDS="-* amd64"
-REQUIRED_USE="elibc_glibc"
-RESTRICT="strip"
-
-RDEPEND="
-	!dev-lang/dafny
-	dev-libs/userspace-rcu
-	dev-util/lttng-ust:0/2.12
-	sci-mathematics/z3
-"
-BDEPEND="
-	app-arch/unzip
-"
-
-QA_PREBUILT="*"
-
-src_prepare() {
-	default
-
-	# Remove bundled z3.
-	# NOTICE: New versions do not need the bundled one but older versions
-	# hardcoded the path relative to "dafny" binary.
-	# While bumping make sure to verify that system's "z3" is used
-	# by, for example, compiling/verifying a simple dafny program.
-	rm -r z3 || die
-}
-
-src_install() {
-	local dest=/opt/dafny
-
-	insinto ${dest}
-	# Maybe too general, but this installation mode matched how it arrives.
-	insopts -m0755
-	doins "${S}"/*
-
-	local bin
-	for bin in DafnyServer dafny ; do
-		dosym ../../${dest}/${bin} /usr/bin/${bin}
-	done
-
-	# Make "dafny-server" clients happy.
-	dosym -r /${dest}/DafnyServer /usr/bin/dafny-server
-}


^ permalink raw reply related	[flat|nested] 45+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2024-08-01 16:47 Arthur Zamarin
  0 siblings, 0 replies; 45+ messages in thread
From: Arthur Zamarin @ 2024-08-01 16:47 UTC (permalink / raw
  To: gentoo-commits

commit:     4cdfdaf2451a46012107d76e8f32722651463158
Author:     Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Thu Aug  1 16:47:12 2024 +0000
Commit:     Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Thu Aug  1 16:47:12 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4cdfdaf2

dev-lang/dafny-bin: Stabilize 4.7.0 amd64, #937076

Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>

 dev-lang/dafny-bin/dafny-bin-4.7.0.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-lang/dafny-bin/dafny-bin-4.7.0.ebuild b/dev-lang/dafny-bin/dafny-bin-4.7.0.ebuild
index 8ed638b01e1e..66b2bf3d4f1b 100644
--- a/dev-lang/dafny-bin/dafny-bin-4.7.0.ebuild
+++ b/dev-lang/dafny-bin/dafny-bin-4.7.0.ebuild
@@ -11,7 +11,7 @@ S="${WORKDIR}/dafny"
 
 LICENSE="MIT"
 SLOT="0"
-KEYWORDS="-* ~amd64"
+KEYWORDS="-* amd64"
 REQUIRED_USE="elibc_glibc"
 RESTRICT="strip"
 


^ permalink raw reply related	[flat|nested] 45+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2024-06-27 22:42 Maciej Barć
  0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2024-06-27 22:42 UTC (permalink / raw
  To: gentoo-commits

commit:     df3a1d6a8002eca065e0849b5ad7c513d839992a
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Thu Jun 27 12:39:22 2024 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Thu Jun 27 22:42:19 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=df3a1d6a

dev-lang/dafny-bin: bump to 4.7.0

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

 dev-lang/dafny-bin/Manifest               |  1 +
 dev-lang/dafny-bin/dafny-bin-4.7.0.ebuild | 56 +++++++++++++++++++++++++++++++
 2 files changed, 57 insertions(+)

diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index 01b12e180be3..23f28ce8b7f5 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1 +1,2 @@
 DIST dafny-4.6.0-x64-ubuntu-20.04.zip 63265253 BLAKE2B ebba4490857fb9860289ccad5ea03251366ec5d745588e43a74529c3500f5f02c516bef70f4c661b3138b935e340102ea2537e0c22daf64b88941fec1ff90b4b SHA512 2537cc9d2b2a5514d5ff83988856bac4100bb381eef540870867e47d4557e54bf0889a60ad329f961366558be30590cb5c611bcc7a15305c27a1c38da629746f
+DIST dafny-4.7.0-x64-ubuntu-20.04.zip 63382915 BLAKE2B dfda2ceccabd2c223e7ab8ae6c8b02e7f34b42d4c115c2b8013941220246817536313d35927cca68f1427332b937434ec8e9a5dc6347b56eac0f907366c123d2 SHA512 89ef8ebda46b99cebd22f9721fc7af74c8e265a73db4530c571bd37b58d6741f15064d77ee5035be2b2039565b4bc826251dd29d6752557dfb9044fe40b07775

diff --git a/dev-lang/dafny-bin/dafny-bin-4.7.0.ebuild b/dev-lang/dafny-bin/dafny-bin-4.7.0.ebuild
new file mode 100644
index 000000000000..8ed638b01e1e
--- /dev/null
+++ b/dev-lang/dafny-bin/dafny-bin-4.7.0.ebuild
@@ -0,0 +1,56 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+DESCRIPTION="Verification-aware programming language"
+HOMEPAGE="https://dafny.org/
+	https://github.com/dafny-lang/dafny/"
+SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV}-x64-ubuntu-20.04.zip"
+S="${WORKDIR}/dafny"
+
+LICENSE="MIT"
+SLOT="0"
+KEYWORDS="-* ~amd64"
+REQUIRED_USE="elibc_glibc"
+RESTRICT="strip"
+
+RDEPEND="
+	!dev-lang/dafny
+	dev-libs/userspace-rcu
+	dev-util/lttng-ust:0/2.12
+	sci-mathematics/z3
+"
+BDEPEND="
+	app-arch/unzip
+"
+
+QA_PREBUILT="*"
+
+src_prepare() {
+	default
+
+	# Remove bundled z3.
+	# NOTICE: New versions do not need the bundled one but older versions
+	# hardcoded the path relative to "dafny" binary.
+	# While bumping make sure to verify that system's "z3" is used
+	# by, for example, compiling/verifying a simple dafny program.
+	rm -r z3 || die
+}
+
+src_install() {
+	local dest=/opt/dafny
+
+	insinto ${dest}
+	# Maybe too general, but this installation mode matched how it arrives.
+	insopts -m0755
+	doins "${S}"/*
+
+	local bin
+	for bin in DafnyServer dafny ; do
+		dosym ../../${dest}/${bin} /usr/bin/${bin}
+	done
+
+	# Make "dafny-server" clients happy.
+	dosym -r /${dest}/DafnyServer /usr/bin/dafny-server
+}


^ permalink raw reply related	[flat|nested] 45+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2024-04-29  0:06 Sam James
  0 siblings, 0 replies; 45+ messages in thread
From: Sam James @ 2024-04-29  0:06 UTC (permalink / raw
  To: gentoo-commits

commit:     96224c981667cf4ef4d36837263f15497954a19e
Author:     Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Mon Apr 29 00:06:22 2024 +0000
Commit:     Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Mon Apr 29 00:06:22 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=96224c98

dev-lang/dafny-bin: Stabilize 4.6.0 amd64, #930843

Signed-off-by: Sam James <sam <AT> gentoo.org>

 dev-lang/dafny-bin/dafny-bin-4.6.0.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-lang/dafny-bin/dafny-bin-4.6.0.ebuild b/dev-lang/dafny-bin/dafny-bin-4.6.0.ebuild
index 8ed638b01e1e..66b2bf3d4f1b 100644
--- a/dev-lang/dafny-bin/dafny-bin-4.6.0.ebuild
+++ b/dev-lang/dafny-bin/dafny-bin-4.6.0.ebuild
@@ -11,7 +11,7 @@ S="${WORKDIR}/dafny"
 
 LICENSE="MIT"
 SLOT="0"
-KEYWORDS="-* ~amd64"
+KEYWORDS="-* amd64"
 REQUIRED_USE="elibc_glibc"
 RESTRICT="strip"
 


^ permalink raw reply related	[flat|nested] 45+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2024-03-29  3:06 Maciej Barć
  0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2024-03-29  3:06 UTC (permalink / raw
  To: gentoo-commits

commit:     7daa94e800f8ba1ed588c232be67a3aada77389a
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Fri Mar 29 00:01:17 2024 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Fri Mar 29 03:04:53 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7daa94e8

dev-lang/dafny-bin: bump to 4.6.0

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

 dev-lang/dafny-bin/Manifest               |  1 +
 dev-lang/dafny-bin/dafny-bin-4.6.0.ebuild | 56 +++++++++++++++++++++++++++++++
 2 files changed, 57 insertions(+)

diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index 1f100bb83c00..38ca12988222 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,2 +1,3 @@
 DIST dafny-4.4.0-x64-ubuntu-20.04.zip 62873378 BLAKE2B ee471dfc0be515949bc3ec18cd46705ce35c7a0b43b8ffc35e7754cef57a3e9351b7e937b6735319d6255407b6cb46b4c0c69eab5a573fdf7671055efe3988b8 SHA512 acfd643bdf3dba7377fde8d36f3c7bfff27b575fbc212d02974958ad38fe433870128525ff22f9a76d4b1602d5253794409ce834b67c52571d395a737fc24471
 DIST dafny-4.5.0-x64-ubuntu-20.04.zip 63259963 BLAKE2B 2fd6bce2a4244b68ca2de6453e070ef05e67000667f946730608ea0806d4ee768bb612a83603b442071a4135e5a030edee38a70f0171cb1b7abd29e53cef5cbe SHA512 38c7c30ef764309eb26f9b54a2d15bac8953215915cc9a291524276609814cd76037480302f4e235710509a5cbe0e56a85bb8414be04ba8b9f63095a168543af
+DIST dafny-4.6.0-x64-ubuntu-20.04.zip 63265253 BLAKE2B ebba4490857fb9860289ccad5ea03251366ec5d745588e43a74529c3500f5f02c516bef70f4c661b3138b935e340102ea2537e0c22daf64b88941fec1ff90b4b SHA512 2537cc9d2b2a5514d5ff83988856bac4100bb381eef540870867e47d4557e54bf0889a60ad329f961366558be30590cb5c611bcc7a15305c27a1c38da629746f

diff --git a/dev-lang/dafny-bin/dafny-bin-4.6.0.ebuild b/dev-lang/dafny-bin/dafny-bin-4.6.0.ebuild
new file mode 100644
index 000000000000..8ed638b01e1e
--- /dev/null
+++ b/dev-lang/dafny-bin/dafny-bin-4.6.0.ebuild
@@ -0,0 +1,56 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+DESCRIPTION="Verification-aware programming language"
+HOMEPAGE="https://dafny.org/
+	https://github.com/dafny-lang/dafny/"
+SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV}-x64-ubuntu-20.04.zip"
+S="${WORKDIR}/dafny"
+
+LICENSE="MIT"
+SLOT="0"
+KEYWORDS="-* ~amd64"
+REQUIRED_USE="elibc_glibc"
+RESTRICT="strip"
+
+RDEPEND="
+	!dev-lang/dafny
+	dev-libs/userspace-rcu
+	dev-util/lttng-ust:0/2.12
+	sci-mathematics/z3
+"
+BDEPEND="
+	app-arch/unzip
+"
+
+QA_PREBUILT="*"
+
+src_prepare() {
+	default
+
+	# Remove bundled z3.
+	# NOTICE: New versions do not need the bundled one but older versions
+	# hardcoded the path relative to "dafny" binary.
+	# While bumping make sure to verify that system's "z3" is used
+	# by, for example, compiling/verifying a simple dafny program.
+	rm -r z3 || die
+}
+
+src_install() {
+	local dest=/opt/dafny
+
+	insinto ${dest}
+	# Maybe too general, but this installation mode matched how it arrives.
+	insopts -m0755
+	doins "${S}"/*
+
+	local bin
+	for bin in DafnyServer dafny ; do
+		dosym ../../${dest}/${bin} /usr/bin/${bin}
+	done
+
+	# Make "dafny-server" clients happy.
+	dosym -r /${dest}/DafnyServer /usr/bin/dafny-server
+}


^ permalink raw reply related	[flat|nested] 45+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2024-03-29  3:06 Maciej Barć
  0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2024-03-29  3:06 UTC (permalink / raw
  To: gentoo-commits

commit:     533148e0abceba84d64d7bec2d888b812486bef1
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Fri Mar 29 00:24:12 2024 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Fri Mar 29 03:04:54 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=533148e0

dev-lang/dafny-bin: restrict binary stripping

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

 .../{dafny-bin-4.4.0.ebuild => dafny-bin-4.4.0-r1.ebuild}          | 7 +++++--
 .../{dafny-bin-4.5.0.ebuild => dafny-bin-4.5.0-r1.ebuild}          | 1 +
 2 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/dev-lang/dafny-bin/dafny-bin-4.4.0.ebuild b/dev-lang/dafny-bin/dafny-bin-4.4.0-r1.ebuild
similarity index 96%
rename from dev-lang/dafny-bin/dafny-bin-4.4.0.ebuild
rename to dev-lang/dafny-bin/dafny-bin-4.4.0-r1.ebuild
index 65340016815f..e820db1b1174 100644
--- a/dev-lang/dafny-bin/dafny-bin-4.4.0.ebuild
+++ b/dev-lang/dafny-bin/dafny-bin-4.4.0-r1.ebuild
@@ -7,11 +7,13 @@ DESCRIPTION="Verification-aware programming language"
 HOMEPAGE="https://dafny.org/
 	https://github.com/dafny-lang/dafny/"
 SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV}-x64-ubuntu-20.04.zip"
+S="${WORKDIR}/dafny"
 
 LICENSE="MIT"
 SLOT="0"
 KEYWORDS="-* amd64"
 REQUIRED_USE="elibc_glibc"
+RESTRICT="strip"
 
 RDEPEND="
 	!dev-lang/dafny
@@ -19,9 +21,10 @@ RDEPEND="
 	dev-util/lttng-ust:0/2.12
 	sci-mathematics/z3
 "
-BDEPEND="app-arch/unzip"
+BDEPEND="
+	app-arch/unzip
+"
 
-S="${WORKDIR}/dafny"
 QA_PREBUILT="*"
 
 src_prepare() {

diff --git a/dev-lang/dafny-bin/dafny-bin-4.5.0.ebuild b/dev-lang/dafny-bin/dafny-bin-4.5.0-r1.ebuild
similarity index 98%
rename from dev-lang/dafny-bin/dafny-bin-4.5.0.ebuild
rename to dev-lang/dafny-bin/dafny-bin-4.5.0-r1.ebuild
index e1a433bf10e8..8ed638b01e1e 100644
--- a/dev-lang/dafny-bin/dafny-bin-4.5.0.ebuild
+++ b/dev-lang/dafny-bin/dafny-bin-4.5.0-r1.ebuild
@@ -13,6 +13,7 @@ LICENSE="MIT"
 SLOT="0"
 KEYWORDS="-* ~amd64"
 REQUIRED_USE="elibc_glibc"
+RESTRICT="strip"
 
 RDEPEND="
 	!dev-lang/dafny


^ permalink raw reply related	[flat|nested] 45+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2024-03-20 19:30 Maciej Barć
  0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2024-03-20 19:30 UTC (permalink / raw
  To: gentoo-commits

commit:     af6502c5956a20d2d329ec0c815aa4073d2667ef
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Wed Mar 20 17:59:09 2024 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Wed Mar 20 19:30:53 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=af6502c5

dev-lang/dafny-bin: bump to 4.5.0

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

 dev-lang/dafny-bin/Manifest               |  1 +
 dev-lang/dafny-bin/dafny-bin-4.5.0.ebuild | 55 +++++++++++++++++++++++++++++++
 2 files changed, 56 insertions(+)

diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index ee5052787c8e..1f100bb83c00 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1 +1,2 @@
 DIST dafny-4.4.0-x64-ubuntu-20.04.zip 62873378 BLAKE2B ee471dfc0be515949bc3ec18cd46705ce35c7a0b43b8ffc35e7754cef57a3e9351b7e937b6735319d6255407b6cb46b4c0c69eab5a573fdf7671055efe3988b8 SHA512 acfd643bdf3dba7377fde8d36f3c7bfff27b575fbc212d02974958ad38fe433870128525ff22f9a76d4b1602d5253794409ce834b67c52571d395a737fc24471
+DIST dafny-4.5.0-x64-ubuntu-20.04.zip 63259963 BLAKE2B 2fd6bce2a4244b68ca2de6453e070ef05e67000667f946730608ea0806d4ee768bb612a83603b442071a4135e5a030edee38a70f0171cb1b7abd29e53cef5cbe SHA512 38c7c30ef764309eb26f9b54a2d15bac8953215915cc9a291524276609814cd76037480302f4e235710509a5cbe0e56a85bb8414be04ba8b9f63095a168543af

diff --git a/dev-lang/dafny-bin/dafny-bin-4.5.0.ebuild b/dev-lang/dafny-bin/dafny-bin-4.5.0.ebuild
new file mode 100644
index 000000000000..e1a433bf10e8
--- /dev/null
+++ b/dev-lang/dafny-bin/dafny-bin-4.5.0.ebuild
@@ -0,0 +1,55 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+DESCRIPTION="Verification-aware programming language"
+HOMEPAGE="https://dafny.org/
+	https://github.com/dafny-lang/dafny/"
+SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV}-x64-ubuntu-20.04.zip"
+S="${WORKDIR}/dafny"
+
+LICENSE="MIT"
+SLOT="0"
+KEYWORDS="-* ~amd64"
+REQUIRED_USE="elibc_glibc"
+
+RDEPEND="
+	!dev-lang/dafny
+	dev-libs/userspace-rcu
+	dev-util/lttng-ust:0/2.12
+	sci-mathematics/z3
+"
+BDEPEND="
+	app-arch/unzip
+"
+
+QA_PREBUILT="*"
+
+src_prepare() {
+	default
+
+	# Remove bundled z3.
+	# NOTICE: New versions do not need the bundled one but older versions
+	# hardcoded the path relative to "dafny" binary.
+	# While bumping make sure to verify that system's "z3" is used
+	# by, for example, compiling/verifying a simple dafny program.
+	rm -r z3 || die
+}
+
+src_install() {
+	local dest=/opt/dafny
+
+	insinto ${dest}
+	# Maybe too general, but this installation mode matched how it arrives.
+	insopts -m0755
+	doins "${S}"/*
+
+	local bin
+	for bin in DafnyServer dafny ; do
+		dosym ../../${dest}/${bin} /usr/bin/${bin}
+	done
+
+	# Make "dafny-server" clients happy.
+	dosym -r /${dest}/DafnyServer /usr/bin/dafny-server
+}


^ permalink raw reply related	[flat|nested] 45+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2024-03-20 19:30 Maciej Barć
  0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2024-03-20 19:30 UTC (permalink / raw
  To: gentoo-commits

commit:     1d862d7b3db2d20803939f6cd34d9bfaa11f2846
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Wed Mar 20 17:57:03 2024 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Wed Mar 20 19:30:52 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1d862d7b

dev-lang/dafny-bin: drop old 4.3.0

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

 dev-lang/dafny-bin/Manifest               |  1 -
 dev-lang/dafny-bin/dafny-bin-4.3.0.ebuild | 53 -------------------------------
 2 files changed, 54 deletions(-)

diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index 068d19e51c16..ee5052787c8e 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,2 +1 @@
-DIST dafny-4.3.0-x64-ubuntu-20.04.zip 62691627 BLAKE2B edbff278472e5b0494fac38907adefa8fcfb94c3675df828e9ee022429d9595eed398d95333b223a70040ed69f07682e8aeaf90978f7466f4b9a412207d54d58 SHA512 14a861a6b0b55ee71db08f4c73e741fd92e5433d62411a2b17b177470b23148e288d835f80c2bdb388297f37be249b8a47bd3f83c2268082248f27d218b9cb9a
 DIST dafny-4.4.0-x64-ubuntu-20.04.zip 62873378 BLAKE2B ee471dfc0be515949bc3ec18cd46705ce35c7a0b43b8ffc35e7754cef57a3e9351b7e937b6735319d6255407b6cb46b4c0c69eab5a573fdf7671055efe3988b8 SHA512 acfd643bdf3dba7377fde8d36f3c7bfff27b575fbc212d02974958ad38fe433870128525ff22f9a76d4b1602d5253794409ce834b67c52571d395a737fc24471

diff --git a/dev-lang/dafny-bin/dafny-bin-4.3.0.ebuild b/dev-lang/dafny-bin/dafny-bin-4.3.0.ebuild
deleted file mode 100644
index 837359bcd1a2..000000000000
--- a/dev-lang/dafny-bin/dafny-bin-4.3.0.ebuild
+++ /dev/null
@@ -1,53 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-DESCRIPTION="Verification-aware programming language"
-HOMEPAGE="https://dafny.org/
-	https://github.com/dafny-lang/dafny/"
-SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV}-x64-ubuntu-20.04.zip"
-
-LICENSE="MIT"
-SLOT="0"
-KEYWORDS="-* amd64"
-REQUIRED_USE="elibc_glibc"
-
-RDEPEND="
-	!dev-lang/dafny
-	dev-libs/userspace-rcu
-	dev-util/lttng-ust:0/2.12
-	sci-mathematics/z3
-"
-BDEPEND="app-arch/unzip"
-
-S="${WORKDIR}/dafny"
-QA_PREBUILT="*"
-
-src_prepare() {
-	default
-
-	# Remove bundled z3.
-	# NOTICE: New versions do not need the bundled one but older versions
-	# hardcoded the path relative to "dafny" binary.
-	# While bumping make sure to verify that system's "z3" is used
-	# by, for example, compiling/verifying a simple dafny program.
-	rm -r z3 || die
-}
-
-src_install() {
-	local dest=/opt/dafny
-
-	insinto ${dest}
-	# Maybe too general, but this installation mode matched how it arrives.
-	insopts -m0755
-	doins "${S}"/*
-
-	local bin
-	for bin in DafnyServer dafny ; do
-		dosym ../../${dest}/${bin} /usr/bin/${bin}
-	done
-
-	# Make "dafny-server" clients happy.
-	dosym ../../${dest}/DafnyServer /usr/bin/dafny-server
-}


^ permalink raw reply related	[flat|nested] 45+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2024-01-18 17:25 Sam James
  0 siblings, 0 replies; 45+ messages in thread
From: Sam James @ 2024-01-18 17:25 UTC (permalink / raw
  To: gentoo-commits

commit:     cc7a90f1b38c685e4e031ebc8180fa381a47c1ad
Author:     Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Thu Jan 18 17:23:45 2024 +0000
Commit:     Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Thu Jan 18 17:23:45 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cc7a90f1

dev-lang/dafny-bin: Stabilize 4.4.0 amd64, #922369

Signed-off-by: Sam James <sam <AT> gentoo.org>

 dev-lang/dafny-bin/dafny-bin-4.4.0.ebuild | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dev-lang/dafny-bin/dafny-bin-4.4.0.ebuild b/dev-lang/dafny-bin/dafny-bin-4.4.0.ebuild
index 0f5cd85b46af..65340016815f 100644
--- a/dev-lang/dafny-bin/dafny-bin-4.4.0.ebuild
+++ b/dev-lang/dafny-bin/dafny-bin-4.4.0.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
@@ -10,7 +10,7 @@ SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV
 
 LICENSE="MIT"
 SLOT="0"
-KEYWORDS="-* ~amd64"
+KEYWORDS="-* amd64"
 REQUIRED_USE="elibc_glibc"
 
 RDEPEND="


^ permalink raw reply related	[flat|nested] 45+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2023-12-13  2:27 Maciej Barć
  0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2023-12-13  2:27 UTC (permalink / raw
  To: gentoo-commits

commit:     feb6baf08a9e8c5add0704f76a352357c3afbd46
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Wed Dec 13 00:23:26 2023 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Wed Dec 13 02:27:11 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=feb6baf0

dev-lang/dafny-bin: bump to 4.4.0

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

 dev-lang/dafny-bin/Manifest               |  1 +
 dev-lang/dafny-bin/dafny-bin-4.4.0.ebuild | 53 +++++++++++++++++++++++++++++++
 2 files changed, 54 insertions(+)

diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index 45119733bd18..068d19e51c16 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1 +1,2 @@
 DIST dafny-4.3.0-x64-ubuntu-20.04.zip 62691627 BLAKE2B edbff278472e5b0494fac38907adefa8fcfb94c3675df828e9ee022429d9595eed398d95333b223a70040ed69f07682e8aeaf90978f7466f4b9a412207d54d58 SHA512 14a861a6b0b55ee71db08f4c73e741fd92e5433d62411a2b17b177470b23148e288d835f80c2bdb388297f37be249b8a47bd3f83c2268082248f27d218b9cb9a
+DIST dafny-4.4.0-x64-ubuntu-20.04.zip 62873378 BLAKE2B ee471dfc0be515949bc3ec18cd46705ce35c7a0b43b8ffc35e7754cef57a3e9351b7e937b6735319d6255407b6cb46b4c0c69eab5a573fdf7671055efe3988b8 SHA512 acfd643bdf3dba7377fde8d36f3c7bfff27b575fbc212d02974958ad38fe433870128525ff22f9a76d4b1602d5253794409ce834b67c52571d395a737fc24471

diff --git a/dev-lang/dafny-bin/dafny-bin-4.4.0.ebuild b/dev-lang/dafny-bin/dafny-bin-4.4.0.ebuild
new file mode 100644
index 000000000000..0f5cd85b46af
--- /dev/null
+++ b/dev-lang/dafny-bin/dafny-bin-4.4.0.ebuild
@@ -0,0 +1,53 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+DESCRIPTION="Verification-aware programming language"
+HOMEPAGE="https://dafny.org/
+	https://github.com/dafny-lang/dafny/"
+SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV}-x64-ubuntu-20.04.zip"
+
+LICENSE="MIT"
+SLOT="0"
+KEYWORDS="-* ~amd64"
+REQUIRED_USE="elibc_glibc"
+
+RDEPEND="
+	!dev-lang/dafny
+	dev-libs/userspace-rcu
+	dev-util/lttng-ust:0/2.12
+	sci-mathematics/z3
+"
+BDEPEND="app-arch/unzip"
+
+S="${WORKDIR}/dafny"
+QA_PREBUILT="*"
+
+src_prepare() {
+	default
+
+	# Remove bundled z3.
+	# NOTICE: New versions do not need the bundled one but older versions
+	# hardcoded the path relative to "dafny" binary.
+	# While bumping make sure to verify that system's "z3" is used
+	# by, for example, compiling/verifying a simple dafny program.
+	rm -r z3 || die
+}
+
+src_install() {
+	local dest=/opt/dafny
+
+	insinto ${dest}
+	# Maybe too general, but this installation mode matched how it arrives.
+	insopts -m0755
+	doins "${S}"/*
+
+	local bin
+	for bin in DafnyServer dafny ; do
+		dosym ../../${dest}/${bin} /usr/bin/${bin}
+	done
+
+	# Make "dafny-server" clients happy.
+	dosym ../../${dest}/DafnyServer /usr/bin/dafny-server
+}


^ permalink raw reply related	[flat|nested] 45+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2023-11-15 19:27 Maciej Barć
  0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2023-11-15 19:27 UTC (permalink / raw
  To: gentoo-commits

commit:     6200b24b8feef47380a433338034df6d190a79cc
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Wed Nov 15 15:17:14 2023 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Wed Nov 15 19:27:16 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6200b24b

dev-lang/dafny-bin: drop old 4.2.0

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

 dev-lang/dafny-bin/Manifest               |  1 -
 dev-lang/dafny-bin/dafny-bin-4.2.0.ebuild | 53 -------------------------------
 2 files changed, 54 deletions(-)

diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index f59f22927c2a..45119733bd18 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,2 +1 @@
-DIST dafny-4.2.0-x64-ubuntu-20.04.zip 62475183 BLAKE2B d8be842c80bf0cbaaf6fb6b56c8a57f5a45b54dd1b1020fb5062a01ce4d5366bf2ff7a7847d1bdcd9a1217300cded0af0c88d1c6871d4b039178517c8f618dc3 SHA512 86a91592af1b386130855ed73bfb60ec2362bdcadacac43b27a4b2cc36dd6f0894508242357659f7a5120c66ba6438fe23acaef3a65dfbd0912d2438c851a7ca
 DIST dafny-4.3.0-x64-ubuntu-20.04.zip 62691627 BLAKE2B edbff278472e5b0494fac38907adefa8fcfb94c3675df828e9ee022429d9595eed398d95333b223a70040ed69f07682e8aeaf90978f7466f4b9a412207d54d58 SHA512 14a861a6b0b55ee71db08f4c73e741fd92e5433d62411a2b17b177470b23148e288d835f80c2bdb388297f37be249b8a47bd3f83c2268082248f27d218b9cb9a

diff --git a/dev-lang/dafny-bin/dafny-bin-4.2.0.ebuild b/dev-lang/dafny-bin/dafny-bin-4.2.0.ebuild
deleted file mode 100644
index 837359bcd1a2..000000000000
--- a/dev-lang/dafny-bin/dafny-bin-4.2.0.ebuild
+++ /dev/null
@@ -1,53 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-DESCRIPTION="Verification-aware programming language"
-HOMEPAGE="https://dafny.org/
-	https://github.com/dafny-lang/dafny/"
-SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV}-x64-ubuntu-20.04.zip"
-
-LICENSE="MIT"
-SLOT="0"
-KEYWORDS="-* amd64"
-REQUIRED_USE="elibc_glibc"
-
-RDEPEND="
-	!dev-lang/dafny
-	dev-libs/userspace-rcu
-	dev-util/lttng-ust:0/2.12
-	sci-mathematics/z3
-"
-BDEPEND="app-arch/unzip"
-
-S="${WORKDIR}/dafny"
-QA_PREBUILT="*"
-
-src_prepare() {
-	default
-
-	# Remove bundled z3.
-	# NOTICE: New versions do not need the bundled one but older versions
-	# hardcoded the path relative to "dafny" binary.
-	# While bumping make sure to verify that system's "z3" is used
-	# by, for example, compiling/verifying a simple dafny program.
-	rm -r z3 || die
-}
-
-src_install() {
-	local dest=/opt/dafny
-
-	insinto ${dest}
-	# Maybe too general, but this installation mode matched how it arrives.
-	insopts -m0755
-	doins "${S}"/*
-
-	local bin
-	for bin in DafnyServer dafny ; do
-		dosym ../../${dest}/${bin} /usr/bin/${bin}
-	done
-
-	# Make "dafny-server" clients happy.
-	dosym ../../${dest}/DafnyServer /usr/bin/dafny-server
-}


^ permalink raw reply related	[flat|nested] 45+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2023-11-15 19:27 Maciej Barć
  0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2023-11-15 19:27 UTC (permalink / raw
  To: gentoo-commits

commit:     b4771e882e42045e84a758a7b27a5f602a47e550
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Wed Nov 15 15:17:05 2023 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Wed Nov 15 19:27:15 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b4771e88

dev-lang/dafny-bin: drop old 3.12.0

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

 dev-lang/dafny-bin/Manifest                |  1 -
 dev-lang/dafny-bin/dafny-bin-3.12.0.ebuild | 51 ------------------------------
 2 files changed, 52 deletions(-)

diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index eb1839c5ec9f..f59f22927c2a 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,3 +1,2 @@
-DIST dafny-3.12.0-x64-ubuntu-16.04.zip 76588835 BLAKE2B 144928b5e9a32c770d4552be31373defd1153a7ce481aa3948c5fe6c30ff2ce5f20b3d057a587c7762f3c37d63f683275fcf60bbd4ca3754f8713132b3bdfdc9 SHA512 2ea5f97b4fe0f8aaeefd16f739306482824f76ae6c5a37038fedda60bacb2496abc02715c0973a05f845972fd81aeb06e62c3c41d6908c2cf7416006ce8519d4
 DIST dafny-4.2.0-x64-ubuntu-20.04.zip 62475183 BLAKE2B d8be842c80bf0cbaaf6fb6b56c8a57f5a45b54dd1b1020fb5062a01ce4d5366bf2ff7a7847d1bdcd9a1217300cded0af0c88d1c6871d4b039178517c8f618dc3 SHA512 86a91592af1b386130855ed73bfb60ec2362bdcadacac43b27a4b2cc36dd6f0894508242357659f7a5120c66ba6438fe23acaef3a65dfbd0912d2438c851a7ca
 DIST dafny-4.3.0-x64-ubuntu-20.04.zip 62691627 BLAKE2B edbff278472e5b0494fac38907adefa8fcfb94c3675df828e9ee022429d9595eed398d95333b223a70040ed69f07682e8aeaf90978f7466f4b9a412207d54d58 SHA512 14a861a6b0b55ee71db08f4c73e741fd92e5433d62411a2b17b177470b23148e288d835f80c2bdb388297f37be249b8a47bd3f83c2268082248f27d218b9cb9a

diff --git a/dev-lang/dafny-bin/dafny-bin-3.12.0.ebuild b/dev-lang/dafny-bin/dafny-bin-3.12.0.ebuild
deleted file mode 100644
index 5e486ad54705..000000000000
--- a/dev-lang/dafny-bin/dafny-bin-3.12.0.ebuild
+++ /dev/null
@@ -1,51 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-DESCRIPTION="Verification-aware programming language"
-HOMEPAGE="https://dafny.org/"
-SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV}-x64-ubuntu-16.04.zip"
-
-LICENSE="MIT"
-SLOT="0"
-KEYWORDS="-* amd64"
-REQUIRED_USE="elibc_glibc"
-
-RDEPEND="
-	dev-libs/userspace-rcu
-	dev-util/lttng-ust:0/2.12
-	sci-mathematics/z3
-"
-BDEPEND="app-arch/unzip"
-
-S="${WORKDIR}"/dafny
-QA_PREBUILT="*"
-
-src_prepare() {
-	default
-
-	# Remove bundled z3.
-	# NOTICE: New versions do not need the bundled one but older versions
-	# hardcoded the path relative to "dafny" binary.
-	# While bumping make sure to verify that system's "z3" is used
-	# by, for example, compiling/verifying a simple dafny program.
-	rm -r z3 || die
-}
-
-src_install() {
-	local dest=/opt/dafny
-
-	insinto ${dest}
-	# Maybe too general, but this installation mode matched how it arrives.
-	insopts -m0755
-	doins "${S}"/*
-
-	local bin
-	for bin in DafnyServer dafny ; do
-		dosym ../../${dest}/${bin} /usr/bin/${bin}
-	done
-
-	# Make "dafny-server" clients happy.
-	dosym ../../${dest}/DafnyServer /usr/bin/dafny-server
-}


^ permalink raw reply related	[flat|nested] 45+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2023-11-13 19:53 Sam James
  0 siblings, 0 replies; 45+ messages in thread
From: Sam James @ 2023-11-13 19:53 UTC (permalink / raw
  To: gentoo-commits

commit:     fc92ca212e78404d3fb188618ea40dcce6b4a162
Author:     Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Mon Nov 13 19:52:34 2023 +0000
Commit:     Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Mon Nov 13 19:52:34 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=fc92ca21

dev-lang/dafny-bin: Stabilize 4.3.0 amd64, #917301

Signed-off-by: Sam James <sam <AT> gentoo.org>

 dev-lang/dafny-bin/dafny-bin-4.3.0.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-lang/dafny-bin/dafny-bin-4.3.0.ebuild b/dev-lang/dafny-bin/dafny-bin-4.3.0.ebuild
index 0f5cd85b46af..837359bcd1a2 100644
--- a/dev-lang/dafny-bin/dafny-bin-4.3.0.ebuild
+++ b/dev-lang/dafny-bin/dafny-bin-4.3.0.ebuild
@@ -10,7 +10,7 @@ SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV
 
 LICENSE="MIT"
 SLOT="0"
-KEYWORDS="-* ~amd64"
+KEYWORDS="-* amd64"
 REQUIRED_USE="elibc_glibc"
 
 RDEPEND="


^ permalink raw reply related	[flat|nested] 45+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2023-10-28 16:48 Arthur Zamarin
  0 siblings, 0 replies; 45+ messages in thread
From: Arthur Zamarin @ 2023-10-28 16:48 UTC (permalink / raw
  To: gentoo-commits

commit:     272b8e82d6f45a577acae833794e02d0908da3e5
Author:     Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Sat Oct 28 16:48:06 2023 +0000
Commit:     Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Sat Oct 28 16:48:06 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=272b8e82

dev-lang/dafny-bin: Stabilize 4.2.0 amd64, #916395

Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>

 dev-lang/dafny-bin/dafny-bin-4.2.0.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-lang/dafny-bin/dafny-bin-4.2.0.ebuild b/dev-lang/dafny-bin/dafny-bin-4.2.0.ebuild
index 0f5cd85b46af..837359bcd1a2 100644
--- a/dev-lang/dafny-bin/dafny-bin-4.2.0.ebuild
+++ b/dev-lang/dafny-bin/dafny-bin-4.2.0.ebuild
@@ -10,7 +10,7 @@ SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV
 
 LICENSE="MIT"
 SLOT="0"
-KEYWORDS="-* ~amd64"
+KEYWORDS="-* amd64"
 REQUIRED_USE="elibc_glibc"
 
 RDEPEND="


^ permalink raw reply related	[flat|nested] 45+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2023-09-30 14:24 Maciej Barć
  0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2023-09-30 14:24 UTC (permalink / raw
  To: gentoo-commits

commit:     d480aaec2cb9acedec8dfab023dad602d68923c0
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sat Sep 30 12:53:23 2023 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Sep 30 14:24:27 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d480aaec

dev-lang/dafny-bin: bump to 4.3.0

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

 dev-lang/dafny-bin/Manifest               |  1 +
 dev-lang/dafny-bin/dafny-bin-4.3.0.ebuild | 53 +++++++++++++++++++++++++++++++
 2 files changed, 54 insertions(+)

diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index c646a4d3bec6..eb1839c5ec9f 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,2 +1,3 @@
 DIST dafny-3.12.0-x64-ubuntu-16.04.zip 76588835 BLAKE2B 144928b5e9a32c770d4552be31373defd1153a7ce481aa3948c5fe6c30ff2ce5f20b3d057a587c7762f3c37d63f683275fcf60bbd4ca3754f8713132b3bdfdc9 SHA512 2ea5f97b4fe0f8aaeefd16f739306482824f76ae6c5a37038fedda60bacb2496abc02715c0973a05f845972fd81aeb06e62c3c41d6908c2cf7416006ce8519d4
 DIST dafny-4.2.0-x64-ubuntu-20.04.zip 62475183 BLAKE2B d8be842c80bf0cbaaf6fb6b56c8a57f5a45b54dd1b1020fb5062a01ce4d5366bf2ff7a7847d1bdcd9a1217300cded0af0c88d1c6871d4b039178517c8f618dc3 SHA512 86a91592af1b386130855ed73bfb60ec2362bdcadacac43b27a4b2cc36dd6f0894508242357659f7a5120c66ba6438fe23acaef3a65dfbd0912d2438c851a7ca
+DIST dafny-4.3.0-x64-ubuntu-20.04.zip 62691627 BLAKE2B edbff278472e5b0494fac38907adefa8fcfb94c3675df828e9ee022429d9595eed398d95333b223a70040ed69f07682e8aeaf90978f7466f4b9a412207d54d58 SHA512 14a861a6b0b55ee71db08f4c73e741fd92e5433d62411a2b17b177470b23148e288d835f80c2bdb388297f37be249b8a47bd3f83c2268082248f27d218b9cb9a

diff --git a/dev-lang/dafny-bin/dafny-bin-4.3.0.ebuild b/dev-lang/dafny-bin/dafny-bin-4.3.0.ebuild
new file mode 100644
index 000000000000..0f5cd85b46af
--- /dev/null
+++ b/dev-lang/dafny-bin/dafny-bin-4.3.0.ebuild
@@ -0,0 +1,53 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+DESCRIPTION="Verification-aware programming language"
+HOMEPAGE="https://dafny.org/
+	https://github.com/dafny-lang/dafny/"
+SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV}-x64-ubuntu-20.04.zip"
+
+LICENSE="MIT"
+SLOT="0"
+KEYWORDS="-* ~amd64"
+REQUIRED_USE="elibc_glibc"
+
+RDEPEND="
+	!dev-lang/dafny
+	dev-libs/userspace-rcu
+	dev-util/lttng-ust:0/2.12
+	sci-mathematics/z3
+"
+BDEPEND="app-arch/unzip"
+
+S="${WORKDIR}/dafny"
+QA_PREBUILT="*"
+
+src_prepare() {
+	default
+
+	# Remove bundled z3.
+	# NOTICE: New versions do not need the bundled one but older versions
+	# hardcoded the path relative to "dafny" binary.
+	# While bumping make sure to verify that system's "z3" is used
+	# by, for example, compiling/verifying a simple dafny program.
+	rm -r z3 || die
+}
+
+src_install() {
+	local dest=/opt/dafny
+
+	insinto ${dest}
+	# Maybe too general, but this installation mode matched how it arrives.
+	insopts -m0755
+	doins "${S}"/*
+
+	local bin
+	for bin in DafnyServer dafny ; do
+		dosym ../../${dest}/${bin} /usr/bin/${bin}
+	done
+
+	# Make "dafny-server" clients happy.
+	dosym ../../${dest}/DafnyServer /usr/bin/dafny-server
+}


^ permalink raw reply related	[flat|nested] 45+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2023-09-30 14:24 Maciej Barć
  0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2023-09-30 14:24 UTC (permalink / raw
  To: gentoo-commits

commit:     feb188f13d40fea50569f3e4fe0fa1b49460b883
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sat Sep 30 12:52:39 2023 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Sep 30 14:24:27 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=feb188f1

dev-lang/dafny-bin: drop old 3.10.0

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

 dev-lang/dafny-bin/Manifest                |  1 -
 dev-lang/dafny-bin/dafny-bin-3.10.0.ebuild | 51 ------------------------------
 2 files changed, 52 deletions(-)

diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index a23e46ecac93..c646a4d3bec6 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,3 +1,2 @@
-DIST dafny-3.10.0-x64-ubuntu-16.04.zip 76468200 BLAKE2B d3b35260fca709f1808ec47874f5566dd2fc42af9a43354a97b86b8962b1b15c95df10f25fa8f0d6a12c83f5c12569aa981d56b796aeb1fd7563fc59c62d4259 SHA512 3f8e669025fd655a7709334876652176b3dce1eb980f1f797cf829fa53b125129a66a175d3a4fcc56aa276e28661c6d795ccc01901d0e457bdac754b29382ca3
 DIST dafny-3.12.0-x64-ubuntu-16.04.zip 76588835 BLAKE2B 144928b5e9a32c770d4552be31373defd1153a7ce481aa3948c5fe6c30ff2ce5f20b3d057a587c7762f3c37d63f683275fcf60bbd4ca3754f8713132b3bdfdc9 SHA512 2ea5f97b4fe0f8aaeefd16f739306482824f76ae6c5a37038fedda60bacb2496abc02715c0973a05f845972fd81aeb06e62c3c41d6908c2cf7416006ce8519d4
 DIST dafny-4.2.0-x64-ubuntu-20.04.zip 62475183 BLAKE2B d8be842c80bf0cbaaf6fb6b56c8a57f5a45b54dd1b1020fb5062a01ce4d5366bf2ff7a7847d1bdcd9a1217300cded0af0c88d1c6871d4b039178517c8f618dc3 SHA512 86a91592af1b386130855ed73bfb60ec2362bdcadacac43b27a4b2cc36dd6f0894508242357659f7a5120c66ba6438fe23acaef3a65dfbd0912d2438c851a7ca

diff --git a/dev-lang/dafny-bin/dafny-bin-3.10.0.ebuild b/dev-lang/dafny-bin/dafny-bin-3.10.0.ebuild
deleted file mode 100644
index 5e486ad54705..000000000000
--- a/dev-lang/dafny-bin/dafny-bin-3.10.0.ebuild
+++ /dev/null
@@ -1,51 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-DESCRIPTION="Verification-aware programming language"
-HOMEPAGE="https://dafny.org/"
-SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV}-x64-ubuntu-16.04.zip"
-
-LICENSE="MIT"
-SLOT="0"
-KEYWORDS="-* amd64"
-REQUIRED_USE="elibc_glibc"
-
-RDEPEND="
-	dev-libs/userspace-rcu
-	dev-util/lttng-ust:0/2.12
-	sci-mathematics/z3
-"
-BDEPEND="app-arch/unzip"
-
-S="${WORKDIR}"/dafny
-QA_PREBUILT="*"
-
-src_prepare() {
-	default
-
-	# Remove bundled z3.
-	# NOTICE: New versions do not need the bundled one but older versions
-	# hardcoded the path relative to "dafny" binary.
-	# While bumping make sure to verify that system's "z3" is used
-	# by, for example, compiling/verifying a simple dafny program.
-	rm -r z3 || die
-}
-
-src_install() {
-	local dest=/opt/dafny
-
-	insinto ${dest}
-	# Maybe too general, but this installation mode matched how it arrives.
-	insopts -m0755
-	doins "${S}"/*
-
-	local bin
-	for bin in DafnyServer dafny ; do
-		dosym ../../${dest}/${bin} /usr/bin/${bin}
-	done
-
-	# Make "dafny-server" clients happy.
-	dosym ../../${dest}/DafnyServer /usr/bin/dafny-server
-}


^ permalink raw reply related	[flat|nested] 45+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2023-09-18  0:17 Sam James
  0 siblings, 0 replies; 45+ messages in thread
From: Sam James @ 2023-09-18  0:17 UTC (permalink / raw
  To: gentoo-commits

commit:     c12b53ccd6db80a581f8f2bbb26efef52704a0ca
Author:     Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Mon Sep 18 00:17:45 2023 +0000
Commit:     Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Mon Sep 18 00:17:45 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c12b53cc

dev-lang/dafny-bin: Stabilize 3.12.0 amd64, #914366

Signed-off-by: Sam James <sam <AT> gentoo.org>

 dev-lang/dafny-bin/dafny-bin-3.12.0.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-lang/dafny-bin/dafny-bin-3.12.0.ebuild b/dev-lang/dafny-bin/dafny-bin-3.12.0.ebuild
index 1d1588371688..5e486ad54705 100644
--- a/dev-lang/dafny-bin/dafny-bin-3.12.0.ebuild
+++ b/dev-lang/dafny-bin/dafny-bin-3.12.0.ebuild
@@ -9,7 +9,7 @@ SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV
 
 LICENSE="MIT"
 SLOT="0"
-KEYWORDS="-* ~amd64"
+KEYWORDS="-* amd64"
 REQUIRED_USE="elibc_glibc"
 
 RDEPEND="


^ permalink raw reply related	[flat|nested] 45+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2023-09-17 19:32 Maciej Barć
  0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2023-09-17 19:32 UTC (permalink / raw
  To: gentoo-commits

commit:     8db61c6368da21e397ff2fbd9a7157c917a88a25
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sun Sep 17 09:42:22 2023 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sun Sep 17 19:20:28 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8db61c63

dev-lang/dafny-bin: bump to 4.2.0

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

 dev-lang/dafny-bin/Manifest               |  1 +
 dev-lang/dafny-bin/dafny-bin-4.2.0.ebuild | 53 +++++++++++++++++++++++++++++++
 2 files changed, 54 insertions(+)

diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index 39e39c3242c6..a23e46ecac93 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,2 +1,3 @@
 DIST dafny-3.10.0-x64-ubuntu-16.04.zip 76468200 BLAKE2B d3b35260fca709f1808ec47874f5566dd2fc42af9a43354a97b86b8962b1b15c95df10f25fa8f0d6a12c83f5c12569aa981d56b796aeb1fd7563fc59c62d4259 SHA512 3f8e669025fd655a7709334876652176b3dce1eb980f1f797cf829fa53b125129a66a175d3a4fcc56aa276e28661c6d795ccc01901d0e457bdac754b29382ca3
 DIST dafny-3.12.0-x64-ubuntu-16.04.zip 76588835 BLAKE2B 144928b5e9a32c770d4552be31373defd1153a7ce481aa3948c5fe6c30ff2ce5f20b3d057a587c7762f3c37d63f683275fcf60bbd4ca3754f8713132b3bdfdc9 SHA512 2ea5f97b4fe0f8aaeefd16f739306482824f76ae6c5a37038fedda60bacb2496abc02715c0973a05f845972fd81aeb06e62c3c41d6908c2cf7416006ce8519d4
+DIST dafny-4.2.0-x64-ubuntu-20.04.zip 62475183 BLAKE2B d8be842c80bf0cbaaf6fb6b56c8a57f5a45b54dd1b1020fb5062a01ce4d5366bf2ff7a7847d1bdcd9a1217300cded0af0c88d1c6871d4b039178517c8f618dc3 SHA512 86a91592af1b386130855ed73bfb60ec2362bdcadacac43b27a4b2cc36dd6f0894508242357659f7a5120c66ba6438fe23acaef3a65dfbd0912d2438c851a7ca

diff --git a/dev-lang/dafny-bin/dafny-bin-4.2.0.ebuild b/dev-lang/dafny-bin/dafny-bin-4.2.0.ebuild
new file mode 100644
index 000000000000..0f5cd85b46af
--- /dev/null
+++ b/dev-lang/dafny-bin/dafny-bin-4.2.0.ebuild
@@ -0,0 +1,53 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+DESCRIPTION="Verification-aware programming language"
+HOMEPAGE="https://dafny.org/
+	https://github.com/dafny-lang/dafny/"
+SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV}-x64-ubuntu-20.04.zip"
+
+LICENSE="MIT"
+SLOT="0"
+KEYWORDS="-* ~amd64"
+REQUIRED_USE="elibc_glibc"
+
+RDEPEND="
+	!dev-lang/dafny
+	dev-libs/userspace-rcu
+	dev-util/lttng-ust:0/2.12
+	sci-mathematics/z3
+"
+BDEPEND="app-arch/unzip"
+
+S="${WORKDIR}/dafny"
+QA_PREBUILT="*"
+
+src_prepare() {
+	default
+
+	# Remove bundled z3.
+	# NOTICE: New versions do not need the bundled one but older versions
+	# hardcoded the path relative to "dafny" binary.
+	# While bumping make sure to verify that system's "z3" is used
+	# by, for example, compiling/verifying a simple dafny program.
+	rm -r z3 || die
+}
+
+src_install() {
+	local dest=/opt/dafny
+
+	insinto ${dest}
+	# Maybe too general, but this installation mode matched how it arrives.
+	insopts -m0755
+	doins "${S}"/*
+
+	local bin
+	for bin in DafnyServer dafny ; do
+		dosym ../../${dest}/${bin} /usr/bin/${bin}
+	done
+
+	# Make "dafny-server" clients happy.
+	dosym ../../${dest}/DafnyServer /usr/bin/dafny-server
+}


^ permalink raw reply related	[flat|nested] 45+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2023-09-16 14:48 Maciej Barć
  0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2023-09-16 14:48 UTC (permalink / raw
  To: gentoo-commits

commit:     94685dc4b8f757f2c0d221182ccc028d613ae13f
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sat Sep 16 14:45:59 2023 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Sep 16 14:47:36 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=94685dc4

dev-lang/dafny-bin: drop old 3.11.0

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

 dev-lang/dafny-bin/Manifest                |  1 -
 dev-lang/dafny-bin/dafny-bin-3.11.0.ebuild | 51 ------------------------------
 2 files changed, 52 deletions(-)

diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index 441e6fd1dd8d..39e39c3242c6 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,3 +1,2 @@
 DIST dafny-3.10.0-x64-ubuntu-16.04.zip 76468200 BLAKE2B d3b35260fca709f1808ec47874f5566dd2fc42af9a43354a97b86b8962b1b15c95df10f25fa8f0d6a12c83f5c12569aa981d56b796aeb1fd7563fc59c62d4259 SHA512 3f8e669025fd655a7709334876652176b3dce1eb980f1f797cf829fa53b125129a66a175d3a4fcc56aa276e28661c6d795ccc01901d0e457bdac754b29382ca3
-DIST dafny-3.11.0-x64-ubuntu-16.04.zip 76510888 BLAKE2B 03591064f7af8971c5e175b4538c1344d6fd09c4ca2f3c52fef65af424d5fe462112f3853a59a0d3e84bf5945290b3b088472378577cb0881cf8129401606148 SHA512 0535151b0622f70b49457f1eaaa15c031b5ade5e44e64e79a6c6d1c46b9c2fed155f8da72274f8b8dd7815130ce80bd2b7af8a28d9423ebefde80d8cda1d12bb
 DIST dafny-3.12.0-x64-ubuntu-16.04.zip 76588835 BLAKE2B 144928b5e9a32c770d4552be31373defd1153a7ce481aa3948c5fe6c30ff2ce5f20b3d057a587c7762f3c37d63f683275fcf60bbd4ca3754f8713132b3bdfdc9 SHA512 2ea5f97b4fe0f8aaeefd16f739306482824f76ae6c5a37038fedda60bacb2496abc02715c0973a05f845972fd81aeb06e62c3c41d6908c2cf7416006ce8519d4

diff --git a/dev-lang/dafny-bin/dafny-bin-3.11.0.ebuild b/dev-lang/dafny-bin/dafny-bin-3.11.0.ebuild
deleted file mode 100644
index 1d1588371688..000000000000
--- a/dev-lang/dafny-bin/dafny-bin-3.11.0.ebuild
+++ /dev/null
@@ -1,51 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-DESCRIPTION="Verification-aware programming language"
-HOMEPAGE="https://dafny.org/"
-SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV}-x64-ubuntu-16.04.zip"
-
-LICENSE="MIT"
-SLOT="0"
-KEYWORDS="-* ~amd64"
-REQUIRED_USE="elibc_glibc"
-
-RDEPEND="
-	dev-libs/userspace-rcu
-	dev-util/lttng-ust:0/2.12
-	sci-mathematics/z3
-"
-BDEPEND="app-arch/unzip"
-
-S="${WORKDIR}"/dafny
-QA_PREBUILT="*"
-
-src_prepare() {
-	default
-
-	# Remove bundled z3.
-	# NOTICE: New versions do not need the bundled one but older versions
-	# hardcoded the path relative to "dafny" binary.
-	# While bumping make sure to verify that system's "z3" is used
-	# by, for example, compiling/verifying a simple dafny program.
-	rm -r z3 || die
-}
-
-src_install() {
-	local dest=/opt/dafny
-
-	insinto ${dest}
-	# Maybe too general, but this installation mode matched how it arrives.
-	insopts -m0755
-	doins "${S}"/*
-
-	local bin
-	for bin in DafnyServer dafny ; do
-		dosym ../../${dest}/${bin} /usr/bin/${bin}
-	done
-
-	# Make "dafny-server" clients happy.
-	dosym ../../${dest}/DafnyServer /usr/bin/dafny-server
-}


^ permalink raw reply related	[flat|nested] 45+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2023-02-28 18:03 Maciej Barć
  0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2023-02-28 18:03 UTC (permalink / raw
  To: gentoo-commits

commit:     dedd1cff904a0c1610751ddbba1ac2e2f34bbd07
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Tue Feb 28 17:07:29 2023 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Tue Feb 28 18:03:17 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=dedd1cff

dev-lang/dafny-bin: switch maint to dotnet <AT> gentoo.org

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

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

diff --git a/dev-lang/dafny-bin/metadata.xml b/dev-lang/dafny-bin/metadata.xml
index f0b8fd07b684..9533d79f1088 100644
--- a/dev-lang/dafny-bin/metadata.xml
+++ b/dev-lang/dafny-bin/metadata.xml
@@ -2,9 +2,9 @@
 <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
 
 <pkgmetadata>
-  <maintainer type="person">
-    <email>xgqt@gentoo.org</email>
-    <name>Maciej Barć</name>
+  <maintainer type="project">
+    <email>dotnet@gentoo.org</email>
+    <name>Gentoo Dotnet Project</name>
   </maintainer>
   <longdescription>
     Dafny is a verification-ready programming language. As you type in your


^ permalink raw reply related	[flat|nested] 45+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2023-02-21 23:54 Maciej Barć
  0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2023-02-21 23:54 UTC (permalink / raw
  To: gentoo-commits

commit:     76fc122086248e94e1c1b416f2a0e790b69925ce
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Tue Feb 21 21:25:26 2023 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Tue Feb 21 23:53:59 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=76fc1220

dev-lang/dafny-bin: bump to 3.12.0

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

 dev-lang/dafny-bin/Manifest                |  1 +
 dev-lang/dafny-bin/dafny-bin-3.12.0.ebuild | 51 ++++++++++++++++++++++++++++++
 2 files changed, 52 insertions(+)

diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index 71aec7bef6e6..441e6fd1dd8d 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,2 +1,3 @@
 DIST dafny-3.10.0-x64-ubuntu-16.04.zip 76468200 BLAKE2B d3b35260fca709f1808ec47874f5566dd2fc42af9a43354a97b86b8962b1b15c95df10f25fa8f0d6a12c83f5c12569aa981d56b796aeb1fd7563fc59c62d4259 SHA512 3f8e669025fd655a7709334876652176b3dce1eb980f1f797cf829fa53b125129a66a175d3a4fcc56aa276e28661c6d795ccc01901d0e457bdac754b29382ca3
 DIST dafny-3.11.0-x64-ubuntu-16.04.zip 76510888 BLAKE2B 03591064f7af8971c5e175b4538c1344d6fd09c4ca2f3c52fef65af424d5fe462112f3853a59a0d3e84bf5945290b3b088472378577cb0881cf8129401606148 SHA512 0535151b0622f70b49457f1eaaa15c031b5ade5e44e64e79a6c6d1c46b9c2fed155f8da72274f8b8dd7815130ce80bd2b7af8a28d9423ebefde80d8cda1d12bb
+DIST dafny-3.12.0-x64-ubuntu-16.04.zip 76588835 BLAKE2B 144928b5e9a32c770d4552be31373defd1153a7ce481aa3948c5fe6c30ff2ce5f20b3d057a587c7762f3c37d63f683275fcf60bbd4ca3754f8713132b3bdfdc9 SHA512 2ea5f97b4fe0f8aaeefd16f739306482824f76ae6c5a37038fedda60bacb2496abc02715c0973a05f845972fd81aeb06e62c3c41d6908c2cf7416006ce8519d4

diff --git a/dev-lang/dafny-bin/dafny-bin-3.12.0.ebuild b/dev-lang/dafny-bin/dafny-bin-3.12.0.ebuild
new file mode 100644
index 000000000000..1d1588371688
--- /dev/null
+++ b/dev-lang/dafny-bin/dafny-bin-3.12.0.ebuild
@@ -0,0 +1,51 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+DESCRIPTION="Verification-aware programming language"
+HOMEPAGE="https://dafny.org/"
+SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV}-x64-ubuntu-16.04.zip"
+
+LICENSE="MIT"
+SLOT="0"
+KEYWORDS="-* ~amd64"
+REQUIRED_USE="elibc_glibc"
+
+RDEPEND="
+	dev-libs/userspace-rcu
+	dev-util/lttng-ust:0/2.12
+	sci-mathematics/z3
+"
+BDEPEND="app-arch/unzip"
+
+S="${WORKDIR}"/dafny
+QA_PREBUILT="*"
+
+src_prepare() {
+	default
+
+	# Remove bundled z3.
+	# NOTICE: New versions do not need the bundled one but older versions
+	# hardcoded the path relative to "dafny" binary.
+	# While bumping make sure to verify that system's "z3" is used
+	# by, for example, compiling/verifying a simple dafny program.
+	rm -r z3 || die
+}
+
+src_install() {
+	local dest=/opt/dafny
+
+	insinto ${dest}
+	# Maybe too general, but this installation mode matched how it arrives.
+	insopts -m0755
+	doins "${S}"/*
+
+	local bin
+	for bin in DafnyServer dafny ; do
+		dosym ../../${dest}/${bin} /usr/bin/${bin}
+	done
+
+	# Make "dafny-server" clients happy.
+	dosym ../../${dest}/DafnyServer /usr/bin/dafny-server
+}


^ permalink raw reply related	[flat|nested] 45+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2023-02-01 19:38 Sam James
  0 siblings, 0 replies; 45+ messages in thread
From: Sam James @ 2023-02-01 19:38 UTC (permalink / raw
  To: gentoo-commits

commit:     9e268e67b7c3f4fed4ba0f7ad08317fdf852018a
Author:     Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Wed Feb  1 19:38:01 2023 +0000
Commit:     Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Wed Feb  1 19:38:07 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9e268e67

dev-lang/dafny-bin: Stabilize 3.10.0 amd64, #892820

Signed-off-by: Sam James <sam <AT> gentoo.org>

 dev-lang/dafny-bin/dafny-bin-3.10.0.ebuild | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dev-lang/dafny-bin/dafny-bin-3.10.0.ebuild b/dev-lang/dafny-bin/dafny-bin-3.10.0.ebuild
index 3571c06eeb55..5e486ad54705 100644
--- a/dev-lang/dafny-bin/dafny-bin-3.10.0.ebuild
+++ b/dev-lang/dafny-bin/dafny-bin-3.10.0.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2023 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=8
@@ -9,7 +9,7 @@ SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV
 
 LICENSE="MIT"
 SLOT="0"
-KEYWORDS="-* ~amd64"
+KEYWORDS="-* amd64"
 REQUIRED_USE="elibc_glibc"
 
 RDEPEND="


^ permalink raw reply related	[flat|nested] 45+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2023-02-01 14:10 Maciej Barć
  0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2023-02-01 14:10 UTC (permalink / raw
  To: gentoo-commits

commit:     a08c191b0d3b46b2f2fd9f106e5731d97fd7d029
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Wed Feb  1 13:31:25 2023 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Wed Feb  1 14:09:57 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a08c191b

dev-lang/dafny-bin: drop old 3.9.1-r1

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

 dev-lang/dafny-bin/Manifest                  |  1 -
 dev-lang/dafny-bin/dafny-bin-3.9.1-r1.ebuild | 51 ----------------------------
 2 files changed, 52 deletions(-)

diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index 4dcad02d5600..71aec7bef6e6 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,3 +1,2 @@
 DIST dafny-3.10.0-x64-ubuntu-16.04.zip 76468200 BLAKE2B d3b35260fca709f1808ec47874f5566dd2fc42af9a43354a97b86b8962b1b15c95df10f25fa8f0d6a12c83f5c12569aa981d56b796aeb1fd7563fc59c62d4259 SHA512 3f8e669025fd655a7709334876652176b3dce1eb980f1f797cf829fa53b125129a66a175d3a4fcc56aa276e28661c6d795ccc01901d0e457bdac754b29382ca3
 DIST dafny-3.11.0-x64-ubuntu-16.04.zip 76510888 BLAKE2B 03591064f7af8971c5e175b4538c1344d6fd09c4ca2f3c52fef65af424d5fe462112f3853a59a0d3e84bf5945290b3b088472378577cb0881cf8129401606148 SHA512 0535151b0622f70b49457f1eaaa15c031b5ade5e44e64e79a6c6d1c46b9c2fed155f8da72274f8b8dd7815130ce80bd2b7af8a28d9423ebefde80d8cda1d12bb
-DIST dafny-3.9.1-x64-ubuntu-16.04.zip 76356092 BLAKE2B 7337cbc5b698cec24ffcc3d05cc00403e37a865e422bab36860ca4a1136c3bf4d8dc70647640d0e3f1dc6846a0b72a3edc6a09cef51d7d56ab455dabd006236a SHA512 dbacd0dbeb4e97497faf7f6b6bfedac1ccc9f0e1da129ac1e3b124a0920ac659b6c78237102c5e087d350017c3bb3fd93ac8ca353b1b0e2d13073f35bfc9df7d

diff --git a/dev-lang/dafny-bin/dafny-bin-3.9.1-r1.ebuild b/dev-lang/dafny-bin/dafny-bin-3.9.1-r1.ebuild
deleted file mode 100644
index 3571c06eeb55..000000000000
--- a/dev-lang/dafny-bin/dafny-bin-3.9.1-r1.ebuild
+++ /dev/null
@@ -1,51 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-DESCRIPTION="Verification-aware programming language"
-HOMEPAGE="https://dafny.org/"
-SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV}-x64-ubuntu-16.04.zip"
-
-LICENSE="MIT"
-SLOT="0"
-KEYWORDS="-* ~amd64"
-REQUIRED_USE="elibc_glibc"
-
-RDEPEND="
-	dev-libs/userspace-rcu
-	dev-util/lttng-ust:0/2.12
-	sci-mathematics/z3
-"
-BDEPEND="app-arch/unzip"
-
-S="${WORKDIR}"/dafny
-QA_PREBUILT="*"
-
-src_prepare() {
-	default
-
-	# Remove bundled z3.
-	# NOTICE: New versions do not need the bundled one but older versions
-	# hardcoded the path relative to "dafny" binary.
-	# While bumping make sure to verify that system's "z3" is used
-	# by, for example, compiling/verifying a simple dafny program.
-	rm -r z3 || die
-}
-
-src_install() {
-	local dest=/opt/dafny
-
-	insinto ${dest}
-	# Maybe too general, but this installation mode matched how it arrives.
-	insopts -m0755
-	doins "${S}"/*
-
-	local bin
-	for bin in DafnyServer dafny ; do
-		dosym ../../${dest}/${bin} /usr/bin/${bin}
-	done
-
-	# Make "dafny-server" clients happy.
-	dosym ../../${dest}/DafnyServer /usr/bin/dafny-server
-}


^ permalink raw reply related	[flat|nested] 45+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2023-02-01 14:09 Maciej Barć
  0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2023-02-01 14:09 UTC (permalink / raw
  To: gentoo-commits

commit:     8024c8c01a62ea668dff67ff7d204896e4f9bbab
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Wed Feb  1 13:31:09 2023 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Wed Feb  1 14:09:57 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8024c8c0

dev-lang/dafny-bin: drop old 3.9.0-r1

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

 dev-lang/dafny-bin/Manifest                  |  1 -
 dev-lang/dafny-bin/dafny-bin-3.9.0-r1.ebuild | 51 ----------------------------
 2 files changed, 52 deletions(-)

diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index 0ee7b3ba08aa..4dcad02d5600 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,4 +1,3 @@
 DIST dafny-3.10.0-x64-ubuntu-16.04.zip 76468200 BLAKE2B d3b35260fca709f1808ec47874f5566dd2fc42af9a43354a97b86b8962b1b15c95df10f25fa8f0d6a12c83f5c12569aa981d56b796aeb1fd7563fc59c62d4259 SHA512 3f8e669025fd655a7709334876652176b3dce1eb980f1f797cf829fa53b125129a66a175d3a4fcc56aa276e28661c6d795ccc01901d0e457bdac754b29382ca3
 DIST dafny-3.11.0-x64-ubuntu-16.04.zip 76510888 BLAKE2B 03591064f7af8971c5e175b4538c1344d6fd09c4ca2f3c52fef65af424d5fe462112f3853a59a0d3e84bf5945290b3b088472378577cb0881cf8129401606148 SHA512 0535151b0622f70b49457f1eaaa15c031b5ade5e44e64e79a6c6d1c46b9c2fed155f8da72274f8b8dd7815130ce80bd2b7af8a28d9423ebefde80d8cda1d12bb
-DIST dafny-3.9.0-x64-ubuntu-16.04.zip 76348358 BLAKE2B aa217b8583a54f11e23769c214bff182025d7a8669a27f63ef3ee161640f1637d3eebc3e154c44d6cb0dc07060ac0bb3ba38dc7504af04c7a3c04425ee7437df SHA512 e595c80eed0c994a5e2f6cc34b18262f3401d7968e9da32449638591898998a56de70989240e8227ed6c40946205ba20542ac13e4e90cc597de657d81d389060
 DIST dafny-3.9.1-x64-ubuntu-16.04.zip 76356092 BLAKE2B 7337cbc5b698cec24ffcc3d05cc00403e37a865e422bab36860ca4a1136c3bf4d8dc70647640d0e3f1dc6846a0b72a3edc6a09cef51d7d56ab455dabd006236a SHA512 dbacd0dbeb4e97497faf7f6b6bfedac1ccc9f0e1da129ac1e3b124a0920ac659b6c78237102c5e087d350017c3bb3fd93ac8ca353b1b0e2d13073f35bfc9df7d

diff --git a/dev-lang/dafny-bin/dafny-bin-3.9.0-r1.ebuild b/dev-lang/dafny-bin/dafny-bin-3.9.0-r1.ebuild
deleted file mode 100644
index 3571c06eeb55..000000000000
--- a/dev-lang/dafny-bin/dafny-bin-3.9.0-r1.ebuild
+++ /dev/null
@@ -1,51 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-DESCRIPTION="Verification-aware programming language"
-HOMEPAGE="https://dafny.org/"
-SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV}-x64-ubuntu-16.04.zip"
-
-LICENSE="MIT"
-SLOT="0"
-KEYWORDS="-* ~amd64"
-REQUIRED_USE="elibc_glibc"
-
-RDEPEND="
-	dev-libs/userspace-rcu
-	dev-util/lttng-ust:0/2.12
-	sci-mathematics/z3
-"
-BDEPEND="app-arch/unzip"
-
-S="${WORKDIR}"/dafny
-QA_PREBUILT="*"
-
-src_prepare() {
-	default
-
-	# Remove bundled z3.
-	# NOTICE: New versions do not need the bundled one but older versions
-	# hardcoded the path relative to "dafny" binary.
-	# While bumping make sure to verify that system's "z3" is used
-	# by, for example, compiling/verifying a simple dafny program.
-	rm -r z3 || die
-}
-
-src_install() {
-	local dest=/opt/dafny
-
-	insinto ${dest}
-	# Maybe too general, but this installation mode matched how it arrives.
-	insopts -m0755
-	doins "${S}"/*
-
-	local bin
-	for bin in DafnyServer dafny ; do
-		dosym ../../${dest}/${bin} /usr/bin/${bin}
-	done
-
-	# Make "dafny-server" clients happy.
-	dosym ../../${dest}/DafnyServer /usr/bin/dafny-server
-}


^ permalink raw reply related	[flat|nested] 45+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2023-02-01 14:09 Maciej Barć
  0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2023-02-01 14:09 UTC (permalink / raw
  To: gentoo-commits

commit:     3939d117488a33f2c0404c51f86e976b896f06fa
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Wed Feb  1 13:30:18 2023 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Wed Feb  1 14:09:57 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3939d117

dev-lang/dafny-bin: bump to 3.11.0

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

 dev-lang/dafny-bin/Manifest                |  1 +
 dev-lang/dafny-bin/dafny-bin-3.11.0.ebuild | 51 ++++++++++++++++++++++++++++++
 2 files changed, 52 insertions(+)

diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index bc3b38d89abb..0ee7b3ba08aa 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,3 +1,4 @@
 DIST dafny-3.10.0-x64-ubuntu-16.04.zip 76468200 BLAKE2B d3b35260fca709f1808ec47874f5566dd2fc42af9a43354a97b86b8962b1b15c95df10f25fa8f0d6a12c83f5c12569aa981d56b796aeb1fd7563fc59c62d4259 SHA512 3f8e669025fd655a7709334876652176b3dce1eb980f1f797cf829fa53b125129a66a175d3a4fcc56aa276e28661c6d795ccc01901d0e457bdac754b29382ca3
+DIST dafny-3.11.0-x64-ubuntu-16.04.zip 76510888 BLAKE2B 03591064f7af8971c5e175b4538c1344d6fd09c4ca2f3c52fef65af424d5fe462112f3853a59a0d3e84bf5945290b3b088472378577cb0881cf8129401606148 SHA512 0535151b0622f70b49457f1eaaa15c031b5ade5e44e64e79a6c6d1c46b9c2fed155f8da72274f8b8dd7815130ce80bd2b7af8a28d9423ebefde80d8cda1d12bb
 DIST dafny-3.9.0-x64-ubuntu-16.04.zip 76348358 BLAKE2B aa217b8583a54f11e23769c214bff182025d7a8669a27f63ef3ee161640f1637d3eebc3e154c44d6cb0dc07060ac0bb3ba38dc7504af04c7a3c04425ee7437df SHA512 e595c80eed0c994a5e2f6cc34b18262f3401d7968e9da32449638591898998a56de70989240e8227ed6c40946205ba20542ac13e4e90cc597de657d81d389060
 DIST dafny-3.9.1-x64-ubuntu-16.04.zip 76356092 BLAKE2B 7337cbc5b698cec24ffcc3d05cc00403e37a865e422bab36860ca4a1136c3bf4d8dc70647640d0e3f1dc6846a0b72a3edc6a09cef51d7d56ab455dabd006236a SHA512 dbacd0dbeb4e97497faf7f6b6bfedac1ccc9f0e1da129ac1e3b124a0920ac659b6c78237102c5e087d350017c3bb3fd93ac8ca353b1b0e2d13073f35bfc9df7d

diff --git a/dev-lang/dafny-bin/dafny-bin-3.11.0.ebuild b/dev-lang/dafny-bin/dafny-bin-3.11.0.ebuild
new file mode 100644
index 000000000000..1d1588371688
--- /dev/null
+++ b/dev-lang/dafny-bin/dafny-bin-3.11.0.ebuild
@@ -0,0 +1,51 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+DESCRIPTION="Verification-aware programming language"
+HOMEPAGE="https://dafny.org/"
+SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV}-x64-ubuntu-16.04.zip"
+
+LICENSE="MIT"
+SLOT="0"
+KEYWORDS="-* ~amd64"
+REQUIRED_USE="elibc_glibc"
+
+RDEPEND="
+	dev-libs/userspace-rcu
+	dev-util/lttng-ust:0/2.12
+	sci-mathematics/z3
+"
+BDEPEND="app-arch/unzip"
+
+S="${WORKDIR}"/dafny
+QA_PREBUILT="*"
+
+src_prepare() {
+	default
+
+	# Remove bundled z3.
+	# NOTICE: New versions do not need the bundled one but older versions
+	# hardcoded the path relative to "dafny" binary.
+	# While bumping make sure to verify that system's "z3" is used
+	# by, for example, compiling/verifying a simple dafny program.
+	rm -r z3 || die
+}
+
+src_install() {
+	local dest=/opt/dafny
+
+	insinto ${dest}
+	# Maybe too general, but this installation mode matched how it arrives.
+	insopts -m0755
+	doins "${S}"/*
+
+	local bin
+	for bin in DafnyServer dafny ; do
+		dosym ../../${dest}/${bin} /usr/bin/${bin}
+	done
+
+	# Make "dafny-server" clients happy.
+	dosym ../../${dest}/DafnyServer /usr/bin/dafny-server
+}


^ permalink raw reply related	[flat|nested] 45+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2022-12-15 21:51 Maciej Barć
  0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2022-12-15 21:51 UTC (permalink / raw
  To: gentoo-commits

commit:     e9bfee871bd303561ed98d86343ce07ba85c3a7c
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Thu Dec 15 21:51:03 2022 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Thu Dec 15 21:51:18 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e9bfee87

dev-lang/dafny-bin: drop old 3.8.1-r1

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

 dev-lang/dafny-bin/Manifest                  |  1 -
 dev-lang/dafny-bin/dafny-bin-3.8.1-r1.ebuild | 51 ----------------------------
 2 files changed, 52 deletions(-)

diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index 35f211fa3997..bc3b38d89abb 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,4 +1,3 @@
 DIST dafny-3.10.0-x64-ubuntu-16.04.zip 76468200 BLAKE2B d3b35260fca709f1808ec47874f5566dd2fc42af9a43354a97b86b8962b1b15c95df10f25fa8f0d6a12c83f5c12569aa981d56b796aeb1fd7563fc59c62d4259 SHA512 3f8e669025fd655a7709334876652176b3dce1eb980f1f797cf829fa53b125129a66a175d3a4fcc56aa276e28661c6d795ccc01901d0e457bdac754b29382ca3
-DIST dafny-3.8.1-x64-ubuntu-16.04.zip 76192825 BLAKE2B fbfe65f917fb1c04151969e466097ea5703b70fea5c2e04ed6ed756d05c3c46796951d641cca66c30b59d4b70dcee2bef9c7ccac6cd04fe3204b41a08910197c SHA512 ae10f912977827525902317a2215b3066f4271efd2dfdf314859b8c82cfb18ea881bafba5bde0d9f31f3b1429bef252774ca7a495f6661dff7f9f0d5fe042806
 DIST dafny-3.9.0-x64-ubuntu-16.04.zip 76348358 BLAKE2B aa217b8583a54f11e23769c214bff182025d7a8669a27f63ef3ee161640f1637d3eebc3e154c44d6cb0dc07060ac0bb3ba38dc7504af04c7a3c04425ee7437df SHA512 e595c80eed0c994a5e2f6cc34b18262f3401d7968e9da32449638591898998a56de70989240e8227ed6c40946205ba20542ac13e4e90cc597de657d81d389060
 DIST dafny-3.9.1-x64-ubuntu-16.04.zip 76356092 BLAKE2B 7337cbc5b698cec24ffcc3d05cc00403e37a865e422bab36860ca4a1136c3bf4d8dc70647640d0e3f1dc6846a0b72a3edc6a09cef51d7d56ab455dabd006236a SHA512 dbacd0dbeb4e97497faf7f6b6bfedac1ccc9f0e1da129ac1e3b124a0920ac659b6c78237102c5e087d350017c3bb3fd93ac8ca353b1b0e2d13073f35bfc9df7d

diff --git a/dev-lang/dafny-bin/dafny-bin-3.8.1-r1.ebuild b/dev-lang/dafny-bin/dafny-bin-3.8.1-r1.ebuild
deleted file mode 100644
index 1c122629aafc..000000000000
--- a/dev-lang/dafny-bin/dafny-bin-3.8.1-r1.ebuild
+++ /dev/null
@@ -1,51 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-DESCRIPTION="Verification-aware programming language"
-HOMEPAGE="https://dafny.org/"
-SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV}-x64-ubuntu-16.04.zip"
-
-LICENSE="MIT"
-SLOT="0"
-KEYWORDS="-* ~amd64"  # Binaries are compiled only for x86_64.
-REQUIRED_USE="elibc_glibc"
-
-RDEPEND="
-	dev-libs/userspace-rcu
-	dev-util/lttng-ust:0/2.12
-	sci-mathematics/z3
-"
-BDEPEND="app-arch/unzip"
-
-S="${WORKDIR}"/dafny
-QA_PREBUILT="*"
-
-src_prepare() {
-	default
-
-	# Remove bundled z3.
-	# NOTICE: New versions do not need the bundled one but older versions
-	# hardcoded the path relative to "dafny" binary.
-	# While bumping make sure to verify that system's "z3" is used
-	# by, for example, compiling/verifying a simple dafny program.
-	rm -r z3 || die
-}
-
-src_install() {
-	local dest=/opt/dafny
-
-	insinto ${dest}
-	# Maybe too general, but this installation mode matched how it arrives.
-	insopts -m0755
-	doins "${S}"/*
-
-	local bin
-	for bin in DafnyServer dafny ; do
-		dosym ../../${dest}/${bin} /usr/bin/${bin}
-	done
-
-	# Make "dafny-server" clients happy.
-	dosym ../../${dest}/DafnyServer /usr/bin/dafny-server
-}


^ permalink raw reply related	[flat|nested] 45+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2022-11-18 20:38 Maciej Barć
  0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2022-11-18 20:38 UTC (permalink / raw
  To: gentoo-commits

commit:     0d8a0892d862cd9214ea39af7c081fa6aa4d7790
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Fri Nov 18 18:59:39 2022 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Fri Nov 18 20:38:03 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0d8a0892

dev-lang/dafny-bin: depend on lttng-ust with SLOT=0/2.12

Closes: https://bugs.gentoo.org/875614
Bug: https://bugs.gentoo.org/798990
Bug: https://bugs.gentoo.org/872605
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 .../dafny-bin/{dafny-bin-3.8.1.ebuild => dafny-bin-3.8.1-r1.ebuild}     | 2 +-
 .../dafny-bin/{dafny-bin-3.9.0.ebuild => dafny-bin-3.9.0-r1.ebuild}     | 2 +-
 .../dafny-bin/{dafny-bin-3.9.1.ebuild => dafny-bin-3.9.1-r1.ebuild}     | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/dev-lang/dafny-bin/dafny-bin-3.8.1.ebuild b/dev-lang/dafny-bin/dafny-bin-3.8.1-r1.ebuild
similarity index 97%
rename from dev-lang/dafny-bin/dafny-bin-3.8.1.ebuild
rename to dev-lang/dafny-bin/dafny-bin-3.8.1-r1.ebuild
index 39a827f48c53..1c122629aafc 100644
--- a/dev-lang/dafny-bin/dafny-bin-3.8.1.ebuild
+++ b/dev-lang/dafny-bin/dafny-bin-3.8.1-r1.ebuild
@@ -14,7 +14,7 @@ REQUIRED_USE="elibc_glibc"
 
 RDEPEND="
 	dev-libs/userspace-rcu
-	dev-util/lttng-ust
+	dev-util/lttng-ust:0/2.12
 	sci-mathematics/z3
 "
 BDEPEND="app-arch/unzip"

diff --git a/dev-lang/dafny-bin/dafny-bin-3.9.0.ebuild b/dev-lang/dafny-bin/dafny-bin-3.9.0-r1.ebuild
similarity index 97%
rename from dev-lang/dafny-bin/dafny-bin-3.9.0.ebuild
rename to dev-lang/dafny-bin/dafny-bin-3.9.0-r1.ebuild
index c7dbe567fbba..3571c06eeb55 100644
--- a/dev-lang/dafny-bin/dafny-bin-3.9.0.ebuild
+++ b/dev-lang/dafny-bin/dafny-bin-3.9.0-r1.ebuild
@@ -14,7 +14,7 @@ REQUIRED_USE="elibc_glibc"
 
 RDEPEND="
 	dev-libs/userspace-rcu
-	dev-util/lttng-ust
+	dev-util/lttng-ust:0/2.12
 	sci-mathematics/z3
 "
 BDEPEND="app-arch/unzip"

diff --git a/dev-lang/dafny-bin/dafny-bin-3.9.1.ebuild b/dev-lang/dafny-bin/dafny-bin-3.9.1-r1.ebuild
similarity index 97%
rename from dev-lang/dafny-bin/dafny-bin-3.9.1.ebuild
rename to dev-lang/dafny-bin/dafny-bin-3.9.1-r1.ebuild
index c7dbe567fbba..3571c06eeb55 100644
--- a/dev-lang/dafny-bin/dafny-bin-3.9.1.ebuild
+++ b/dev-lang/dafny-bin/dafny-bin-3.9.1-r1.ebuild
@@ -14,7 +14,7 @@ REQUIRED_USE="elibc_glibc"
 
 RDEPEND="
 	dev-libs/userspace-rcu
-	dev-util/lttng-ust
+	dev-util/lttng-ust:0/2.12
 	sci-mathematics/z3
 "
 BDEPEND="app-arch/unzip"


^ permalink raw reply related	[flat|nested] 45+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2022-11-01  2:38 Maciej Barć
  0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2022-11-01  2:38 UTC (permalink / raw
  To: gentoo-commits

commit:     717ce126fd8e6a0f2d20044e0f89b536944d9037
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Mon Oct 31 22:53:51 2022 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Tue Nov  1 02:38:06 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=717ce126

dev-lang/dafny-bin: bump to 3.9.1

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

 dev-lang/dafny-bin/Manifest               |  1 +
 dev-lang/dafny-bin/dafny-bin-3.9.1.ebuild | 51 +++++++++++++++++++++++++++++++
 2 files changed, 52 insertions(+)

diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index 67e2634f4132..02347ba64b2b 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,3 +1,4 @@
 DIST dafny-3.8.0-x64-ubuntu-16.04.zip 76181911 BLAKE2B 9fbae78bb08ed448a164188758c53de6eb928f16e941ee2830c5d8ed3980e3f4ccdd4f1b99c30061a5838ef96dd71ad0ac4a69ffdf45ca8a428e37cbd1f8049d SHA512 43628709dfe34d91fda3b723e4f9deacace463a4002c520d62b319f3618b2e62dec93e2fd913926e41c8ef75dd3535a909c4eeb2e58e00faa6ffdd1f028f8277
 DIST dafny-3.8.1-x64-ubuntu-16.04.zip 76192825 BLAKE2B fbfe65f917fb1c04151969e466097ea5703b70fea5c2e04ed6ed756d05c3c46796951d641cca66c30b59d4b70dcee2bef9c7ccac6cd04fe3204b41a08910197c SHA512 ae10f912977827525902317a2215b3066f4271efd2dfdf314859b8c82cfb18ea881bafba5bde0d9f31f3b1429bef252774ca7a495f6661dff7f9f0d5fe042806
 DIST dafny-3.9.0-x64-ubuntu-16.04.zip 76348358 BLAKE2B aa217b8583a54f11e23769c214bff182025d7a8669a27f63ef3ee161640f1637d3eebc3e154c44d6cb0dc07060ac0bb3ba38dc7504af04c7a3c04425ee7437df SHA512 e595c80eed0c994a5e2f6cc34b18262f3401d7968e9da32449638591898998a56de70989240e8227ed6c40946205ba20542ac13e4e90cc597de657d81d389060
+DIST dafny-3.9.1-x64-ubuntu-16.04.zip 76356092 BLAKE2B 7337cbc5b698cec24ffcc3d05cc00403e37a865e422bab36860ca4a1136c3bf4d8dc70647640d0e3f1dc6846a0b72a3edc6a09cef51d7d56ab455dabd006236a SHA512 dbacd0dbeb4e97497faf7f6b6bfedac1ccc9f0e1da129ac1e3b124a0920ac659b6c78237102c5e087d350017c3bb3fd93ac8ca353b1b0e2d13073f35bfc9df7d

diff --git a/dev-lang/dafny-bin/dafny-bin-3.9.1.ebuild b/dev-lang/dafny-bin/dafny-bin-3.9.1.ebuild
new file mode 100644
index 000000000000..c7dbe567fbba
--- /dev/null
+++ b/dev-lang/dafny-bin/dafny-bin-3.9.1.ebuild
@@ -0,0 +1,51 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+DESCRIPTION="Verification-aware programming language"
+HOMEPAGE="https://dafny.org/"
+SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV}-x64-ubuntu-16.04.zip"
+
+LICENSE="MIT"
+SLOT="0"
+KEYWORDS="-* ~amd64"
+REQUIRED_USE="elibc_glibc"
+
+RDEPEND="
+	dev-libs/userspace-rcu
+	dev-util/lttng-ust
+	sci-mathematics/z3
+"
+BDEPEND="app-arch/unzip"
+
+S="${WORKDIR}"/dafny
+QA_PREBUILT="*"
+
+src_prepare() {
+	default
+
+	# Remove bundled z3.
+	# NOTICE: New versions do not need the bundled one but older versions
+	# hardcoded the path relative to "dafny" binary.
+	# While bumping make sure to verify that system's "z3" is used
+	# by, for example, compiling/verifying a simple dafny program.
+	rm -r z3 || die
+}
+
+src_install() {
+	local dest=/opt/dafny
+
+	insinto ${dest}
+	# Maybe too general, but this installation mode matched how it arrives.
+	insopts -m0755
+	doins "${S}"/*
+
+	local bin
+	for bin in DafnyServer dafny ; do
+		dosym ../../${dest}/${bin} /usr/bin/${bin}
+	done
+
+	# Make "dafny-server" clients happy.
+	dosym ../../${dest}/DafnyServer /usr/bin/dafny-server
+}


^ permalink raw reply related	[flat|nested] 45+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2022-11-01  2:38 Maciej Barć
  0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2022-11-01  2:38 UTC (permalink / raw
  To: gentoo-commits

commit:     50a92b06aa99628f9b8f4e08ce545962161ef4c8
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Mon Oct 31 22:57:16 2022 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Tue Nov  1 02:38:07 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=50a92b06

dev-lang/dafny-bin: drop old 3.8.0

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

 dev-lang/dafny-bin/Manifest               |  1 -
 dev-lang/dafny-bin/dafny-bin-3.8.0.ebuild | 51 -------------------------------
 2 files changed, 52 deletions(-)

diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index 02347ba64b2b..2f26ffe919c2 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,4 +1,3 @@
-DIST dafny-3.8.0-x64-ubuntu-16.04.zip 76181911 BLAKE2B 9fbae78bb08ed448a164188758c53de6eb928f16e941ee2830c5d8ed3980e3f4ccdd4f1b99c30061a5838ef96dd71ad0ac4a69ffdf45ca8a428e37cbd1f8049d SHA512 43628709dfe34d91fda3b723e4f9deacace463a4002c520d62b319f3618b2e62dec93e2fd913926e41c8ef75dd3535a909c4eeb2e58e00faa6ffdd1f028f8277
 DIST dafny-3.8.1-x64-ubuntu-16.04.zip 76192825 BLAKE2B fbfe65f917fb1c04151969e466097ea5703b70fea5c2e04ed6ed756d05c3c46796951d641cca66c30b59d4b70dcee2bef9c7ccac6cd04fe3204b41a08910197c SHA512 ae10f912977827525902317a2215b3066f4271efd2dfdf314859b8c82cfb18ea881bafba5bde0d9f31f3b1429bef252774ca7a495f6661dff7f9f0d5fe042806
 DIST dafny-3.9.0-x64-ubuntu-16.04.zip 76348358 BLAKE2B aa217b8583a54f11e23769c214bff182025d7a8669a27f63ef3ee161640f1637d3eebc3e154c44d6cb0dc07060ac0bb3ba38dc7504af04c7a3c04425ee7437df SHA512 e595c80eed0c994a5e2f6cc34b18262f3401d7968e9da32449638591898998a56de70989240e8227ed6c40946205ba20542ac13e4e90cc597de657d81d389060
 DIST dafny-3.9.1-x64-ubuntu-16.04.zip 76356092 BLAKE2B 7337cbc5b698cec24ffcc3d05cc00403e37a865e422bab36860ca4a1136c3bf4d8dc70647640d0e3f1dc6846a0b72a3edc6a09cef51d7d56ab455dabd006236a SHA512 dbacd0dbeb4e97497faf7f6b6bfedac1ccc9f0e1da129ac1e3b124a0920ac659b6c78237102c5e087d350017c3bb3fd93ac8ca353b1b0e2d13073f35bfc9df7d

diff --git a/dev-lang/dafny-bin/dafny-bin-3.8.0.ebuild b/dev-lang/dafny-bin/dafny-bin-3.8.0.ebuild
deleted file mode 100644
index 39a827f48c53..000000000000
--- a/dev-lang/dafny-bin/dafny-bin-3.8.0.ebuild
+++ /dev/null
@@ -1,51 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-DESCRIPTION="Verification-aware programming language"
-HOMEPAGE="https://dafny.org/"
-SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV}-x64-ubuntu-16.04.zip"
-
-LICENSE="MIT"
-SLOT="0"
-KEYWORDS="-* ~amd64"  # Binaries are compiled only for x86_64.
-REQUIRED_USE="elibc_glibc"
-
-RDEPEND="
-	dev-libs/userspace-rcu
-	dev-util/lttng-ust
-	sci-mathematics/z3
-"
-BDEPEND="app-arch/unzip"
-
-S="${WORKDIR}"/dafny
-QA_PREBUILT="*"
-
-src_prepare() {
-	default
-
-	# Remove bundled z3.
-	# NOTICE: New versions do not need the bundled one but older versions
-	# hardcoded the path relative to "dafny" binary.
-	# While bumping make sure to verify that system's "z3" is used
-	# by, for example, compiling/verifying a simple dafny program.
-	rm -r z3 || die
-}
-
-src_install() {
-	local dest=/opt/dafny
-
-	insinto ${dest}
-	# Maybe too general, but this installation mode matched how it arrives.
-	insopts -m0755
-	doins "${S}"/*
-
-	local bin
-	for bin in DafnyServer dafny ; do
-		dosym ../../${dest}/${bin} /usr/bin/${bin}
-	done
-
-	# Make "dafny-server" clients happy.
-	dosym ../../${dest}/DafnyServer /usr/bin/dafny-server
-}


^ permalink raw reply related	[flat|nested] 45+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2022-10-06  2:28 Maciej Barć
  0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2022-10-06  2:28 UTC (permalink / raw
  To: gentoo-commits

commit:     b4f7cb650e4e985964819af5a80c4609922caf83
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Thu Oct  6 02:28:12 2022 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Thu Oct  6 02:28:18 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b4f7cb65

dev-lang/dafny-bin: drop old 3.7.3

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

 dev-lang/dafny-bin/Manifest               |  1 -
 dev-lang/dafny-bin/dafny-bin-3.7.3.ebuild | 50 -------------------------------
 2 files changed, 51 deletions(-)

diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index fe3bb673077d..67e2634f4132 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,4 +1,3 @@
-DIST dafny-3.7.3-x64-ubuntu-16.04.zip 76169341 BLAKE2B eb8bee64a0bd39b8af0996e298590c83bcf306dbfda5bc486ef70b13187b4fc0131fd2b98d5eb1b87a3177b1f25c5cd64b82522e4d57cf1b0d2aa1eb34869789 SHA512 0bdda39e8ae22eff72bd57e4ef5f07495e27156b11ff553a2e1f76731d7daa5ce6ac4f4d8b16b3365eacbbd25bc81d88cbfece9a0350e2a0faac2a035f3d5561
 DIST dafny-3.8.0-x64-ubuntu-16.04.zip 76181911 BLAKE2B 9fbae78bb08ed448a164188758c53de6eb928f16e941ee2830c5d8ed3980e3f4ccdd4f1b99c30061a5838ef96dd71ad0ac4a69ffdf45ca8a428e37cbd1f8049d SHA512 43628709dfe34d91fda3b723e4f9deacace463a4002c520d62b319f3618b2e62dec93e2fd913926e41c8ef75dd3535a909c4eeb2e58e00faa6ffdd1f028f8277
 DIST dafny-3.8.1-x64-ubuntu-16.04.zip 76192825 BLAKE2B fbfe65f917fb1c04151969e466097ea5703b70fea5c2e04ed6ed756d05c3c46796951d641cca66c30b59d4b70dcee2bef9c7ccac6cd04fe3204b41a08910197c SHA512 ae10f912977827525902317a2215b3066f4271efd2dfdf314859b8c82cfb18ea881bafba5bde0d9f31f3b1429bef252774ca7a495f6661dff7f9f0d5fe042806
 DIST dafny-3.9.0-x64-ubuntu-16.04.zip 76348358 BLAKE2B aa217b8583a54f11e23769c214bff182025d7a8669a27f63ef3ee161640f1637d3eebc3e154c44d6cb0dc07060ac0bb3ba38dc7504af04c7a3c04425ee7437df SHA512 e595c80eed0c994a5e2f6cc34b18262f3401d7968e9da32449638591898998a56de70989240e8227ed6c40946205ba20542ac13e4e90cc597de657d81d389060

diff --git a/dev-lang/dafny-bin/dafny-bin-3.7.3.ebuild b/dev-lang/dafny-bin/dafny-bin-3.7.3.ebuild
deleted file mode 100644
index 8601d4b64977..000000000000
--- a/dev-lang/dafny-bin/dafny-bin-3.7.3.ebuild
+++ /dev/null
@@ -1,50 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-DESCRIPTION="Verification-aware programming language"
-HOMEPAGE="https://dafny.org/"
-SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV}-x64-ubuntu-16.04.zip"
-
-LICENSE="MIT"
-SLOT="0"
-KEYWORDS="-* ~amd64"  # Binaries are compiled only for x86_64.
-REQUIRED_USE="elibc_glibc"
-
-RDEPEND="
-	dev-libs/userspace-rcu
-	dev-util/lttng-ust
-	sci-mathematics/z3
-"
-BDEPEND="app-arch/unzip"
-
-S="${WORKDIR}"/dafny
-QA_PREBUILT="*"
-
-src_prepare() {
-	default
-
-	# Remove bundled z3.
-	# NOTICE: New versions do not need the bundled one but older versions
-	# hardcoded the path relative to "dafny" binary.
-	# While bumping make sure to verify that system's "z3" is used.
-	rm -r z3 || die
-}
-
-src_install() {
-	local dest=/opt/dafny
-
-	insinto ${dest}
-	# Maybe too general, but this installation mode matched how it arrives.
-	insopts -m0755
-	doins "${S}"/*
-
-	local bin
-	for bin in DafnyServer dafny ; do
-		dosym ../../${dest}/${bin} /usr/bin/${bin}
-	done
-
-	# Make "dafny-server" clients happy.
-	dosym ../../${dest}/DafnyServer /usr/bin/dafny-server
-}


^ permalink raw reply related	[flat|nested] 45+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2022-10-06  1:59 Maciej Barć
  0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2022-10-06  1:59 UTC (permalink / raw
  To: gentoo-commits

commit:     022c23ece950df5476a64d16b48574be124c7f7c
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Thu Oct  6 01:49:12 2022 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Thu Oct  6 01:59:19 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=022c23ec

dev-lang/dafny-bin: bump to 3.9.0

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

 dev-lang/dafny-bin/Manifest               |  1 +
 dev-lang/dafny-bin/dafny-bin-3.9.0.ebuild | 51 +++++++++++++++++++++++++++++++
 2 files changed, 52 insertions(+)

diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index 16bad2dd965f..fe3bb673077d 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,3 +1,4 @@
 DIST dafny-3.7.3-x64-ubuntu-16.04.zip 76169341 BLAKE2B eb8bee64a0bd39b8af0996e298590c83bcf306dbfda5bc486ef70b13187b4fc0131fd2b98d5eb1b87a3177b1f25c5cd64b82522e4d57cf1b0d2aa1eb34869789 SHA512 0bdda39e8ae22eff72bd57e4ef5f07495e27156b11ff553a2e1f76731d7daa5ce6ac4f4d8b16b3365eacbbd25bc81d88cbfece9a0350e2a0faac2a035f3d5561
 DIST dafny-3.8.0-x64-ubuntu-16.04.zip 76181911 BLAKE2B 9fbae78bb08ed448a164188758c53de6eb928f16e941ee2830c5d8ed3980e3f4ccdd4f1b99c30061a5838ef96dd71ad0ac4a69ffdf45ca8a428e37cbd1f8049d SHA512 43628709dfe34d91fda3b723e4f9deacace463a4002c520d62b319f3618b2e62dec93e2fd913926e41c8ef75dd3535a909c4eeb2e58e00faa6ffdd1f028f8277
 DIST dafny-3.8.1-x64-ubuntu-16.04.zip 76192825 BLAKE2B fbfe65f917fb1c04151969e466097ea5703b70fea5c2e04ed6ed756d05c3c46796951d641cca66c30b59d4b70dcee2bef9c7ccac6cd04fe3204b41a08910197c SHA512 ae10f912977827525902317a2215b3066f4271efd2dfdf314859b8c82cfb18ea881bafba5bde0d9f31f3b1429bef252774ca7a495f6661dff7f9f0d5fe042806
+DIST dafny-3.9.0-x64-ubuntu-16.04.zip 76348358 BLAKE2B aa217b8583a54f11e23769c214bff182025d7a8669a27f63ef3ee161640f1637d3eebc3e154c44d6cb0dc07060ac0bb3ba38dc7504af04c7a3c04425ee7437df SHA512 e595c80eed0c994a5e2f6cc34b18262f3401d7968e9da32449638591898998a56de70989240e8227ed6c40946205ba20542ac13e4e90cc597de657d81d389060

diff --git a/dev-lang/dafny-bin/dafny-bin-3.9.0.ebuild b/dev-lang/dafny-bin/dafny-bin-3.9.0.ebuild
new file mode 100644
index 000000000000..c7dbe567fbba
--- /dev/null
+++ b/dev-lang/dafny-bin/dafny-bin-3.9.0.ebuild
@@ -0,0 +1,51 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+DESCRIPTION="Verification-aware programming language"
+HOMEPAGE="https://dafny.org/"
+SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV}-x64-ubuntu-16.04.zip"
+
+LICENSE="MIT"
+SLOT="0"
+KEYWORDS="-* ~amd64"
+REQUIRED_USE="elibc_glibc"
+
+RDEPEND="
+	dev-libs/userspace-rcu
+	dev-util/lttng-ust
+	sci-mathematics/z3
+"
+BDEPEND="app-arch/unzip"
+
+S="${WORKDIR}"/dafny
+QA_PREBUILT="*"
+
+src_prepare() {
+	default
+
+	# Remove bundled z3.
+	# NOTICE: New versions do not need the bundled one but older versions
+	# hardcoded the path relative to "dafny" binary.
+	# While bumping make sure to verify that system's "z3" is used
+	# by, for example, compiling/verifying a simple dafny program.
+	rm -r z3 || die
+}
+
+src_install() {
+	local dest=/opt/dafny
+
+	insinto ${dest}
+	# Maybe too general, but this installation mode matched how it arrives.
+	insopts -m0755
+	doins "${S}"/*
+
+	local bin
+	for bin in DafnyServer dafny ; do
+		dosym ../../${dest}/${bin} /usr/bin/${bin}
+	done
+
+	# Make "dafny-server" clients happy.
+	dosym ../../${dest}/DafnyServer /usr/bin/dafny-server
+}


^ permalink raw reply related	[flat|nested] 45+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2022-09-02  2:23 Maciej Barć
  0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2022-09-02  2:23 UTC (permalink / raw
  To: gentoo-commits

commit:     64e87607ee03faca4b365625be5dc32c2cbb8cd6
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Fri Sep  2 02:21:27 2022 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Fri Sep  2 02:21:27 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=64e87607

dev-lang/dafny-bin: bump to 3.8.1

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

 dev-lang/dafny-bin/Manifest               |  1 +
 dev-lang/dafny-bin/dafny-bin-3.8.1.ebuild | 51 +++++++++++++++++++++++++++++++
 2 files changed, 52 insertions(+)

diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index f9268f44c180..a10076e98a45 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,3 +1,4 @@
 DIST dafny-3.7.2-x64-ubuntu-16.04.zip 76166815 BLAKE2B a0b2531dedbe413298b6d92a65c854d70785d8732688d1e3556a5e5dc8c268b36dbb994e35960f2a18ecf40e64a6ff0912fa8df79beb6f2f81164be51907d262 SHA512 e472b1c848aece2980e67134a27bc1cab4a531b048790b7b36638e618d59f3f3e8ddcb538cd24723135266899a02b7c8952a73d81c4848e672c21c99c40c5af0
 DIST dafny-3.7.3-x64-ubuntu-16.04.zip 76169341 BLAKE2B eb8bee64a0bd39b8af0996e298590c83bcf306dbfda5bc486ef70b13187b4fc0131fd2b98d5eb1b87a3177b1f25c5cd64b82522e4d57cf1b0d2aa1eb34869789 SHA512 0bdda39e8ae22eff72bd57e4ef5f07495e27156b11ff553a2e1f76731d7daa5ce6ac4f4d8b16b3365eacbbd25bc81d88cbfece9a0350e2a0faac2a035f3d5561
 DIST dafny-3.8.0-x64-ubuntu-16.04.zip 76181911 BLAKE2B 9fbae78bb08ed448a164188758c53de6eb928f16e941ee2830c5d8ed3980e3f4ccdd4f1b99c30061a5838ef96dd71ad0ac4a69ffdf45ca8a428e37cbd1f8049d SHA512 43628709dfe34d91fda3b723e4f9deacace463a4002c520d62b319f3618b2e62dec93e2fd913926e41c8ef75dd3535a909c4eeb2e58e00faa6ffdd1f028f8277
+DIST dafny-3.8.1-x64-ubuntu-16.04.zip 76192825 BLAKE2B fbfe65f917fb1c04151969e466097ea5703b70fea5c2e04ed6ed756d05c3c46796951d641cca66c30b59d4b70dcee2bef9c7ccac6cd04fe3204b41a08910197c SHA512 ae10f912977827525902317a2215b3066f4271efd2dfdf314859b8c82cfb18ea881bafba5bde0d9f31f3b1429bef252774ca7a495f6661dff7f9f0d5fe042806

diff --git a/dev-lang/dafny-bin/dafny-bin-3.8.1.ebuild b/dev-lang/dafny-bin/dafny-bin-3.8.1.ebuild
new file mode 100644
index 000000000000..39a827f48c53
--- /dev/null
+++ b/dev-lang/dafny-bin/dafny-bin-3.8.1.ebuild
@@ -0,0 +1,51 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+DESCRIPTION="Verification-aware programming language"
+HOMEPAGE="https://dafny.org/"
+SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV}-x64-ubuntu-16.04.zip"
+
+LICENSE="MIT"
+SLOT="0"
+KEYWORDS="-* ~amd64"  # Binaries are compiled only for x86_64.
+REQUIRED_USE="elibc_glibc"
+
+RDEPEND="
+	dev-libs/userspace-rcu
+	dev-util/lttng-ust
+	sci-mathematics/z3
+"
+BDEPEND="app-arch/unzip"
+
+S="${WORKDIR}"/dafny
+QA_PREBUILT="*"
+
+src_prepare() {
+	default
+
+	# Remove bundled z3.
+	# NOTICE: New versions do not need the bundled one but older versions
+	# hardcoded the path relative to "dafny" binary.
+	# While bumping make sure to verify that system's "z3" is used
+	# by, for example, compiling/verifying a simple dafny program.
+	rm -r z3 || die
+}
+
+src_install() {
+	local dest=/opt/dafny
+
+	insinto ${dest}
+	# Maybe too general, but this installation mode matched how it arrives.
+	insopts -m0755
+	doins "${S}"/*
+
+	local bin
+	for bin in DafnyServer dafny ; do
+		dosym ../../${dest}/${bin} /usr/bin/${bin}
+	done
+
+	# Make "dafny-server" clients happy.
+	dosym ../../${dest}/DafnyServer /usr/bin/dafny-server
+}


^ permalink raw reply related	[flat|nested] 45+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2022-09-02  2:23 Maciej Barć
  0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2022-09-02  2:23 UTC (permalink / raw
  To: gentoo-commits

commit:     b3dc489e2b4f645738bb37b31c9c7a491d2ab31a
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Fri Sep  2 02:22:30 2022 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Fri Sep  2 02:22:30 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b3dc489e

dev-lang/dafny-bin: drop old 3.7.2

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

 dev-lang/dafny-bin/Manifest               |  1 -
 dev-lang/dafny-bin/dafny-bin-3.7.2.ebuild | 50 -------------------------------
 2 files changed, 51 deletions(-)

diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index a10076e98a45..16bad2dd965f 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,4 +1,3 @@
-DIST dafny-3.7.2-x64-ubuntu-16.04.zip 76166815 BLAKE2B a0b2531dedbe413298b6d92a65c854d70785d8732688d1e3556a5e5dc8c268b36dbb994e35960f2a18ecf40e64a6ff0912fa8df79beb6f2f81164be51907d262 SHA512 e472b1c848aece2980e67134a27bc1cab4a531b048790b7b36638e618d59f3f3e8ddcb538cd24723135266899a02b7c8952a73d81c4848e672c21c99c40c5af0
 DIST dafny-3.7.3-x64-ubuntu-16.04.zip 76169341 BLAKE2B eb8bee64a0bd39b8af0996e298590c83bcf306dbfda5bc486ef70b13187b4fc0131fd2b98d5eb1b87a3177b1f25c5cd64b82522e4d57cf1b0d2aa1eb34869789 SHA512 0bdda39e8ae22eff72bd57e4ef5f07495e27156b11ff553a2e1f76731d7daa5ce6ac4f4d8b16b3365eacbbd25bc81d88cbfece9a0350e2a0faac2a035f3d5561
 DIST dafny-3.8.0-x64-ubuntu-16.04.zip 76181911 BLAKE2B 9fbae78bb08ed448a164188758c53de6eb928f16e941ee2830c5d8ed3980e3f4ccdd4f1b99c30061a5838ef96dd71ad0ac4a69ffdf45ca8a428e37cbd1f8049d SHA512 43628709dfe34d91fda3b723e4f9deacace463a4002c520d62b319f3618b2e62dec93e2fd913926e41c8ef75dd3535a909c4eeb2e58e00faa6ffdd1f028f8277
 DIST dafny-3.8.1-x64-ubuntu-16.04.zip 76192825 BLAKE2B fbfe65f917fb1c04151969e466097ea5703b70fea5c2e04ed6ed756d05c3c46796951d641cca66c30b59d4b70dcee2bef9c7ccac6cd04fe3204b41a08910197c SHA512 ae10f912977827525902317a2215b3066f4271efd2dfdf314859b8c82cfb18ea881bafba5bde0d9f31f3b1429bef252774ca7a495f6661dff7f9f0d5fe042806

diff --git a/dev-lang/dafny-bin/dafny-bin-3.7.2.ebuild b/dev-lang/dafny-bin/dafny-bin-3.7.2.ebuild
deleted file mode 100644
index 8601d4b64977..000000000000
--- a/dev-lang/dafny-bin/dafny-bin-3.7.2.ebuild
+++ /dev/null
@@ -1,50 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-DESCRIPTION="Verification-aware programming language"
-HOMEPAGE="https://dafny.org/"
-SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV}-x64-ubuntu-16.04.zip"
-
-LICENSE="MIT"
-SLOT="0"
-KEYWORDS="-* ~amd64"  # Binaries are compiled only for x86_64.
-REQUIRED_USE="elibc_glibc"
-
-RDEPEND="
-	dev-libs/userspace-rcu
-	dev-util/lttng-ust
-	sci-mathematics/z3
-"
-BDEPEND="app-arch/unzip"
-
-S="${WORKDIR}"/dafny
-QA_PREBUILT="*"
-
-src_prepare() {
-	default
-
-	# Remove bundled z3.
-	# NOTICE: New versions do not need the bundled one but older versions
-	# hardcoded the path relative to "dafny" binary.
-	# While bumping make sure to verify that system's "z3" is used.
-	rm -r z3 || die
-}
-
-src_install() {
-	local dest=/opt/dafny
-
-	insinto ${dest}
-	# Maybe too general, but this installation mode matched how it arrives.
-	insopts -m0755
-	doins "${S}"/*
-
-	local bin
-	for bin in DafnyServer dafny ; do
-		dosym ../../${dest}/${bin} /usr/bin/${bin}
-	done
-
-	# Make "dafny-server" clients happy.
-	dosym ../../${dest}/DafnyServer /usr/bin/dafny-server
-}


^ permalink raw reply related	[flat|nested] 45+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2022-08-27  1:27 Maciej Barć
  0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2022-08-27  1:27 UTC (permalink / raw
  To: gentoo-commits

commit:     3f50d6f5c1b74194e7a32bbe2ab741f9d540ce45
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sat Aug 27 01:16:43 2022 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Aug 27 01:27:02 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3f50d6f5

dev-lang/dafny-bin: bump to 3.8.0

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

 dev-lang/dafny-bin/Manifest               |  1 +
 dev-lang/dafny-bin/dafny-bin-3.8.0.ebuild | 51 +++++++++++++++++++++++++++++++
 2 files changed, 52 insertions(+)

diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index 061ade61d849..fb17c2418c44 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,3 +1,4 @@
 DIST dafny-3.7.1-x64-ubuntu-16.04.zip 76008449 BLAKE2B 5685dcc04e750960fa9bed536d6fae8f70979be899349eaab54bb7045a6e6a9849988be10db3ad33c9096a8d91d17f7b055e50507f736a169aa4fdcb6654b8f6 SHA512 689f3a125e336806c7fe15a8e0cc95e3242f99b719bfae57715313699880c21b13cf2eddfe4163e40da8de20f81c7148dce132dbc511b7a5c2320c1e96d2040a
 DIST dafny-3.7.2-x64-ubuntu-16.04.zip 76166815 BLAKE2B a0b2531dedbe413298b6d92a65c854d70785d8732688d1e3556a5e5dc8c268b36dbb994e35960f2a18ecf40e64a6ff0912fa8df79beb6f2f81164be51907d262 SHA512 e472b1c848aece2980e67134a27bc1cab4a531b048790b7b36638e618d59f3f3e8ddcb538cd24723135266899a02b7c8952a73d81c4848e672c21c99c40c5af0
 DIST dafny-3.7.3-x64-ubuntu-16.04.zip 76169341 BLAKE2B eb8bee64a0bd39b8af0996e298590c83bcf306dbfda5bc486ef70b13187b4fc0131fd2b98d5eb1b87a3177b1f25c5cd64b82522e4d57cf1b0d2aa1eb34869789 SHA512 0bdda39e8ae22eff72bd57e4ef5f07495e27156b11ff553a2e1f76731d7daa5ce6ac4f4d8b16b3365eacbbd25bc81d88cbfece9a0350e2a0faac2a035f3d5561
+DIST dafny-3.8.0-x64-ubuntu-16.04.zip 76181911 BLAKE2B 9fbae78bb08ed448a164188758c53de6eb928f16e941ee2830c5d8ed3980e3f4ccdd4f1b99c30061a5838ef96dd71ad0ac4a69ffdf45ca8a428e37cbd1f8049d SHA512 43628709dfe34d91fda3b723e4f9deacace463a4002c520d62b319f3618b2e62dec93e2fd913926e41c8ef75dd3535a909c4eeb2e58e00faa6ffdd1f028f8277

diff --git a/dev-lang/dafny-bin/dafny-bin-3.8.0.ebuild b/dev-lang/dafny-bin/dafny-bin-3.8.0.ebuild
new file mode 100644
index 000000000000..39a827f48c53
--- /dev/null
+++ b/dev-lang/dafny-bin/dafny-bin-3.8.0.ebuild
@@ -0,0 +1,51 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+DESCRIPTION="Verification-aware programming language"
+HOMEPAGE="https://dafny.org/"
+SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV}-x64-ubuntu-16.04.zip"
+
+LICENSE="MIT"
+SLOT="0"
+KEYWORDS="-* ~amd64"  # Binaries are compiled only for x86_64.
+REQUIRED_USE="elibc_glibc"
+
+RDEPEND="
+	dev-libs/userspace-rcu
+	dev-util/lttng-ust
+	sci-mathematics/z3
+"
+BDEPEND="app-arch/unzip"
+
+S="${WORKDIR}"/dafny
+QA_PREBUILT="*"
+
+src_prepare() {
+	default
+
+	# Remove bundled z3.
+	# NOTICE: New versions do not need the bundled one but older versions
+	# hardcoded the path relative to "dafny" binary.
+	# While bumping make sure to verify that system's "z3" is used
+	# by, for example, compiling/verifying a simple dafny program.
+	rm -r z3 || die
+}
+
+src_install() {
+	local dest=/opt/dafny
+
+	insinto ${dest}
+	# Maybe too general, but this installation mode matched how it arrives.
+	insopts -m0755
+	doins "${S}"/*
+
+	local bin
+	for bin in DafnyServer dafny ; do
+		dosym ../../${dest}/${bin} /usr/bin/${bin}
+	done
+
+	# Make "dafny-server" clients happy.
+	dosym ../../${dest}/DafnyServer /usr/bin/dafny-server
+}


^ permalink raw reply related	[flat|nested] 45+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2022-08-27  1:27 Maciej Barć
  0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2022-08-27  1:27 UTC (permalink / raw
  To: gentoo-commits

commit:     cdf6b1e3d5b985b8cf651dd8bf1d9ac0ab6fe407
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sat Aug 27 01:16:56 2022 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Aug 27 01:27:02 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cdf6b1e3

dev-lang/dafny-bin: drop old 3.7.1-r2

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

 dev-lang/dafny-bin/Manifest                  |  1 -
 dev-lang/dafny-bin/dafny-bin-3.7.1-r2.ebuild | 50 ----------------------------
 2 files changed, 51 deletions(-)

diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index fb17c2418c44..f9268f44c180 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,4 +1,3 @@
-DIST dafny-3.7.1-x64-ubuntu-16.04.zip 76008449 BLAKE2B 5685dcc04e750960fa9bed536d6fae8f70979be899349eaab54bb7045a6e6a9849988be10db3ad33c9096a8d91d17f7b055e50507f736a169aa4fdcb6654b8f6 SHA512 689f3a125e336806c7fe15a8e0cc95e3242f99b719bfae57715313699880c21b13cf2eddfe4163e40da8de20f81c7148dce132dbc511b7a5c2320c1e96d2040a
 DIST dafny-3.7.2-x64-ubuntu-16.04.zip 76166815 BLAKE2B a0b2531dedbe413298b6d92a65c854d70785d8732688d1e3556a5e5dc8c268b36dbb994e35960f2a18ecf40e64a6ff0912fa8df79beb6f2f81164be51907d262 SHA512 e472b1c848aece2980e67134a27bc1cab4a531b048790b7b36638e618d59f3f3e8ddcb538cd24723135266899a02b7c8952a73d81c4848e672c21c99c40c5af0
 DIST dafny-3.7.3-x64-ubuntu-16.04.zip 76169341 BLAKE2B eb8bee64a0bd39b8af0996e298590c83bcf306dbfda5bc486ef70b13187b4fc0131fd2b98d5eb1b87a3177b1f25c5cd64b82522e4d57cf1b0d2aa1eb34869789 SHA512 0bdda39e8ae22eff72bd57e4ef5f07495e27156b11ff553a2e1f76731d7daa5ce6ac4f4d8b16b3365eacbbd25bc81d88cbfece9a0350e2a0faac2a035f3d5561
 DIST dafny-3.8.0-x64-ubuntu-16.04.zip 76181911 BLAKE2B 9fbae78bb08ed448a164188758c53de6eb928f16e941ee2830c5d8ed3980e3f4ccdd4f1b99c30061a5838ef96dd71ad0ac4a69ffdf45ca8a428e37cbd1f8049d SHA512 43628709dfe34d91fda3b723e4f9deacace463a4002c520d62b319f3618b2e62dec93e2fd913926e41c8ef75dd3535a909c4eeb2e58e00faa6ffdd1f028f8277

diff --git a/dev-lang/dafny-bin/dafny-bin-3.7.1-r2.ebuild b/dev-lang/dafny-bin/dafny-bin-3.7.1-r2.ebuild
deleted file mode 100644
index 8601d4b64977..000000000000
--- a/dev-lang/dafny-bin/dafny-bin-3.7.1-r2.ebuild
+++ /dev/null
@@ -1,50 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-DESCRIPTION="Verification-aware programming language"
-HOMEPAGE="https://dafny.org/"
-SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV}-x64-ubuntu-16.04.zip"
-
-LICENSE="MIT"
-SLOT="0"
-KEYWORDS="-* ~amd64"  # Binaries are compiled only for x86_64.
-REQUIRED_USE="elibc_glibc"
-
-RDEPEND="
-	dev-libs/userspace-rcu
-	dev-util/lttng-ust
-	sci-mathematics/z3
-"
-BDEPEND="app-arch/unzip"
-
-S="${WORKDIR}"/dafny
-QA_PREBUILT="*"
-
-src_prepare() {
-	default
-
-	# Remove bundled z3.
-	# NOTICE: New versions do not need the bundled one but older versions
-	# hardcoded the path relative to "dafny" binary.
-	# While bumping make sure to verify that system's "z3" is used.
-	rm -r z3 || die
-}
-
-src_install() {
-	local dest=/opt/dafny
-
-	insinto ${dest}
-	# Maybe too general, but this installation mode matched how it arrives.
-	insopts -m0755
-	doins "${S}"/*
-
-	local bin
-	for bin in DafnyServer dafny ; do
-		dosym ../../${dest}/${bin} /usr/bin/${bin}
-	done
-
-	# Make "dafny-server" clients happy.
-	dosym ../../${dest}/DafnyServer /usr/bin/dafny-server
-}


^ permalink raw reply related	[flat|nested] 45+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2022-07-22  2:26 Maciej Barć
  0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2022-07-22  2:26 UTC (permalink / raw
  To: gentoo-commits

commit:     c355bfcaf66e31d9c811d77db6752be8080137e9
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Fri Jul 22 01:24:25 2022 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Fri Jul 22 01:24:25 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c355bfca

dev-lang/dafny-bin: bump to 3.7.3

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

 dev-lang/dafny-bin/Manifest               |  1 +
 dev-lang/dafny-bin/dafny-bin-3.7.3.ebuild | 50 +++++++++++++++++++++++++++++++
 2 files changed, 51 insertions(+)

diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index 554e14530b71..061ade61d849 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,2 +1,3 @@
 DIST dafny-3.7.1-x64-ubuntu-16.04.zip 76008449 BLAKE2B 5685dcc04e750960fa9bed536d6fae8f70979be899349eaab54bb7045a6e6a9849988be10db3ad33c9096a8d91d17f7b055e50507f736a169aa4fdcb6654b8f6 SHA512 689f3a125e336806c7fe15a8e0cc95e3242f99b719bfae57715313699880c21b13cf2eddfe4163e40da8de20f81c7148dce132dbc511b7a5c2320c1e96d2040a
 DIST dafny-3.7.2-x64-ubuntu-16.04.zip 76166815 BLAKE2B a0b2531dedbe413298b6d92a65c854d70785d8732688d1e3556a5e5dc8c268b36dbb994e35960f2a18ecf40e64a6ff0912fa8df79beb6f2f81164be51907d262 SHA512 e472b1c848aece2980e67134a27bc1cab4a531b048790b7b36638e618d59f3f3e8ddcb538cd24723135266899a02b7c8952a73d81c4848e672c21c99c40c5af0
+DIST dafny-3.7.3-x64-ubuntu-16.04.zip 76169341 BLAKE2B eb8bee64a0bd39b8af0996e298590c83bcf306dbfda5bc486ef70b13187b4fc0131fd2b98d5eb1b87a3177b1f25c5cd64b82522e4d57cf1b0d2aa1eb34869789 SHA512 0bdda39e8ae22eff72bd57e4ef5f07495e27156b11ff553a2e1f76731d7daa5ce6ac4f4d8b16b3365eacbbd25bc81d88cbfece9a0350e2a0faac2a035f3d5561

diff --git a/dev-lang/dafny-bin/dafny-bin-3.7.3.ebuild b/dev-lang/dafny-bin/dafny-bin-3.7.3.ebuild
new file mode 100644
index 000000000000..8601d4b64977
--- /dev/null
+++ b/dev-lang/dafny-bin/dafny-bin-3.7.3.ebuild
@@ -0,0 +1,50 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+DESCRIPTION="Verification-aware programming language"
+HOMEPAGE="https://dafny.org/"
+SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV}-x64-ubuntu-16.04.zip"
+
+LICENSE="MIT"
+SLOT="0"
+KEYWORDS="-* ~amd64"  # Binaries are compiled only for x86_64.
+REQUIRED_USE="elibc_glibc"
+
+RDEPEND="
+	dev-libs/userspace-rcu
+	dev-util/lttng-ust
+	sci-mathematics/z3
+"
+BDEPEND="app-arch/unzip"
+
+S="${WORKDIR}"/dafny
+QA_PREBUILT="*"
+
+src_prepare() {
+	default
+
+	# Remove bundled z3.
+	# NOTICE: New versions do not need the bundled one but older versions
+	# hardcoded the path relative to "dafny" binary.
+	# While bumping make sure to verify that system's "z3" is used.
+	rm -r z3 || die
+}
+
+src_install() {
+	local dest=/opt/dafny
+
+	insinto ${dest}
+	# Maybe too general, but this installation mode matched how it arrives.
+	insopts -m0755
+	doins "${S}"/*
+
+	local bin
+	for bin in DafnyServer dafny ; do
+		dosym ../../${dest}/${bin} /usr/bin/${bin}
+	done
+
+	# Make "dafny-server" clients happy.
+	dosym ../../${dest}/DafnyServer /usr/bin/dafny-server
+}


^ permalink raw reply related	[flat|nested] 45+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2022-07-19 19:32 Maciej Barć
  0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2022-07-19 19:32 UTC (permalink / raw
  To: gentoo-commits

commit:     c83357b8a831e17aa628222bd34fb934af82d2b8
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Tue Jul 19 18:28:14 2022 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Tue Jul 19 19:32:11 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c83357b8

dev-lang/dafny-bin: bump to 3.7.2

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

 dev-lang/dafny-bin/Manifest               |  1 +
 dev-lang/dafny-bin/dafny-bin-3.7.2.ebuild | 50 +++++++++++++++++++++++++++++++
 2 files changed, 51 insertions(+)

diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index 6e4055cab706..554e14530b71 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1 +1,2 @@
 DIST dafny-3.7.1-x64-ubuntu-16.04.zip 76008449 BLAKE2B 5685dcc04e750960fa9bed536d6fae8f70979be899349eaab54bb7045a6e6a9849988be10db3ad33c9096a8d91d17f7b055e50507f736a169aa4fdcb6654b8f6 SHA512 689f3a125e336806c7fe15a8e0cc95e3242f99b719bfae57715313699880c21b13cf2eddfe4163e40da8de20f81c7148dce132dbc511b7a5c2320c1e96d2040a
+DIST dafny-3.7.2-x64-ubuntu-16.04.zip 76166815 BLAKE2B a0b2531dedbe413298b6d92a65c854d70785d8732688d1e3556a5e5dc8c268b36dbb994e35960f2a18ecf40e64a6ff0912fa8df79beb6f2f81164be51907d262 SHA512 e472b1c848aece2980e67134a27bc1cab4a531b048790b7b36638e618d59f3f3e8ddcb538cd24723135266899a02b7c8952a73d81c4848e672c21c99c40c5af0

diff --git a/dev-lang/dafny-bin/dafny-bin-3.7.2.ebuild b/dev-lang/dafny-bin/dafny-bin-3.7.2.ebuild
new file mode 100644
index 000000000000..8601d4b64977
--- /dev/null
+++ b/dev-lang/dafny-bin/dafny-bin-3.7.2.ebuild
@@ -0,0 +1,50 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+DESCRIPTION="Verification-aware programming language"
+HOMEPAGE="https://dafny.org/"
+SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV}-x64-ubuntu-16.04.zip"
+
+LICENSE="MIT"
+SLOT="0"
+KEYWORDS="-* ~amd64"  # Binaries are compiled only for x86_64.
+REQUIRED_USE="elibc_glibc"
+
+RDEPEND="
+	dev-libs/userspace-rcu
+	dev-util/lttng-ust
+	sci-mathematics/z3
+"
+BDEPEND="app-arch/unzip"
+
+S="${WORKDIR}"/dafny
+QA_PREBUILT="*"
+
+src_prepare() {
+	default
+
+	# Remove bundled z3.
+	# NOTICE: New versions do not need the bundled one but older versions
+	# hardcoded the path relative to "dafny" binary.
+	# While bumping make sure to verify that system's "z3" is used.
+	rm -r z3 || die
+}
+
+src_install() {
+	local dest=/opt/dafny
+
+	insinto ${dest}
+	# Maybe too general, but this installation mode matched how it arrives.
+	insopts -m0755
+	doins "${S}"/*
+
+	local bin
+	for bin in DafnyServer dafny ; do
+		dosym ../../${dest}/${bin} /usr/bin/${bin}
+	done
+
+	# Make "dafny-server" clients happy.
+	dosym ../../${dest}/DafnyServer /usr/bin/dafny-server
+}


^ permalink raw reply related	[flat|nested] 45+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2022-06-30 15:33 Maciej Barć
  0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2022-06-30 15:33 UTC (permalink / raw
  To: gentoo-commits

commit:     b30329214eaa780ff4a9f210855234099ad09737
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Thu Jun 30 15:33:08 2022 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Thu Jun 30 15:33:08 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b3032921

dev-lang/dafny-bin: use insopts

Closes: https://bugs.gentoo.org/855365
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 .../{dafny-bin-3.7.1-r1.ebuild => dafny-bin-3.7.1-r2.ebuild}          | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dev-lang/dafny-bin/dafny-bin-3.7.1-r1.ebuild b/dev-lang/dafny-bin/dafny-bin-3.7.1-r2.ebuild
similarity index 92%
rename from dev-lang/dafny-bin/dafny-bin-3.7.1-r1.ebuild
rename to dev-lang/dafny-bin/dafny-bin-3.7.1-r2.ebuild
index 9677b86513fe..8601d4b64977 100644
--- a/dev-lang/dafny-bin/dafny-bin-3.7.1-r1.ebuild
+++ b/dev-lang/dafny-bin/dafny-bin-3.7.1-r2.ebuild
@@ -36,12 +36,12 @@ src_install() {
 	local dest=/opt/dafny
 
 	insinto ${dest}
+	# Maybe too general, but this installation mode matched how it arrives.
+	insopts -m0755
 	doins "${S}"/*
-	fperms 755 ${dest}/*.so
 
 	local bin
 	for bin in DafnyServer dafny ; do
-		fperms 755 ${dest}/${bin}
 		dosym ../../${dest}/${bin} /usr/bin/${bin}
 	done
 


^ permalink raw reply related	[flat|nested] 45+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2022-06-30 13:13 Maciej Barć
  0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2022-06-30 13:13 UTC (permalink / raw
  To: gentoo-commits

commit:     5c6894c8043cfa204b6a4b1dcb53dde3ed37dea1
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Thu Jun 30 13:10:07 2022 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Thu Jun 30 13:13:41 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5c6894c8

dev-lang/dafny-bin: add missing runtime deps; exe bit for ibs

Closes: https://bugs.gentoo.org/855215
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 .../{dafny-bin-3.7.1.ebuild => dafny-bin-3.7.1-r1.ebuild}         | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/dev-lang/dafny-bin/dafny-bin-3.7.1.ebuild b/dev-lang/dafny-bin/dafny-bin-3.7.1-r1.ebuild
similarity index 91%
rename from dev-lang/dafny-bin/dafny-bin-3.7.1.ebuild
rename to dev-lang/dafny-bin/dafny-bin-3.7.1-r1.ebuild
index ee4df7023ffb..9677b86513fe 100644
--- a/dev-lang/dafny-bin/dafny-bin-3.7.1.ebuild
+++ b/dev-lang/dafny-bin/dafny-bin-3.7.1-r1.ebuild
@@ -12,7 +12,11 @@ SLOT="0"
 KEYWORDS="-* ~amd64"  # Binaries are compiled only for x86_64.
 REQUIRED_USE="elibc_glibc"
 
-RDEPEND="sci-mathematics/z3"
+RDEPEND="
+	dev-libs/userspace-rcu
+	dev-util/lttng-ust
+	sci-mathematics/z3
+"
 BDEPEND="app-arch/unzip"
 
 S="${WORKDIR}"/dafny
@@ -33,8 +37,8 @@ src_install() {
 
 	insinto ${dest}
 	doins "${S}"/*
+	fperms 755 ${dest}/*.so
 
-	# CONSIDER: Just the entry-point binaries need executable permissions?
 	local bin
 	for bin in DafnyServer dafny ; do
 		fperms 755 ${dest}/${bin}


^ permalink raw reply related	[flat|nested] 45+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2022-06-29 16:00 Maciej Barć
  0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2022-06-29 16:00 UTC (permalink / raw
  To: gentoo-commits

commit:     cac9016508d0b21c96651c29c666d12da080a4be
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Wed Jun 29 15:58:21 2022 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Wed Jun 29 15:58:36 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cac90165

dev-lang/dafny-bin: new package; add version 3.7.1

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

 dev-lang/dafny-bin/Manifest               |  1 +
 dev-lang/dafny-bin/dafny-bin-3.7.1.ebuild | 46 +++++++++++++++++++++++++++++++
 dev-lang/dafny-bin/metadata.xml           | 33 ++++++++++++++++++++++
 3 files changed, 80 insertions(+)

diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
new file mode 100644
index 000000000000..6e4055cab706
--- /dev/null
+++ b/dev-lang/dafny-bin/Manifest
@@ -0,0 +1 @@
+DIST dafny-3.7.1-x64-ubuntu-16.04.zip 76008449 BLAKE2B 5685dcc04e750960fa9bed536d6fae8f70979be899349eaab54bb7045a6e6a9849988be10db3ad33c9096a8d91d17f7b055e50507f736a169aa4fdcb6654b8f6 SHA512 689f3a125e336806c7fe15a8e0cc95e3242f99b719bfae57715313699880c21b13cf2eddfe4163e40da8de20f81c7148dce132dbc511b7a5c2320c1e96d2040a

diff --git a/dev-lang/dafny-bin/dafny-bin-3.7.1.ebuild b/dev-lang/dafny-bin/dafny-bin-3.7.1.ebuild
new file mode 100644
index 000000000000..ee4df7023ffb
--- /dev/null
+++ b/dev-lang/dafny-bin/dafny-bin-3.7.1.ebuild
@@ -0,0 +1,46 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+DESCRIPTION="Verification-aware programming language"
+HOMEPAGE="https://dafny.org/"
+SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV}-x64-ubuntu-16.04.zip"
+
+LICENSE="MIT"
+SLOT="0"
+KEYWORDS="-* ~amd64"  # Binaries are compiled only for x86_64.
+REQUIRED_USE="elibc_glibc"
+
+RDEPEND="sci-mathematics/z3"
+BDEPEND="app-arch/unzip"
+
+S="${WORKDIR}"/dafny
+QA_PREBUILT="*"
+
+src_prepare() {
+	default
+
+	# Remove bundled z3.
+	# NOTICE: New versions do not need the bundled one but older versions
+	# hardcoded the path relative to "dafny" binary.
+	# While bumping make sure to verify that system's "z3" is used.
+	rm -r z3 || die
+}
+
+src_install() {
+	local dest=/opt/dafny
+
+	insinto ${dest}
+	doins "${S}"/*
+
+	# CONSIDER: Just the entry-point binaries need executable permissions?
+	local bin
+	for bin in DafnyServer dafny ; do
+		fperms 755 ${dest}/${bin}
+		dosym ../../${dest}/${bin} /usr/bin/${bin}
+	done
+
+	# Make "dafny-server" clients happy.
+	dosym ../../${dest}/DafnyServer /usr/bin/dafny-server
+}

diff --git a/dev-lang/dafny-bin/metadata.xml b/dev-lang/dafny-bin/metadata.xml
new file mode 100644
index 000000000000..f0b8fd07b684
--- /dev/null
+++ b/dev-lang/dafny-bin/metadata.xml
@@ -0,0 +1,33 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
+
+<pkgmetadata>
+  <maintainer type="person">
+    <email>xgqt@gentoo.org</email>
+    <name>Maciej Barć</name>
+  </maintainer>
+  <longdescription>
+    Dafny is a verification-ready programming language. As you type in your
+    program, Dafny's verifier constantly looks over your shoulder, flags any
+    errors, shows you counterexamples, and congratulates you when your code
+    matches your specifications. When you're done, Dafny can compile your code
+    to C#, Java, JavaScript or Go (more to come!), so it can integrate with
+    your existing workflow. Dafny will give you assurance that your code meets
+    the specifications you write, while letting you write both code and
+    specifications in the Dafny programming language itself. Since verification
+    is an integral part of development, it will thus reduce the risk of costly
+    late-stage bugs that are typically missed by testing. Dafny has support for
+    common programming concepts such as classes and trait inheritance,
+    inductive datatypes that can have methods and are suitable for pattern
+    matching, lazily unbounded datatypes, subset types e.g. for bounded
+    integers, lambdas, and immutable and mutable data structures. Dafny also
+    offers an extensive toolbox for mathematical proofs, such as unbounded and
+    bounded quantifiers, calculational proofs, pre- and post-conditions,
+    termination conditions, loop invariants, and read/write specifications.
+  </longdescription>
+  <upstream>
+    <changelog>https://github.com/dafny-lang/dafny/releases/</changelog>
+    <bugs-to>https://github.com/dafny-lang/dafny/issues/</bugs-to>
+    <remote-id type="github">dafny-lang/dafny</remote-id>
+  </upstream>
+</pkgmetadata>


^ permalink raw reply related	[flat|nested] 45+ messages in thread

end of thread, other threads:[~2024-10-31 23:17 UTC | newest]

Thread overview: 45+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2022-12-15 21:51 [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/ Maciej Barć
  -- strict thread matches above, loose matches on Subject: below --
2024-10-31 23:17 Maciej Barć
2024-10-31 23:17 Maciej Barć
2024-10-23 16:48 Sam James
2024-09-22 22:04 Maciej Barć
2024-09-22 22:04 Maciej Barć
2024-08-01 16:47 Arthur Zamarin
2024-06-27 22:42 Maciej Barć
2024-04-29  0:06 Sam James
2024-03-29  3:06 Maciej Barć
2024-03-29  3:06 Maciej Barć
2024-03-20 19:30 Maciej Barć
2024-03-20 19:30 Maciej Barć
2024-01-18 17:25 Sam James
2023-12-13  2:27 Maciej Barć
2023-11-15 19:27 Maciej Barć
2023-11-15 19:27 Maciej Barć
2023-11-13 19:53 Sam James
2023-10-28 16:48 Arthur Zamarin
2023-09-30 14:24 Maciej Barć
2023-09-30 14:24 Maciej Barć
2023-09-18  0:17 Sam James
2023-09-17 19:32 Maciej Barć
2023-09-16 14:48 Maciej Barć
2023-02-28 18:03 Maciej Barć
2023-02-21 23:54 Maciej Barć
2023-02-01 19:38 Sam James
2023-02-01 14:10 Maciej Barć
2023-02-01 14:09 Maciej Barć
2023-02-01 14:09 Maciej Barć
2022-12-15 21:51 Maciej Barć
2022-11-18 20:38 Maciej Barć
2022-11-01  2:38 Maciej Barć
2022-11-01  2:38 Maciej Barć
2022-10-06  2:28 Maciej Barć
2022-10-06  1:59 Maciej Barć
2022-09-02  2:23 Maciej Barć
2022-09-02  2:23 Maciej Barć
2022-08-27  1:27 Maciej Barć
2022-08-27  1:27 Maciej Barć
2022-07-22  2:26 Maciej Barć
2022-07-19 19:32 Maciej Barć
2022-06-30 15:33 Maciej Barć
2022-06-30 13:13 Maciej Barć
2022-06-29 16:00 Maciej Barć

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox