summaryrefslogtreecommitdiff
path: root/dev-gap/liering
diff options
context:
space:
mode:
Diffstat (limited to 'dev-gap/liering')
-rw-r--r--dev-gap/liering/Manifest3
-rw-r--r--dev-gap/liering/liering-2.4.2.ebuild15
-rw-r--r--dev-gap/liering/metadata.xml26
3 files changed, 44 insertions, 0 deletions
diff --git a/dev-gap/liering/Manifest b/dev-gap/liering/Manifest
new file mode 100644
index 000000000000..4ccf133703c2
--- /dev/null
+++ b/dev-gap/liering/Manifest
@@ -0,0 +1,3 @@
+DIST liering-2.4.2.tar.gz 586543 BLAKE2B bc140c9d5277c21da94d8fc4bb289ecd00072a7acede0b804d901fd67db9af1efde5e6b28e530dc5ecd8b5c50b78501f128503ec0a9b0142b587fda66ee0383b SHA512 8ea933310c7c06961ad2c911639e76d965d74967dcb6092976b7ed37c6fdae7e17ba78294d015f60b906be723c5280f0c547ce0e27ca0f8ef0401f36228403ea
+EBUILD liering-2.4.2.ebuild 332 BLAKE2B 41de94dbb2e3e6e355fa779629b6ec60a7f938cbb6e56bf04a892f9f527dd01aae41443c71f0ae4dbebda67985f8e2b757ffbf492c42d0fd5b021e280b69d80b SHA512 8cebc5e99dede072c7531ad4d40a6da8662b65dd884653d2e01bcc68547b3f3dffd610c13a3f854290edda51ee51a27a8111f19ca1ce9ae0ee4fcdaa424e4754
+MISC metadata.xml 881 BLAKE2B 13729617a72b02548ecf811a7e81b62fe58d8b366a71091ee6a25f826fe78f9935b1ce139d93cda56c6cb045024fc5c3b69746856a49c976743865f59610acb2 SHA512 ed4d9fd3f6e1e5266b1f2fca5f6bb061ef9c2349d158d27554045c4734a91d4ecac977e8f369c348c92fb070b8d510ff1b9dccd66de3010c773af803266dce4f
diff --git a/dev-gap/liering/liering-2.4.2.ebuild b/dev-gap/liering/liering-2.4.2.ebuild
new file mode 100644
index 000000000000..a64b5875fbb1
--- /dev/null
+++ b/dev-gap/liering/liering-2.4.2.ebuild
@@ -0,0 +1,15 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit gap-pkg
+
+DESCRIPTION="Finitely presented Lie rings in GAP"
+SLOT="0"
+SRC_URI="https://github.com/gap-packages/${PN}/releases/download/v${PV}/${P}.tar.gz"
+
+LICENSE="GPL-2+"
+KEYWORDS="~amd64"
+
+gap-pkg_enable_tests
diff --git a/dev-gap/liering/metadata.xml b/dev-gap/liering/metadata.xml
new file mode 100644
index 000000000000..db003892adce
--- /dev/null
+++ b/dev-gap/liering/metadata.xml
@@ -0,0 +1,26 @@
+<?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>
+ <longdescription lang="en">
+ The package LieRing contains functionality for working with finitely
+ presented Lie rings and the Lazard correspondence.
+ </longdescription>
+ <upstream>
+ <remote-id type="github">gap-packages/liering</remote-id>
+ </upstream>
+</pkgmetadata>