gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-09-21 16:09:05 -07:00
Code Issues Projects Releases Wiki Activity

dev-gap/smallgrp: add 1.7.0

Browse Source 
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
This commit is contained in:
Michael Orlitzky
2026-08-16 20:59:42 -04:00
parent 6da2c51d63
commit dbcbda2d02
2 changed files with 25 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
dev-gap/smallgrp/Manifest
View File

@@ -1 +1,2 @@
DIST SmallGrp-1.5.4.tar.gz 20123364 BLAKE2B db2712ca0b9ba3f9b100a85243ce9b50ad7e1940775c2d0767d5dfe211c8481922df0d891f457b7280108459b156b72e7e124cb0dfc2d597239c1317627a4b3f SHA512 715f6a2dd2740457d1a1fa27a680e4457db10b2eccf1ea2b18ba1aee282e8a6ed39abee1fd153a51a9678249e511de8eb396a6b98d301d01aaf6adb12d3715d1
DIST SmallGrp-1.7.0.tar.gz 20177787 BLAKE2B ee4245fbd13c6b8e9e2ac1677a05a249d8d73d630c6c74fefb115989bc75df3a88a387a7b985b3e45cb8a9ccf52c4d63acab7e4556de784f04fb68bcb9aead5e SHA512 79645a6e37bd303bdebb30d43b6b917f0947e16df5dd8b17eca31de18862642732515970c5e140563cac41c6ad94a2d57ead98f8cae8ad17754ee7c2949251f6

24
dev-gap/smallgrp/smallgrp-1.7.0.ebuild Normal file
View File

@@ -0,0 +1,24 @@
# 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
}