Сравнение easycrypt-2022.04_p20230324 с easycrypt-2023.09

/usr/portage/sci-mathematics/easycrypt/easycrypt-2023.09.ebuild 2023-10-09 14:52:35.108368492 +0300
8 8
DESCRIPTION="Computer-Aided Cryptographic Proofs"
9 9
HOMEPAGE="https://github.com/EasyCrypt/easycrypt/"
10 10

  
11
if [[ ${PV} == *9999* ]] ; then
11
if [[ "${PV}" == *9999* ]] ; then
12 12
	inherit git-r3
13

  
13 14
	EGIT_REPO_URI="https://github.com/EasyCrypt/${PN}.git"
14 15
else
15
	if [[ ${PV} == *_p20230324 ]] ; then
16
	   COMMIT=f62625928cc0970c88839c84897d1f6b17437519
17
	   SRC_URI="https://github.com/EasyCrypt/${PN}/archive/${COMMIT}.tar.gz
18
			-> ${P}.tar.gz"
19
	   S="${WORKDIR}"/${PN}-${COMMIT}
20
	else
21
		SRC_URI="https://github.com/EasyCrypt/${PN}/archive/${PV}.tar.gz
22
			-> ${P}.tar.gz"
23
	fi
16
	SRC_URI="https://github.com/EasyCrypt/${PN}/archive/r${PV}.tar.gz
17
		-> ${P}.tar.gz"
18
	S="${WORKDIR}/${PN}-r${PV}"
19

  
24 20
	KEYWORDS="~amd64"
25 21
fi
26 22

  
......
31 27
RDEPEND="
32 28
	>=dev-lang/ocaml-4.08.0:=[ocamlopt?]
33 29
	>=sci-mathematics/why3-1.6:= <sci-mathematics/why3-1.7:=
30

  
34 31
	dev-ml/batteries:=
35 32
	dev-ml/camlp-streams:=
36 33
	dev-ml/camlzip:=
......
41 38
	dev-ml/yojson:=
42 39
	dev-ml/zarith:=
43 40
"
44
DEPEND="${RDEPEND}"
41
DEPEND="
42
	${RDEPEND}
43
"
45 44

  
46 45
src_prepare() {
47 46
	local theories="[\"$(ocamlc -where)/easycrypt/theories\"]"
Спасибо!