dev-lang/dafny-bin: restrict binary stripping

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

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() {

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