diff options
| author | root <root@alpha.trunkmasters.com> | 2026-06-04 05:35:26 -0500 |
|---|---|---|
| committer | root <root@alpha.trunkmasters.com> | 2026-06-04 05:35:26 -0500 |
| commit | f716a9fe6455d39eef01e718aae68dae61c19704 (patch) | |
| tree | 0c52bbae1c242fbc296bd650fcd1167685f81492 /sci-mathematics/metamath-databases | |
| parent | 3f9cf298e89cd5037b982abba06091224ee76daf (diff) | |
| download | baldeagleos-repo-f716a9fe6455d39eef01e718aae68dae61c19704.tar.gz baldeagleos-repo-f716a9fe6455d39eef01e718aae68dae61c19704.tar.xz baldeagleos-repo-f716a9fe6455d39eef01e718aae68dae61c19704.zip | |
Adding metadata
Diffstat (limited to 'sci-mathematics/metamath-databases')
| -rw-r--r-- | sci-mathematics/metamath-databases/Manifest | 1 | ||||
| -rw-r--r-- | sci-mathematics/metamath-databases/metadata.xml | 18 | ||||
| -rw-r--r-- | sci-mathematics/metamath-databases/metamath-databases-20220303.ebuild | 46 |
3 files changed, 0 insertions, 65 deletions
diff --git a/sci-mathematics/metamath-databases/Manifest b/sci-mathematics/metamath-databases/Manifest deleted file mode 100644 index f12d5f0932b2..000000000000 --- a/sci-mathematics/metamath-databases/Manifest +++ /dev/null @@ -1 +0,0 @@ -DIST metamath-databases-20220303.tar.gz 20538855 BLAKE2B 8aa3c505a16d1fac08de5d447eb55e4bc64f5fa53905c1147a17b6e65c87403f2baea9d30699da71f16cc34373f2d9c56c02f3b85327aa9db42af7c5c63db8df SHA512 5f2ca7e299ec3e8dda7739de057c69dcbdd4e23d5853826ac9d6ccabcaa0abf292990eb1925762ff2a5611b32628ed508b6fa4949121e090feaa0c986f3f67ac diff --git a/sci-mathematics/metamath-databases/metadata.xml b/sci-mathematics/metamath-databases/metadata.xml deleted file mode 100644 index aeb2ac517a10..000000000000 --- a/sci-mathematics/metamath-databases/metadata.xml +++ /dev/null @@ -1,18 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> - -<pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription> - This is a collection of rigorously verified Metamath databases that - specify mathematical axioms and formal proofs of theorems derived from - those axioms. - </longdescription> - <upstream> - <bugs-to>https://github.com/metamath/set.mm/issues/</bugs-to> - <remote-id type="github">metamath/set.mm</remote-id> - </upstream> -</pkgmetadata> diff --git a/sci-mathematics/metamath-databases/metamath-databases-20220303.ebuild b/sci-mathematics/metamath-databases/metamath-databases-20220303.ebuild deleted file mode 100644 index cb277918c6f8..000000000000 --- a/sci-mathematics/metamath-databases/metamath-databases-20220303.ebuild +++ /dev/null @@ -1,46 +0,0 @@ -# Copyright 1999-2023 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -[[ ${PV} == 20220303 ]] && COMMIT=99d707bc3c600a9d6052a46a7c85f05b74c589a2 - -DESCRIPTION="Sample databases for Metamath" -HOMEPAGE="http://us.metamath.org/mpeuni/mmset.html - https://github.com/metamath/set.mm/" - -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/${COMMIT}.tar.gz - -> ${P}.tar.gz" - KEYWORDS="~amd64 ~x86" - S="${WORKDIR}"/set.mm-${COMMIT} -fi - -LICENSE="CC0-1.0" -SLOT="0" -IUSE="doc" - -RDEPEND="sci-mathematics/metamath" - -DOCS=( - CONTRIBUTING.md README.md - discouraged iset-discouraged - mmnotes.txt - other-databases.md verifiers.md -) - -src_install() { - insinto /usr/share/metamath - doins *.mm *.mmts - - einstalldocs - - if use doc ; then - docinto html - dodoc -r people - dodoc *.html *.svg - fi -} |