summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'dev-gap')
-rw-r--r--dev-gap/design/Manifest1
-rw-r--r--dev-gap/design/design-1.7.ebuild19
-rw-r--r--dev-gap/design/metadata.xml22
3 files changed, 42 insertions, 0 deletions
diff --git a/dev-gap/design/Manifest b/dev-gap/design/Manifest
new file mode 100644
index 000000000000..0b7d1e906561
--- /dev/null
+++ b/dev-gap/design/Manifest
@@ -0,0 +1 @@
+DIST design-1.7.tar.gz 389907 BLAKE2B 9ac9f056488479cf017acc35566211dd91c972e1e94dd4c75b4b7534e1de2f47cc941dad34f6ad9f9fbbab0f300b70fd9dabf8fe722d3dbad3a2b2b757bdb810 SHA512 0917687b54079662cbfba5e8ded27899029832f2beec840ba204a3361d173226c7272085c1911d6aebd3c3a166feed6fa788b34902902dbf6c45eced5b2d62e8
diff --git a/dev-gap/design/design-1.7.ebuild b/dev-gap/design/design-1.7.ebuild
new file mode 100644
index 000000000000..a1f056a9a689
--- /dev/null
+++ b/dev-gap/design/design-1.7.ebuild
@@ -0,0 +1,19 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit gap-pkg
+
+DESCRIPTION="The Design Package for GAP"
+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/grape"
+
+DOCS=( README.md CHANGES.md )
+
+gap-pkg_enable_tests
diff --git a/dev-gap/design/metadata.xml b/dev-gap/design/metadata.xml
new file mode 100644
index 000000000000..a90120b2906e
--- /dev/null
+++ b/dev-gap/design/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/design</remote-id>
+ </upstream>
+</pkgmetadata>