Сравнение dafny-bin-3.12.0 с dafny-bin-4.2.0

/usr/portage/dev-lang/dafny-bin/dafny-bin-4.2.0.ebuild 2023-10-09 14:52:29.452368349 +0300
4 4
EAPI=8
5 5

  
6 6
DESCRIPTION="Verification-aware programming language"
7
HOMEPAGE="https://dafny.org/"
8
SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV}-x64-ubuntu-16.04.zip"
7
HOMEPAGE="https://dafny.org/
8
	https://github.com/dafny-lang/dafny/"
9
SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV}-x64-ubuntu-20.04.zip"
9 10

  
10 11
LICENSE="MIT"
11 12
SLOT="0"
12
KEYWORDS="-* amd64"
13
KEYWORDS="-* ~amd64"
13 14
REQUIRED_USE="elibc_glibc"
14 15

  
15 16
RDEPEND="
17
	!dev-lang/dafny
16 18
	dev-libs/userspace-rcu
17 19
	dev-util/lttng-ust:0/2.12
18 20
	sci-mathematics/z3
19 21
"
20 22
BDEPEND="app-arch/unzip"
21 23

  
22
S="${WORKDIR}"/dafny
24
S="${WORKDIR}/dafny"
23 25
QA_PREBUILT="*"
24 26

  
25 27
src_prepare() {
Спасибо!