Gentoo Packages

dev-gap/smallgrp - 1.7.0 (gentoo)

Search

Install

Install this version:

emerge -a =dev-gap/smallgrp-1.7.0

If this version is masked, you can unmask it using the autounmask tool or standard emerge options:

autounmask =dev-gap/smallgrp-1.7.0

Or alternatively:

emerge --autounmask-write -a =dev-gap/smallgrp-1.7.0

Package Information

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

Ebuild Details

Version EAPI Keywords Slot
1.7.0 8 ~amd64 ~riscv 0
View Raw Ebuild 
# Copyright 1999-2026 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
}

Inherited Eclasses

gap-pkg

Dependencies

RDEPEND

dev-gap/gapdoc

Manifest for 1.7.0

Type File Size Source URLs
DIST SmallGrp-1.7.0.tar.gz 20177787 bytes https://github.com/gap-packages/smallgrp/releases/download/v1.7.0/SmallGrp-1.7.0.tar.gz