diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-03-05 23:52:45 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-03-05 23:52:45 +0000 |
| commit | 1c33e521c460dc40899ce7bc919602b842ce27e2 (patch) | |
| tree | 580eefad4cce1e883e7504b93352a9029b53036d /sci-mathematics/metamath-databases | |
| parent | 65e4244e411c4f65f55f2aa91f39e228f4c0680b (diff) | |
gentoo auto-resync : 05:03:2023 - 23:52:45
Diffstat (limited to 'sci-mathematics/metamath-databases')
| -rw-r--r-- | sci-mathematics/metamath-databases/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/metamath-databases/metamath-databases-20220303.ebuild | 15 |
2 files changed, 9 insertions, 8 deletions
diff --git a/sci-mathematics/metamath-databases/Manifest b/sci-mathematics/metamath-databases/Manifest index c43e2ca2ac6b..e52a301d848a 100644 --- a/sci-mathematics/metamath-databases/Manifest +++ b/sci-mathematics/metamath-databases/Manifest @@ -1,3 +1,3 @@ DIST metamath-databases-20220303.tar.gz 20538855 BLAKE2B 8aa3c505a16d1fac08de5d447eb55e4bc64f5fa53905c1147a17b6e65c87403f2baea9d30699da71f16cc34373f2d9c56c02f3b85327aa9db42af7c5c63db8df SHA512 5f2ca7e299ec3e8dda7739de057c69dcbdd4e23d5853826ac9d6ccabcaa0abf292990eb1925762ff2a5611b32628ed508b6fa4949121e090feaa0c986f3f67ac -EBUILD metamath-databases-20220303.ebuild 853 BLAKE2B 522b476a701ab12125346e94246f25dc99fc5e22e10b9b33753def65e99af65d34b5112ca40d7d5078fc9550f83f6c6b5a597abe37a208d1e6af6d67b767a539 SHA512 d1eb8440eceb7b099ee40ac4cd8e414714088ddcc65b4a94f75535f6242e34dbab803947a7606b826d3bfb9d04ebd0a36ed8e8dccccd31c84c89783b34582e75 +EBUILD metamath-databases-20220303.ebuild 928 BLAKE2B c2494273ef97d0dfd103acd86029078969dab2a42f9faf672e78bc0c9c6b578e5bf36e0322bc4c4945cdd439c494cef45f5d2b803293288d674fd151716866da SHA512 88f6492bec74623231833ea08e675298b06bb945cd4fd54cdef48b16bb8b40cf8053fb508bdbd3f78af8d9bfc7627fb54d9b4540f31e7dd4429d752b29309401 MISC metadata.xml 633 BLAKE2B ab8c86cc84be54a40ef6210855d1d77abd58f4fc9a8433fb8005a1916ec720201feca35fcd7f9587b720612df8f0d278445661e93632a80194038fd32d85c128 SHA512 b7bdc15f1089359deaf7f323ba21330680977b7a314c796d632fec744bcef5981746a55a5e8663dd7a6b09ba726b4291e1f80b10c03a2a60538ea1b04d229e1b 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" |