summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael Orlitzky <mjo@gentoo.org>2023-12-21 12:31:12 -0500
committerMichael Orlitzky <mjo@gentoo.org>2024-01-22 06:29:09 -0500
commit0b7d89389d233d193678ec07cc9008f1e70ccc1f (patch)
tree435b4a20962aec143ae999f0919d5f6a9d4c16ed /dev-gap/images
parentdev-gap/hecke: new package, add 1.5.3 (diff)
downloadgentoo-0b7d89389d233d193678ec07cc9008f1e70ccc1f.tar.gz
gentoo-0b7d89389d233d193678ec07cc9008f1e70ccc1f.tar.bz2
gentoo-0b7d89389d233d193678ec07cc9008f1e70ccc1f.zip
dev-gap/images: new package, add 1.3.1
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
Diffstat (limited to 'dev-gap/images')
-rw-r--r--dev-gap/images/Manifest1
-rw-r--r--dev-gap/images/images-1.3.1.ebuild20
-rw-r--r--dev-gap/images/metadata.xml22
3 files changed, 43 insertions, 0 deletions
diff --git a/dev-gap/images/Manifest b/dev-gap/images/Manifest
new file mode 100644
index 000000000000..881259bc3773
--- /dev/null
+++ b/dev-gap/images/Manifest
@@ -0,0 +1 @@
+DIST images-1.3.1.tar.gz 188946 BLAKE2B ea782b00b77b69a9dc2f207872a17e2eef29c67ea7ce310722c24ff78b9e72b7d62c6035f387c8c6ed0413242a9c57e000ba67067d930b44ef35b28aca0b9761 SHA512 1a439e6852306b999e0805f1cfa3d13bffc21dda591de6c7c1ee53081878768606355794ea9f68075f0d064e18acf353509e9c3bace148e9f8cbe993a2991aab
diff --git a/dev-gap/images/images-1.3.1.ebuild b/dev-gap/images/images-1.3.1.ebuild
new file mode 100644
index 000000000000..1459076d3b18
--- /dev/null
+++ b/dev-gap/images/images-1.3.1.ebuild
@@ -0,0 +1,20 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit gap-pkg
+
+DESCRIPTION="Find minimal and canonical images in permutation groups"
+SLOT="0"
+SRC_URI="https://github.com/gap-packages/${PN}/releases/download/v${PV}/${P}.tar.gz"
+
+LICENSE="MPL-2.0"
+KEYWORDS="~amd64"
+
+BDEPEND="test? (
+ dev-gap/atlasrep
+ dev-gap/io
+)"
+
+gap-pkg_enable_tests
diff --git a/dev-gap/images/metadata.xml b/dev-gap/images/metadata.xml
new file mode 100644
index 000000000000..cec555fbcc7c
--- /dev/null
+++ b/dev-gap/images/metadata.xml
@@ -0,0 +1,22 @@
+<?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>
+ <upstream>
+ <remote-id type="github">gap-packages/images</remote-id>
+ </upstream>
+</pkgmetadata>