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"
