commit: 5c69e44b38a73f7123a59cd42316f0f0d29172ad
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sat Mar 4 16:04:03 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Mar 4 16:32:11 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5c69e44b
sci-mathematics/metamath-databases: H -> COMMIT
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
.../metamath-databases/metamath-databases-20220303.ebuild | 15 ++++++++-------
1 file changed, 8 insertions(+), 7 deletions(-)
diff --git
a/sci-mathematics/metamath-databases/metamath-databases-20220303.ebuild
b/sci-mathematics/metamath-databases/metamath-databases-20220303.ebuild
index 32304b03acd4..cb277918c6f8 100644
--- a/sci-mathematics/metamath-databases/metamath-databases-20220303.ebuild
+++ b/sci-mathematics/metamath-databases/metamath-databases-20220303.ebuild
@@ -1,21 +1,22 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2023 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
-H=99d707bc3c600a9d6052a46a7c85f05b74c589a2
+[[ ${PV} == 20220303 ]] && COMMIT=99d707bc3c600a9d6052a46a7c85f05b74c589a2
DESCRIPTION="Sample databases for Metamath"
-HOMEPAGE="http://us.metamath.org/mpeuni/mmset.html";
+HOMEPAGE="http://us.metamath.org/mpeuni/mmset.html
+ https://github.com/metamath/set.mm/";
-if [[ "${PV}" == *9999* ]] ; then
+if [[ ${PV} == *9999* ]] ; then
inherit git-r3
EGIT_REPO_URI="https://github.com/metamath/set.mm.git";
else
- SRC_URI="https://github.com/metamath/set.mm/archive/${H}.tar.gz
- -> ${P}.tar.gz"
+ SRC_URI="https://github.com/metamath/set.mm/archive/${COMMIT}.tar.gz
+ -> ${P}.tar.gz"
KEYWORDS="~amd64 ~x86"
- S="${WORKDIR}"/set.mm-${H}
+ S="${WORKDIR}"/set.mm-${COMMIT}
fi
LICENSE="CC0-1.0"
