diff options
| author |   Michael Orlitzky <mjo@gentoo.org> | 2023-12-21 12:31:12 -0500 |
|---|---|---|
| committer | Michael Orlitzky <mjo@gentoo.org> | 2024-01-22 06:29:09 -0500 |
| commit | 0b7d89389d233d193678ec07cc9008f1e70ccc1f (patch) | |
| tree | 435b4a20962aec143ae999f0919d5f6a9d4c16ed /dev-gap/images | |
| parent | dev-gap/hecke: new package, add 1.5.3 (diff) | |
| download | gentoo-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/Manifest | 1 | ||||
| -rw-r--r-- | dev-gap/images/images-1.3.1.ebuild | 20 | ||||
| -rw-r--r-- | dev-gap/images/metadata.xml | 22 |
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> |