| 1 |
commit: 426a0fdd33772628b5166ab81ebbdc964706bb91 |
| 2 |
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> |
| 3 |
AuthorDate: Sun Mar 19 12:22:19 2023 +0000 |
| 4 |
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> |
| 5 |
CommitDate: Sun Mar 19 13:53:08 2023 +0000 |
| 6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=426a0fdd |
| 7 |
|
| 8 |
app-emacs/company-coq: guard COMMIT hash for correct snapshots |
| 9 |
|
| 10 |
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> |
| 11 |
|
| 12 |
app-emacs/company-coq/company-coq-1.0.1_p20210708-r1.ebuild | 4 ++-- |
| 13 |
app-emacs/company-coq/company-coq-1.0.1_p20220314.ebuild | 4 ++-- |
| 14 |
2 files changed, 4 insertions(+), 4 deletions(-) |
| 15 |
|
| 16 |
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 |
| 17 |
index e03ba27d4576..4d43b44f080d 100644 |
| 18 |
--- a/app-emacs/company-coq/company-coq-1.0.1_p20210708-r1.ebuild |
| 19 |
+++ b/app-emacs/company-coq/company-coq-1.0.1_p20210708-r1.ebuild |
| 20 |
@@ -3,14 +3,14 @@ |
| 21 |
|
| 22 |
EAPI=8 |
| 23 |
|
| 24 |
-COMMIT=382db93374380e5db56f02934ee32bbe39159019 |
| 25 |
+[[ ${PV} == *_p20210708 ]] && COMMIT=382db93374380e5db56f02934ee32bbe39159019 |
| 26 |
|
| 27 |
inherit elisp |
| 28 |
|
| 29 |
DESCRIPTION="Collection of extensions for Proof General's Coq mode" |
| 30 |
HOMEPAGE="https://github.com/cpitclaudel/company-coq/" |
| 31 |
SRC_URI="https://github.com/cpitclaudel/${PN}/archive/${COMMIT}.tar.gz |
| 32 |
- -> ${P}.tar.gz" |
| 33 |
+ -> ${P}.tar.gz" |
| 34 |
S="${WORKDIR}"/${PN}-${COMMIT} |
| 35 |
|
| 36 |
LICENSE="GPL-3+" |
| 37 |
|
| 38 |
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 |
| 39 |
index f6cf92448147..f1c8a7e4b396 100644 |
| 40 |
--- a/app-emacs/company-coq/company-coq-1.0.1_p20220314.ebuild |
| 41 |
+++ b/app-emacs/company-coq/company-coq-1.0.1_p20220314.ebuild |
| 42 |
@@ -3,14 +3,14 @@ |
| 43 |
|
| 44 |
EAPI=8 |
| 45 |
|
| 46 |
-COMMIT=a6e349e0131f676a885bd14c908fd26054b2df42 |
| 47 |
+[[ ${PV} == *_p20220314 ]] && COMMIT=a6e349e0131f676a885bd14c908fd26054b2df42 |
| 48 |
|
| 49 |
inherit elisp |
| 50 |
|
| 51 |
DESCRIPTION="Collection of extensions for Proof General's Coq mode" |
| 52 |
HOMEPAGE="https://github.com/cpitclaudel/company-coq/" |
| 53 |
SRC_URI="https://github.com/cpitclaudel/${PN}/archive/${COMMIT}.tar.gz |
| 54 |
- -> ${P}.tar.gz" |
| 55 |
+ -> ${P}.tar.gz" |
| 56 |
S="${WORKDIR}"/${PN}-${COMMIT} |
| 57 |
|
| 58 |
LICENSE="GPL-3+" |
Archives