diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-02-02 18:42:24 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-02-02 18:46:45 +0100 |
| commit | fffb2924f0a58e6ac708731417d7dfa275062c69 (patch) | |
| tree | ae8c745714598201c89e117cfb24a58420aa37c5 /dev-lang/idris2 | |
| parent | app-emulation/uxn: bump to 0_p20230201 (diff) | |
| download | gentoo-fffb2924f0a58e6ac708731417d7dfa275062c69.tar.gz gentoo-fffb2924f0a58e6ac708731417d7dfa275062c69.tar.bz2 gentoo-fffb2924f0a58e6ac708731417d7dfa275062c69.zip | |
dev-lang/idris2: H -> COMMIT
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-lang/idris2')
| -rw-r--r-- | dev-lang/idris2/idris2-0.5.1_p20220224-r1.ebuild | 8 | ||||
| -rw-r--r-- | 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" |