Created attachment 775011 [details] updated ebuild The first stable version of EasyCrypt has been released by the upstream. This version provides new language features and is desirable. An updated ebuild is attached.
Comment on attachment 775011 [details] updated ebuild ># Copyright 1999-2022 Gentoo Authors ># Distributed under the terms of the GNU General Public License v2 > >EAPI=8 > >inherit dune > >MY_PV=r2022.04 > >DESCRIPTION="Computer-Aided Cryptographic Proofs" >HOMEPAGE="https://github.com/EasyCrypt/easycrypt" > >if [[ "${PV}" == *9999* ]]; then > inherit git-r3 > EGIT_REPO_URI="https://github.com/EasyCrypt/${PN}.git" >else > SRC_URI="https://github.com/EasyCrypt/${PN}/archive/refs/tags/${MY_PV}.tar.gz -> ${P}.tar.gz" > S="${WORKDIR}/${PN}-${MY_PV}" >fi > >LICENSE="MIT" >SLOT="0" >KEYWORDS="~amd64" >IUSE="+ocamlopt" > >RDEPEND=" > >=dev-lang/ocaml-4.08.0:=[ocamlopt?] > >=sci-mathematics/why3-1.4:= > dev-ml/batteries:= > dev-ml/camlzip:= > dev-ml/dune-build-info:= > dev-ml/dune-site:= > dev-ml/ocaml-inifiles:= > dev-ml/pcre-ocaml:= > dev-ml/yojson:= > dev-ml/zarith:= >" >DEPEND="${RDEPEND}" > >src_prepare() { > local theories="[\"$(ocamlc -where)/easycrypt/theories\"]" > sed -i "s|EcRelocate\.Sites\.theories|${theories}|g" src/ec.ml || die > > default >}
(In reply to Kai-Chun Ning from comment #1) > Comment on attachment 775011 [details] > updated ebuild > > ># Copyright 1999-2022 Gentoo Authors > ># Distributed under the terms of the GNU General Public License v2 > > > >EAPI=8 > > > >inherit dune > > > >MY_PV=r2022.04 > > > >DESCRIPTION="Computer-Aided Cryptographic Proofs" > >HOMEPAGE="https://github.com/EasyCrypt/easycrypt" > > > >if [[ "${PV}" == *9999* ]]; then > > inherit git-r3 > > EGIT_REPO_URI="https://github.com/EasyCrypt/${PN}.git" > >else > > SRC_URI="https://github.com/EasyCrypt/${PN}/archive/refs/tags/${MY_PV}.tar.gz -> ${P}.tar.gz" > > S="${WORKDIR}/${PN}-${MY_PV}" > >fi > > > >LICENSE="MIT" > >SLOT="0" > >KEYWORDS="~amd64" > >IUSE="+ocamlopt" > > > >RDEPEND=" > > >=dev-lang/ocaml-4.08.0:=[ocamlopt?] > > >=sci-mathematics/why3-1.4:= > > dev-ml/batteries:= > > dev-ml/camlzip:= > > dev-ml/dune-build-info:= > > dev-ml/dune-site:= > > dev-ml/ocaml-inifiles:= > > dev-ml/pcre-ocaml:= > > dev-ml/yojson:= > > dev-ml/zarith:= > >" > >DEPEND="${RDEPEND}" > > > >src_prepare() { > > local theories="[\"$(ocamlc -where)/easycrypt/theories\"]" > > sed -i "s|EcRelocate\.Sites\.theories|${theories}|g" src/ec.ml || die > > > > default > >} Upstream updated license to MIT.
Thanks Kai-Chun!
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4b39c369931b1d56fd261213476167b315abea8c commit 4b39c369931b1d56fd261213476167b315abea8c Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2022-04-27 15:43:40 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2022-04-27 15:47:48 +0000 sci-mathematics/easycrypt: bump to 2022.04 Closes: https://bugs.gentoo.org/841254 Signed-off-by: Maciej Barć <xgqt@gentoo.org> sci-mathematics/easycrypt/Manifest | 1 + sci-mathematics/easycrypt/easycrypt-2022.04.ebuild | 43 ++++++++++++++++++++++ 2 files changed, 44 insertions(+)
