summaryrefslogtreecommitdiff
path: root/dev-gap/primgrp
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2024-01-22 16:48:54 +0000
committerV3n3RiX <venerix@koprulu.sector>2024-01-22 16:48:54 +0000
commitce163dcd0944d81d8406c9532b457535efca7a6d (patch)
treef7deea170544ce69e03c037101b7b5c1277966b4 /dev-gap/primgrp
parent05ee8049e2326946a2cd1720f98384c864f0a804 (diff)
gentoo auto-resync : 22:01:2024 - 16:48:54
Diffstat (limited to 'dev-gap/primgrp')
-rw-r--r--dev-gap/primgrp/Manifest3
-rw-r--r--dev-gap/primgrp/metadata.xml28
-rw-r--r--dev-gap/primgrp/primgrp-3.4.4.ebuild18
3 files changed, 49 insertions, 0 deletions
diff --git a/dev-gap/primgrp/Manifest b/dev-gap/primgrp/Manifest
new file mode 100644
index 000000000000..9406084ef5d8
--- /dev/null
+++ b/dev-gap/primgrp/Manifest
@@ -0,0 +1,3 @@
+DIST primgrp-3.4.4.tar.gz 14652297 BLAKE2B 9b3bdddcadf5f2d783001454a2d05ab44fde4bdff5dc6304e6d4cf7895ab307ba7988a4952aa9ba512a888568a8fa04af7e8c4e6834ec9cc7d240ebc11a3c4f5 SHA512 4b841e75a2487f748b1d283a9a8b8be14595e53e6ddc20733d66795f5af12ee9b94189452eae224f93196debd19cf073fdf76ccf09d3b9e98c53df3ab00ee93c
+EBUILD primgrp-3.4.4.ebuild 394 BLAKE2B b750b9b53526f8b2b672851887ead6518c5f884792b422b3d3119e4a5258ef133c8ea8b39134bb14d5b64cf9c3474235fa02b91d00a9f123a2ad595deb8f33c1 SHA512 667a498b3ae5a8cfa178db5ad610d10489c21c52b5461e0119766800959db3ab1c153bf31a3d1130571cf44e7a1d8f9310f267f6d5489bc35c76fc9df708c235
+MISC metadata.xml 1009 BLAKE2B 4da608eae94b3536a78f68db4cfcf1d9700b091f8c28af7923183461d5f8ad95c93654b75c1a34879da8f07d821d08d62dccb87ff4bfedea6d28793932b2fef9 SHA512 fb4bfac8bffaadb3dec024822e7b594348ffcdac1a4b85fafc02f32fd4bc183421572c5d51efa5660112775fd17ca0962d34e7ace03b915adbe4607cce6a5c52
diff --git a/dev-gap/primgrp/metadata.xml b/dev-gap/primgrp/metadata.xml
new file mode 100644
index 000000000000..8dfa4c0affab
--- /dev/null
+++ b/dev-gap/primgrp/metadata.xml
@@ -0,0 +1,28 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+ <maintainer type="person">
+ <email>mjo@gentoo.org</email>
+ </maintainer>
+ <maintainer type="person">
+ <email>frp.bissey@gmail.com</email>
+ <name>François Bissey</name>
+ </maintainer>
+ <maintainer type="project" proxied="proxy">
+ <email>proxy-maint@gentoo.org</email>
+ <name>Proxy Maintainers</name>
+ </maintainer>
+ <maintainer type="project">
+ <email>sci-mathematics@gentoo.org</email>
+ <name>Gentoo Mathematics Project</name>
+ </maintainer>
+ <longdescription lang="en">
+ The PrimGrp package provides the library of primitive permutation
+ groups which includes, up to permutation isomorphism (i.e., up to
+ conjugacy in the corresponding symmetric group), all primitive
+ permutation groups of degree less than 4096.
+ </longdescription>
+ <upstream>
+ <remote-id type="github">gap-packages/primgrp</remote-id>
+ </upstream>
+</pkgmetadata>
diff --git a/dev-gap/primgrp/primgrp-3.4.4.ebuild b/dev-gap/primgrp/primgrp-3.4.4.ebuild
new file mode 100644
index 000000000000..25fa2b77ec32
--- /dev/null
+++ b/dev-gap/primgrp/primgrp-3.4.4.ebuild
@@ -0,0 +1,18 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit gap-pkg
+
+DESCRIPTION="GAP Primitive Permutation Groups Library"
+SLOT="0"
+SRC_URI="https://github.com/gap-packages/${PN}/releases/download/v${PV}/${P}.tar.gz"
+
+LICENSE="GPL-2+"
+KEYWORDS="~amd64"
+
+RDEPEND="dev-gap/gapdoc"
+gap-pkg_enable_tests
+
+GAP_PKG_EXTRA_INSTALL=( data )