diff options
| author |   Michael Orlitzky <mjo@gentoo.org> | 2023-12-21 13:55:04 -0500 |
|---|---|---|
| committer | Michael Orlitzky <mjo@gentoo.org> | 2024-01-22 06:29:09 -0500 |
| commit | 0ec492c5c0fff9ee2d8be43eb1a60ae901e25e57 (patch) | |
| tree | 4eef1b3362d20a1b33eadf950885622711505fcd | |
| parent | dev-gap/liealgdb: new package, add 2.2.1 (diff) | |
| download | gentoo-0ec492c5c0fff9ee2d8be43eb1a60ae901e25e57.tar.gz gentoo-0ec492c5c0fff9ee2d8be43eb1a60ae901e25e57.tar.bz2 gentoo-0ec492c5c0fff9ee2d8be43eb1a60ae901e25e57.zip | |
dev-gap/liering: new package, add 2.4.2
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
| -rw-r--r-- | dev-gap/liering/Manifest | 1 | ||||
| -rw-r--r-- | dev-gap/liering/liering-2.4.2.ebuild | 15 | ||||
| -rw-r--r-- | dev-gap/liering/metadata.xml | 26 |
3 files changed, 42 insertions, 0 deletions
diff --git a/dev-gap/liering/Manifest b/dev-gap/liering/Manifest new file mode 100644 index 000000000000..243a2f8fdbd8 --- /dev/null +++ b/dev-gap/liering/Manifest @@ -0,0 +1 @@ +DIST liering-2.4.2.tar.gz 586543 BLAKE2B bc140c9d5277c21da94d8fc4bb289ecd00072a7acede0b804d901fd67db9af1efde5e6b28e530dc5ecd8b5c50b78501f128503ec0a9b0142b587fda66ee0383b SHA512 8ea933310c7c06961ad2c911639e76d965d74967dcb6092976b7ed37c6fdae7e17ba78294d015f60b906be723c5280f0c547ce0e27ca0f8ef0401f36228403ea 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> |