Skip to content

Commit

Permalink
dev-gap/liepring: new package, add 2.8
Browse files Browse the repository at this point in the history
Signed-off-by: Michael Orlitzky <[email protected]>
  • Loading branch information
orlitzky committed Jan 22, 2024
1 parent ee70497 commit 7581991
Show file tree
Hide file tree
Showing 3 changed files with 42 additions and 0 deletions.
1 change: 1 addition & 0 deletions dev-gap/liepring/Manifest
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
DIST liepring-2.8.tar.gz 2641042 BLAKE2B fe6cf1df60eb0a2e9002da45cbb46a86461d949682951ee1197ceef223fdad9d3a7e7d5d2aa2a3100374773796aa30bb138b740bf438dc45882fcb727216701b SHA512 c22dbb403fc89df041690bb877a685e25f29ce7739fa77efd26c932e619e4a139d11fdff0b5e4d2e39ba5e44821f6e32197663f26f4c70509e0bce7d25d05893
19 changes: 19 additions & 0 deletions dev-gap/liepring/liepring-2.8.ebuild
Original file line number Diff line number Diff line change
@@ -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
22 changes: 22 additions & 0 deletions dev-gap/liepring/metadata.xml
Original file line number Diff line number Diff line change
@@ -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>[email protected]</email>
</maintainer>
<maintainer type="person">
<email>[email protected]</email>
<name>François Bissey</name>
</maintainer>
<maintainer type="project" proxied="proxy">
<email>[email protected]</email>
<name>Proxy Maintainers</name>
</maintainer>
<maintainer type="project">
<email>[email protected]</email>
<name>Gentoo Mathematics Project</name>
</maintainer>
<upstream>
<remote-id type="github">gap-packages/liepring</remote-id>
</upstream>
</pkgmetadata>

0 comments on commit 7581991

Please sign in to comment.