commit:     edb890d8f55aede503d1a1a8f966a48e4bdddf46
Author:     Michael Orlitzky <mjo <AT> gentoo <DOT> org>
AuthorDate: Tue Sep  2 00:21:50 2025 +0000
Commit:     Michael Orlitzky <mjo <AT> gentoo <DOT> org>
CommitDate: Tue Sep  2 05:24:40 2025 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=edb890d8

dev-gap/primgrp: add 4.0.0

Signed-off-by: Michael Orlitzky <mjo <AT> gentoo.org>

 dev-gap/primgrp/Manifest             |  1 +
 dev-gap/primgrp/primgrp-4.0.0.ebuild | 18 ++++++++++++++++++
 2 files changed, 19 insertions(+)

diff --git a/dev-gap/primgrp/Manifest b/dev-gap/primgrp/Manifest
index ce16b63987cf..2489c00dc446 100644
--- a/dev-gap/primgrp/Manifest
+++ b/dev-gap/primgrp/Manifest
@@ -1 +1,2 @@
 DIST primgrp-3.4.4.tar.gz 14652297 BLAKE2B 
9b3bdddcadf5f2d783001454a2d05ab44fde4bdff5dc6304e6d4cf7895ab307ba7988a4952aa9ba512a888568a8fa04af7e8c4e6834ec9cc7d240ebc11a3c4f5
 SHA512 
4b841e75a2487f748b1d283a9a8b8be14595e53e6ddc20733d66795f5af12ee9b94189452eae224f93196debd19cf073fdf76ccf09d3b9e98c53df3ab00ee93c
+DIST primgrp-4.0.0.tar.gz 14687888 BLAKE2B 
49a48b53e4e003b65091b97e57ab5077631d2f182e85a8350388461ee42078cf7a2d7d4c7254c38066dd194853137333b770790c5f35966c3a61e9c547724066
 SHA512 
bb28497dfa7980fa6054fd8dfac70805ccf7be42563890ae96cb64c03c331e30edafefaf47e63851f37a29c030601897113808b6653e7bb3924b2f1188936766

diff --git a/dev-gap/primgrp/primgrp-4.0.0.ebuild 
b/dev-gap/primgrp/primgrp-4.0.0.ebuild
new file mode 100644
index 000000000000..3d2bc5d89598
--- /dev/null
+++ b/dev-gap/primgrp/primgrp-4.0.0.ebuild
@@ -0,0 +1,18 @@
+# Copyright 1999-2025 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit gap-pkg
+
+DESCRIPTION="GAP Primitive Permutation Groups Library"
+SRC_URI="https://github.com/gap-packages/${PN}/releases/download/v${PV}/${P}.tar.gz";
+
+LICENSE="GPL-2+"
+SLOT="0"
+KEYWORDS="~amd64 ~riscv"
+
+RDEPEND="dev-gap/gapdoc"
+gap-pkg_enable_tests
+
+GAP_PKG_EXTRA_INSTALL=( data )

Reply via email to