summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'app-emacs/boogie-friends/boogie-friends-0.1_p20210703.ebuild')
-rw-r--r--app-emacs/boogie-friends/boogie-friends-0.1_p20210703.ebuild8
1 files changed, 4 insertions, 4 deletions
diff --git a/app-emacs/boogie-friends/boogie-friends-0.1_p20210703.ebuild b/app-emacs/boogie-friends/boogie-friends-0.1_p20210703.ebuild
index 76b9981351b5..00b3e7f9f68a 100644
--- a/app-emacs/boogie-friends/boogie-friends-0.1_p20210703.ebuild
+++ b/app-emacs/boogie-friends/boogie-friends-0.1_p20210703.ebuild
@@ -1,16 +1,16 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2023 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
-H=1e3b6a8aee9fa7c113468838c5b647080caf3703
+COMMIT=1e3b6a8aee9fa7c113468838c5b647080caf3703
inherit elisp
DESCRIPTION="Emacs tools for interacting with Boogie, Dafny and Z3 (SMT2)"
HOMEPAGE="https://github.com/boogie-org/boogie-friends/"
-SRC_URI="https://github.com/boogie-org/${PN}/archive/${H}.tar.gz -> ${P}.tar.gz"
-S="${WORKDIR}/${PN}-${H}/emacs"
+SRC_URI="https://github.com/boogie-org/${PN}/archive/${COMMIT}.tar.gz -> ${P}.tar.gz"
+S="${WORKDIR}/${PN}-${COMMIT}/emacs"
LICENSE="MIT"
SLOT="0"