dev-gap/smallgrp - 1.5.4 (gentoo)

Search

Package Information

Description:
The GAP Small Groups Library
License:
Artistic-2

Ebuild Details

Version EAPI Keywords Slot
1.5.4 8 amd64 ~riscv 0
View Raw Ebuild
# Copyright 1999-2025 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2

EAPI=8

inherit gap-pkg

MY_P="SmallGrp-${PV}"
DESCRIPTION="The GAP Small Groups Library"
SRC_URI="https://github.com/gap-packages/smallgrp/releases/download/v${PV}/${MY_P}.tar.gz"
S="${WORKDIR}/${MY_P}"

LICENSE="Artistic-2"
SLOT="0"
KEYWORDS="amd64 ~riscv"

RDEPEND="dev-gap/gapdoc"
gap-pkg_enable_tests

src_install() {
	# Define the variable here so globbing will work
	GAP_PKG_EXTRA_INSTALL=( id* small* )
	gap-pkg_src_install
}

Dependencies

RDEPEND

dev-gap/gapdoc

Manifest for 1.5.4

Type File Size Source URLs
DIST SmallGrp-1.5.4.tar.gz 20123364 bytes https://github.com/gap-packages/smallgrp/releases/download/v1.5.4/SmallGrp-1.5.4.tar.gz