diff options
Diffstat (limited to 'dev-gap/liepring')
-rw-r--r-- | dev-gap/liepring/Manifest | 3 | ||||
-rw-r--r-- | dev-gap/liepring/liepring-2.8.ebuild | 19 | ||||
-rw-r--r-- | dev-gap/liepring/metadata.xml | 22 |
3 files changed, 44 insertions, 0 deletions
diff --git a/dev-gap/liepring/Manifest b/dev-gap/liepring/Manifest new file mode 100644 index 000000000000..c178595a6a0b --- /dev/null +++ b/dev-gap/liepring/Manifest @@ -0,0 +1,3 @@ +DIST liepring-2.8.tar.gz 2641042 BLAKE2B fe6cf1df60eb0a2e9002da45cbb46a86461d949682951ee1197ceef223fdad9d3a7e7d5d2aa2a3100374773796aa30bb138b740bf438dc45882fcb727216701b SHA512 c22dbb403fc89df041690bb877a685e25f29ce7739fa77efd26c932e619e4a139d11fdff0b5e4d2e39ba5e44821f6e32197663f26f4c70509e0bce7d25d05893 +EBUILD liepring-2.8.ebuild 407 BLAKE2B 36845416eaa9d3a6bc25cae07bf653c87bb3a6d116058246344cabcc9fdbf9c348ea5bab83cf26fa89855225f64fac4f92488f2cc9f6d48425334ae9aefc14a5 SHA512 fd61c86c5f19073306f6e8f4cc36293dcdc69a742eeec3f42a45bb2cdcba3164bdb2cf0c01481eb3b0c58c29ab3b63536766f88783cad13015081c30fe9ac0fe +MISC metadata.xml 703 BLAKE2B 75b9020363fdcb82ee2d6110224744c00404996f04f86234418ce4d2c142bf7bc22e6c53519f2675f8a1d5ab7149b6a4c774bffcac8e76e9b45f2748098ce703 SHA512 c1fa828b98f61328756b7bb6f98b42925fed139f4132c087537cf5c137452cf63b4a6f2b7b66af89bc5158f5fd40bbc4188f85ead2a2f8bf06cf62f8ffa7ba54 diff --git a/dev-gap/liepring/liepring-2.8.ebuild b/dev-gap/liepring/liepring-2.8.ebuild new file mode 100644 index 000000000000..52c73d9b46cb --- /dev/null +++ b/dev-gap/liepring/liepring-2.8.ebuild @@ -0,0 +1,19 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit gap-pkg + +DESCRIPTION="Database and algorithms for Lie p-rings" +SLOT="0" +SRC_URI="https://github.com/gap-packages/${PN}/releases/download/v${PV}/${P}.tar.gz" + +LICENSE="GPL-2+" +KEYWORDS="~amd64" + +RDEPEND="dev-gap/liering + dev-gap/singular" + +GAP_PKG_HTML_DOCDIR="htm" +gap-pkg_enable_tests diff --git a/dev-gap/liepring/metadata.xml b/dev-gap/liepring/metadata.xml new file mode 100644 index 000000000000..55d0ba747f44 --- /dev/null +++ b/dev-gap/liepring/metadata.xml @@ -0,0 +1,22 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <maintainer type="person"> + <email>mjo@gentoo.org</email> + </maintainer> + <maintainer type="person"> + <email>frp.bissey@gmail.com</email> + <name>François Bissey</name> + </maintainer> + <maintainer type="project" proxied="proxy"> + <email>proxy-maint@gentoo.org</email> + <name>Proxy Maintainers</name> + </maintainer> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <upstream> + <remote-id type="github">gap-packages/liepring</remote-id> + </upstream> +</pkgmetadata> |