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

[Sam James]

commit: 96224c981667cf4ef4d36837263f15497954a19e
Author: Sam James  gentoo  org>
AuthorDate: Mon Apr 29 00:06:22 2024 +
Commit: Sam James  gentoo  org>
CommitDate: Mon Apr 29 00:06:22 2024 +
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  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"
 

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

[Maciej Barć]

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

dev-lang/dafny-bin: restrict binary stripping

Signed-off-by: Maciej Barć  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

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

[Maciej Barć]

commit: 7daa94e800f8ba1ed588c232be67a3aada77389a
Author: Maciej Barć  gentoo  org>
AuthorDate: Fri Mar 29 00:01:17 2024 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Fri Mar 29 03:04:53 2024 +
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ć  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 ..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
+}

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

[Maciej Barć]

commit: 1d862d7b3db2d20803939f6cd34d9bfaa11f2846
Author: Maciej Barć  gentoo  org>
AuthorDate: Wed Mar 20 17:57:03 2024 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Wed Mar 20 19:30:52 2024 +
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ć  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..
--- 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
-}

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

[Maciej Barć]

commit: af6502c5956a20d2d329ec0c815aa4073d2667ef
Author: Maciej Barć  gentoo  org>
AuthorDate: Wed Mar 20 17:59:09 2024 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Wed Mar 20 19:30:53 2024 +
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ć  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 ..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
+}

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

[Sam James]

commit: cc7a90f1b38c685e4e031ebc8180fa381a47c1ad
Author: Sam James  gentoo  org>
AuthorDate: Thu Jan 18 17:23:45 2024 +
Commit: Sam James  gentoo  org>
CommitDate: Thu Jan 18 17:23:45 2024 +
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  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="

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

[Maciej Barć]

commit: feb6baf08a9e8c5add0704f76a352357c3afbd46
Author: Maciej Barć  gentoo  org>
AuthorDate: Wed Dec 13 00:23:26 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Wed Dec 13 02:27:11 2023 +
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ć  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 ..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
+}

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

[Maciej Barć]

commit: 6200b24b8feef47380a48034df6d190a79cc
Author: Maciej Barć  gentoo  org>
AuthorDate: Wed Nov 15 15:17:14 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Wed Nov 15 19:27:16 2023 +
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ć  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..
--- 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
-}

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

[Maciej Barć]

commit: b4771e882e42045e84a758a7b27a5f602a47e550
Author: Maciej Barć  gentoo  org>
AuthorDate: Wed Nov 15 15:17:05 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Wed Nov 15 19:27:15 2023 +
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ć  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..
--- 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
-}

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

[Sam James]

commit: fc92ca212e78404d3fb188618ea40dcce6b4a162
Author: Sam James  gentoo  org>
AuthorDate: Mon Nov 13 19:52:34 2023 +
Commit: Sam James  gentoo  org>
CommitDate: Mon Nov 13 19:52:34 2023 +
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  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="

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

[Arthur Zamarin]

commit: 272b8e82d6f45a577acae833794e02d0908da3e5
Author: Arthur Zamarin  gentoo  org>
AuthorDate: Sat Oct 28 16:48:06 2023 +
Commit: Arthur Zamarin  gentoo  org>
CommitDate: Sat Oct 28 16:48:06 2023 +
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  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="

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

[Maciej Barć]

commit: feb188f13d40fea50569f3e4fe0fa1b49460b883
Author: Maciej Barć  gentoo  org>
AuthorDate: Sat Sep 30 12:52:39 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Sat Sep 30 14:24:27 2023 +
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ć  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..
--- 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
-}

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

[Maciej Barć]

commit: d480aaec2cb9acedec8dfab023dad602d68923c0
Author: Maciej Barć  gentoo  org>
AuthorDate: Sat Sep 30 12:53:23 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Sat Sep 30 14:24:27 2023 +
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ć  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 ..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
+}

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

[Sam James]

commit: c12b53ccd6db80a581f8f2bbb26efef52704a0ca
Author: Sam James  gentoo  org>
AuthorDate: Mon Sep 18 00:17:45 2023 +
Commit: Sam James  gentoo  org>
CommitDate: Mon Sep 18 00:17:45 2023 +
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  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="

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

[Maciej Barć]

commit: 8db61c6368da21e397ff2fbd9a7157c917a88a25
Author: Maciej Barć  gentoo  org>
AuthorDate: Sun Sep 17 09:42:22 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Sun Sep 17 19:20:28 2023 +
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ć  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 ..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
+}

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

[Maciej Barć]

commit: 94685dc4b8f757f2c0d221182ccc028d613ae13f
Author: Maciej Barć  gentoo  org>
AuthorDate: Sat Sep 16 14:45:59 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Sat Sep 16 14:47:36 2023 +
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ć  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..
--- 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
-}

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

[Maciej Barć]

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

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

Signed-off-by: Maciej Barć  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 @@
 https://www.gentoo.org/dtd/metadata.dtd;>
 
 
-  
-x...@gentoo.org
-Maciej Barć
+  
+dot...@gentoo.org
+Gentoo Dotnet Project
   
   
 Dafny is a verification-ready programming language. As you type in your

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

[Maciej Barć]

commit: 76fc122086248e94e1c1b416f2a0e790b69925ce
Author: Maciej Barć  gentoo  org>
AuthorDate: Tue Feb 21 21:25:26 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Tue Feb 21 23:53:59 2023 +
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ć  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 ..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
+}

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

[Sam James]

commit: 9e268e67b7c3f4fed4ba0f7ad08317fdf852018a
Author: Sam James  gentoo  org>
AuthorDate: Wed Feb  1 19:38:01 2023 +
Commit: Sam James  gentoo  org>
CommitDate: Wed Feb  1 19:38:07 2023 +
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  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="

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

[Maciej Barć]

commit: a08c191b0d3b46b2f2fd9f106e5731d97fd7d029
Author: Maciej Barć  gentoo  org>
AuthorDate: Wed Feb  1 13:31:25 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Wed Feb  1 14:09:57 2023 +
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ć  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..
--- 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
-}

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

[Maciej Barć]

commit: 3939d117488a33f2c0404c51f86e976b896f06fa
Author: Maciej Barć  gentoo  org>
AuthorDate: Wed Feb  1 13:30:18 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Wed Feb  1 14:09:57 2023 +
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ć  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 ..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
+}

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

[Maciej Barć]

commit: 8024c8c01a62ea668dff67ff7d204896e4f9bbab
Author: Maciej Barć  gentoo  org>
AuthorDate: Wed Feb  1 13:31:09 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Wed Feb  1 14:09:57 2023 +
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ć  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..
--- 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
-}

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

[Maciej Barć]

commit: e9bfee871bd303561ed98d86343ce07ba85c3a7c
Author: Maciej Barć  gentoo  org>
AuthorDate: Thu Dec 15 21:51:03 2022 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Thu Dec 15 21:51:18 2022 +
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ć  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..
--- 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
-}

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

[Maciej Barć]

commit: 2aae64a96eaa2c1c1375bb0bb534d0fd6e70116a
Author: Maciej Barć  gentoo  org>
AuthorDate: Thu Dec 15 21:50:22 2022 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Thu Dec 15 21:51:18 2022 +
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ć  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 ..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
+}

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

[Maciej Barć]

commit: 0d8a0892d862cd9214ea39af7c081fa6aa4d7790
Author: Maciej Barć  gentoo  org>
AuthorDate: Fri Nov 18 18:59:39 2022 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Fri Nov 18 20:38:03 2022 +
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ć  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"

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

[Maciej Barć]

commit: 50a92b06aa99628f9b8f4e08ce545962161ef4c8
Author: Maciej Barć  gentoo  org>
AuthorDate: Mon Oct 31 22:57:16 2022 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Tue Nov  1 02:38:07 2022 +
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ć  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..
--- 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
-}

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

[Maciej Barć]

commit: 717ce126fd8e6a0f2d20044e0f89b536944d9037
Author: Maciej Barć  gentoo  org>
AuthorDate: Mon Oct 31 22:53:51 2022 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Tue Nov  1 02:38:06 2022 +
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ć  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 ..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
+}

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

[Maciej Barć]

commit: b4f7cb650e4e985964819af5a80c4609922caf83
Author: Maciej Barć  gentoo  org>
AuthorDate: Thu Oct  6 02:28:12 2022 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Thu Oct  6 02:28:18 2022 +
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ć  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..
--- 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
-}

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

[Maciej Barć]

commit: 022c23ece950df5476a64d16b48574be124c7f7c
Author: Maciej Barć  gentoo  org>
AuthorDate: Thu Oct  6 01:49:12 2022 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Thu Oct  6 01:59:19 2022 +
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ć  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 ..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
+}

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

[Maciej Barć]

commit: b3dc489e2b4f645738bb37b31c9c7a491d2ab31a
Author: Maciej Barć  gentoo  org>
AuthorDate: Fri Sep  2 02:22:30 2022 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Fri Sep  2 02:22:30 2022 +
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ć  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..
--- 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
-}

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

[Maciej Barć]

commit: 64e87607ee03faca4b365625be5dc32c2cbb8cd6
Author: Maciej Barć  gentoo  org>
AuthorDate: Fri Sep  2 02:21:27 2022 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Fri Sep  2 02:21:27 2022 +
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ć  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 ..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
+}

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

[Maciej Barć]

commit: cdf6b1e3d5b985b8cf651dd8bf1d9ac0ab6fe407
Author: Maciej Barć  gentoo  org>
AuthorDate: Sat Aug 27 01:16:56 2022 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Sat Aug 27 01:27:02 2022 +
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ć  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..
--- 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
-}

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

[Maciej Barć]

commit: 3f50d6f5c1b74194e7a32bbe2ab741f9d540ce45
Author: Maciej Barć  gentoo  org>
AuthorDate: Sat Aug 27 01:16:43 2022 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Sat Aug 27 01:27:02 2022 +
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ć  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 ..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
+}

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

[Maciej Barć]

commit: c355bfcaf66e31d9c811d77db6752be8080137e9
Author: Maciej Barć  gentoo  org>
AuthorDate: Fri Jul 22 01:24:25 2022 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Fri Jul 22 01:24:25 2022 +
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ć  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 ..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
+}

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

[Maciej Barć]

commit: c83357b8a831e17aa628222bd34fb934af82d2b8
Author: Maciej Barć  gentoo  org>
AuthorDate: Tue Jul 19 18:28:14 2022 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Tue Jul 19 19:32:11 2022 +
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ć  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 ..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
+}

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

[Maciej Barć]

commit: b30329214eaa780ff4a9f210855234099ad09737
Author: Maciej Barć  gentoo  org>
AuthorDate: Thu Jun 30 15:33:08 2022 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Thu Jun 30 15:33:08 2022 +
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ć  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
 

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

[Maciej Barć]

commit: 5c6894c8043cfa204b6a4b1dcb53dde3ed37dea1
Author: Maciej Barć  gentoo  org>
AuthorDate: Thu Jun 30 13:10:07 2022 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Thu Jun 30 13:13:41 2022 +
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ć  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}

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

[Maciej Barć]

commit: cac9016508d0b21c96651c29c666d12da080a4be
Author: Maciej Barć  gentoo  org>
AuthorDate: Wed Jun 29 15:58:21 2022 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Wed Jun 29 15:58:36 2022 +
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ć  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 ..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 ..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 ..f0b8fd07b684
--- /dev/null
+++ b/dev-lang/dafny-bin/metadata.xml
@@ -0,0 +1,33 @@
+
+https://www.gentoo.org/dtd/metadata.dtd;>
+
+
+  
+x...@gentoo.org
+Maciej Barć
+  
+  
+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.
+  
+  
+https://github.com/dafny-lang/dafny/releases/
+https://github.com/dafny-lang/dafny/issues/
+dafny-lang/dafny
+  
+