[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/easycrypt/

["Maciej Barć" <xgqt@gentoo.org>]

commit:     83f6d3ed4097525d17521208136b0f7d8890009f
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Thu Feb  2 17:45:39 2023 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Thu Feb  2 17:46:45 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=83f6d3ed

sci-mathematics/easycrypt: H -> COMMIT

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

 sci-mathematics/easycrypt/easycrypt-1.0_pre20220303-r1.ebuild | 10 +++++-----
 sci-mathematics/easycrypt/easycrypt-2022.04_p20220505.ebuild  | 10 +++++-----
 2 files changed, 10 insertions(+), 10 deletions(-)

diff --git a/sci-mathematics/easycrypt/easycrypt-1.0_pre20220303-r1.ebuild b/sci-mathematics/easycrypt/easycrypt-1.0_pre20220303-r1.ebuild
index c4f262d6d87c..bb9b0527be75 100644
--- a/sci-mathematics/easycrypt/easycrypt-1.0_pre20220303-r1.ebuild
+++ b/sci-mathematics/easycrypt/easycrypt-1.0_pre20220303-r1.ebuild
@@ -1,21 +1,21 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2023 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=8
 
-H=c98b014c131b6c0b147b852902953dd6c5771603
+[[ ${PV} == *_pre20220303 ]] && COMMIT=c98b014c131b6c0b147b852902953dd6c5771603
 
 inherit dune
 
 DESCRIPTION="Computer-Aided Cryptographic Proofs"
 HOMEPAGE="https://github.com/EasyCrypt/easycrypt"
 
-if [[ "${PV}" == *9999* ]]; then
+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/${H}.tar.gz -> ${P}.tar.gz"
-	S="${WORKDIR}/${PN}-${H}"
+	SRC_URI="https://github.com/EasyCrypt/${PN}/archive/${COMMIT}.tar.gz -> ${P}.tar.gz"
+	S="${WORKDIR}/${PN}-${COMMIT}"
 fi
 
 LICENSE="CeCILL-B CeCILL-C"

diff --git a/sci-mathematics/easycrypt/easycrypt-2022.04_p20220505.ebuild b/sci-mathematics/easycrypt/easycrypt-2022.04_p20220505.ebuild
index e83988a1a04e..6757aa7a057b 100644
--- a/sci-mathematics/easycrypt/easycrypt-2022.04_p20220505.ebuild
+++ b/sci-mathematics/easycrypt/easycrypt-2022.04_p20220505.ebuild
@@ -1,21 +1,21 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2023 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=8
 
-H=a49a0acf5f7e2776f6b10cd49f8a201ebab0cf03
+[[ ${PV} == *_p20220505 ]] && COMMIT=a49a0acf5f7e2776f6b10cd49f8a201ebab0cf03
 
 inherit dune
 
 DESCRIPTION="Computer-Aided Cryptographic Proofs"
 HOMEPAGE="https://github.com/EasyCrypt/easycrypt"
 
-if [[ "${PV}" == *9999* ]] ; then
+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/${H}.tar.gz -> ${P}.tar.gz"
-	S="${WORKDIR}"/${PN}-${H}
+	SRC_URI="https://github.com/EasyCrypt/${PN}/archive/${COMMIT}.tar.gz -> ${P}.tar.gz"
+	S="${WORKDIR}"/${PN}-${COMMIT}
 fi
 
 LICENSE="MIT"