From 2caa5b3820adaeb537adfd079c61993e6abe0a1f Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Thu, 21 Dec 2023 17:52:31 -0500 Subject: [PATCH] dev-gap/genss: new package, add 1.6.8 Signed-off-by: Michael Orlitzky --- dev-gap/genss/Manifest | 1 + dev-gap/genss/genss-1.6.8.ebuild | 24 ++++++++++++++++++++++++ dev-gap/genss/metadata.xml | 27 +++++++++++++++++++++++++++ 3 files changed, 52 insertions(+) create mode 100644 dev-gap/genss/Manifest create mode 100644 dev-gap/genss/genss-1.6.8.ebuild create mode 100644 dev-gap/genss/metadata.xml diff --git a/dev-gap/genss/Manifest b/dev-gap/genss/Manifest new file mode 100644 index 0000000000000..0968e4627742e --- /dev/null +++ b/dev-gap/genss/Manifest @@ -0,0 +1 @@ +DIST genss-1.6.8.tar.bz2 310479 BLAKE2B 8d1675b3d40e5d654ca812cba0c8dcd81a083a4a2151e2b819ae105a1b776064edaa57c30563ca17d12cb767649861fb010df44e4dfea51defc91daa74f6a8eb SHA512 b590e8bc18bb456394c272ae2e2caaa9cc50576bc8bf5acfc38ef85ffa3822a83e2b85fac75f25e8fd5f9455b07bd8573ed500fdc5e7ae8b25787532c8a387e2 diff --git a/dev-gap/genss/genss-1.6.8.ebuild b/dev-gap/genss/genss-1.6.8.ebuild new file mode 100644 index 0000000000000..c5439755306a1 --- /dev/null +++ b/dev-gap/genss/genss-1.6.8.ebuild @@ -0,0 +1,24 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit gap-pkg + +DESCRIPTION="GAP implementation of the randomized Schreier-Sims algorithm" +SLOT="0" +SRC_URI="https://github.com/gap-packages/${PN}/releases/download/v${PV}/${P}.tar.bz2" + +LICENSE="GPL-3+" +KEYWORDS="~amd64" +IUSE="examples" + +RDEPEND="dev-gap/io + dev-gap/orb" + +gap-pkg_enable_tests + +src_install() { + gap-pkg_src_install + use examples && dodoc -r examples +} diff --git a/dev-gap/genss/metadata.xml b/dev-gap/genss/metadata.xml new file mode 100644 index 0000000000000..c6536e8366080 --- /dev/null +++ b/dev-gap/genss/metadata.xml @@ -0,0 +1,27 @@ + + + + + mjo@gentoo.org + + + frp.bissey@gmail.com + François Bissey + + + proxy-maint@gentoo.org + Proxy Maintainers + + + sci-mathematics@gentoo.org + Gentoo Mathematics Project + + + The genss package implements the randomised Schreier-Sims algorithm + to compute a stabiliser chain and a base and strong generating set + for arbitrary finite groups. + + + gap-packages/genss + +