gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-09-24 04:59:14 -07:00
Code Issues Projects Releases Wiki Activity

dev-gap/semigroups: drop 5.5.0-r1

Browse Source 
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
This commit is contained in:
Michael Orlitzky
2026-05-06 09:49:05 -04:00
parent d2c83fb015
commit 1f37c9cee1
2 changed files with 0 additions and 40 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
dev-gap/semigroups/Manifest
View File

@@ -1,2 +1 @@
DIST semigroups-5.5.0.tar.gz 17233127 BLAKE2B ff27a6fc597cce097db14be94a331a97d36d9f0da3aef2e6765bd830627085fa1602d9263b0aa2c67c90c17aaebbadfeacff371f525b041808bcb1355361e92a SHA512 a70b3775ccb38e3fb5e166dbd9babb53de052c561350a54314a07c1cb220fa26e8e592e239ea2812f0b1e95433546b9256f9d98ebde8389bcdeee192d6f0a8e2
DIST semigroups-5.6.2.tar.gz 28286589 BLAKE2B e2cd65cfa74fbae44bf5924abe6cf9eb56939aac7ddbf6d76ada9f2ada6db5c54242a63adb0740dd5eca3fdd7782f6d2c7f64977e66d72c6dba1211017818a40 SHA512 ec42a8c89c2c28e55ac85f12380c75c0d2044997942c506e4ffc37bc83b0e364e768699ac7b79349671e03d688c137ab5ad14df1ca4c4304bb6db9d99005adb8

39
dev-gap/semigroups/semigroups-5.5.0-r1.ebuild
View File

@@ -1,39 +0,0 @@
# Copyright 1999-2025 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
inherit gap-pkg
DESCRIPTION="GAP package for semigroups and monoids"
SRC_URI="https://github.com/semigroups/Semigroups/releases/download/v${PV}/${P}.tar.gz"
LICENSE="GPL-3+"
SLOT="0"
KEYWORDS="~amd64 ~riscv"
DEPEND="sci-mathematics/gap:=
<sci-libs/libsemigroups-3:="
RDEPEND="${DEPEND}
dev-gap/orb
dev-gap/io
dev-gap/images
dev-gap/datastructures
dev-gap/digraphs
dev-gap/genss"
BDEPEND="virtual/pkgconfig"
DOCS=( CHANGELOG.md README.md CONTRIBUTING.md )
GAP_PKG_EXTRA_INSTALL=( data )
gap-pkg_enable_tests
src_prepare() {
# can't bundle it if it isn't there (belt and suspenders)
rm -r libsemigroups || die
default
}
src_configure() {
gap-pkg_econf --with-external-libsemigroups
}