[gentoo-commits] repo/gentoo:master commit in: dev-lang/idris2/

[Maciej Barć]

commit:     fffb2924f0a58e6ac708731417d7dfa275062c69
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Thu Feb  2 17:42:24 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=fffb2924

dev-lang/idris2: H -> COMMIT

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

 dev-lang/idris2/idris2-0.5.1_p20220224-r1.ebuild | 8 ++++----
 dev-lang/idris2/idris2-0.5.1_p20220920.ebuild    | 8 ++++----
 2 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/dev-lang/idris2/idris2-0.5.1_p20220224-r1.ebuild 
b/dev-lang/idris2/idris2-0.5.1_p20220224-r1.ebuild
index 05c702574bdc..580ecc1369ce 100644
--- a/dev-lang/idris2/idris2-0.5.1_p20220224-r1.ebuild
+++ b/dev-lang/idris2/idris2-0.5.1_p20220224-r1.ebuild
@@ -1,9 +1,9 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2023 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=8
 
-H=1011cc6162bad580b0c51237c86fbf4fe2035fbe
+[[ ${PV} == *_p20220224 ]] && COMMIT=1011cc6162bad580b0c51237c86fbf4fe2035fbe
 
 inherit toolchain-funcs
 
@@ -14,9 +14,9 @@ if [[ "${PV}" == *9999* ]] ; then
        inherit git-r3
        EGIT_REPO_URI="https://github.com/idris-lang/${PN^}.git";
 else
-       SRC_URI="https://github.com/idris-lang/${PN^}/archive/${H}.tar.gz -> 
${P}.tar.gz"
+       SRC_URI="https://github.com/idris-lang/${PN^}/archive/${COMMIT}.tar.gz 
-> ${P}.tar.gz"
        KEYWORDS="~amd64 ~x86"
-       S="${WORKDIR}/${PN^}-${H}"
+       S="${WORKDIR}/${PN^}-${COMMIT}"
 fi
 
 LICENSE="BSD"

diff --git a/dev-lang/idris2/idris2-0.5.1_p20220920.ebuild 
b/dev-lang/idris2/idris2-0.5.1_p20220920.ebuild
index d3ca44e77e3d..7b8da7f699ec 100644
--- a/dev-lang/idris2/idris2-0.5.1_p20220920.ebuild
+++ b/dev-lang/idris2/idris2-0.5.1_p20220920.ebuild
@@ -1,9 +1,9 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2023 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=8
 
-H=1142f73e05fef6a57141b8328944b13872d4135e
+[[ ${PV} == *_p20220920 ]] && COMMIT=1142f73e05fef6a57141b8328944b13872d4135e
 
 inherit toolchain-funcs
 
@@ -14,9 +14,9 @@ if [[ "${PV}" == *9999* ]] ; then
        inherit git-r3
        EGIT_REPO_URI="https://github.com/idris-lang/${PN^}.git";
 else
-       SRC_URI="https://github.com/idris-lang/${PN^}/archive/${H}.tar.gz -> 
${P}.tar.gz"
+       SRC_URI="https://github.com/idris-lang/${PN^}/archive/${COMMIT}.tar.gz 
-> ${P}.tar.gz"
        KEYWORDS="~amd64 ~x86"
-       S="${WORKDIR}/${PN^}-${H}"
+       S="${WORKDIR}/${PN^}-${COMMIT}"
 fi
 
 LICENSE="BSD"