commit: 426a0fdd33772628b5166ab81ebbdc964706bb91
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sun Mar 19 12:22:19 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sun Mar 19 13:53:08 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=426a0fdd
app-emacs/company-coq: guard COMMIT hash for correct snapshots
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
app-emacs/company-coq/company-coq-1.0.1_p20210708-r1.ebuild | 4 ++--
app-emacs/company-coq/company-coq-1.0.1_p20220314.ebuild | 4 ++--
2 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/app-emacs/company-coq/company-coq-1.0.1_p20210708-r1.ebuild
b/app-emacs/company-coq/company-coq-1.0.1_p20210708-r1.ebuild
index e03ba27d4576..4d43b44f080d 100644
--- a/app-emacs/company-coq/company-coq-1.0.1_p20210708-r1.ebuild
+++ b/app-emacs/company-coq/company-coq-1.0.1_p20210708-r1.ebuild
@@ -3,14 +3,14 @@
EAPI=8
-COMMIT=382db93374380e5db56f02934ee32bbe39159019
+[[ ${PV} == *_p20210708 ]] && COMMIT=382db93374380e5db56f02934ee32bbe39159019
inherit elisp
DESCRIPTION="Collection of extensions for Proof General's Coq mode"
HOMEPAGE="https://github.com/cpitclaudel/company-coq/";
SRC_URI="https://github.com/cpitclaudel/${PN}/archive/${COMMIT}.tar.gz
- -> ${P}.tar.gz"
+ -> ${P}.tar.gz"
S="${WORKDIR}"/${PN}-${COMMIT}
LICENSE="GPL-3+"
diff --git a/app-emacs/company-coq/company-coq-1.0.1_p20220314.ebuild
b/app-emacs/company-coq/company-coq-1.0.1_p20220314.ebuild
index f6cf92448147..f1c8a7e4b396 100644
--- a/app-emacs/company-coq/company-coq-1.0.1_p20220314.ebuild
+++ b/app-emacs/company-coq/company-coq-1.0.1_p20220314.ebuild
@@ -3,14 +3,14 @@
EAPI=8
-COMMIT=a6e349e0131f676a885bd14c908fd26054b2df42
+[[ ${PV} == *_p20220314 ]] && COMMIT=a6e349e0131f676a885bd14c908fd26054b2df42
inherit elisp
DESCRIPTION="Collection of extensions for Proof General's Coq mode"
HOMEPAGE="https://github.com/cpitclaudel/company-coq/";
SRC_URI="https://github.com/cpitclaudel/${PN}/archive/${COMMIT}.tar.gz
- -> ${P}.tar.gz"
+ -> ${P}.tar.gz"
S="${WORKDIR}"/${PN}-${COMMIT}
LICENSE="GPL-3+"
