summaryrefslogtreecommitdiff
path: root/dev-gap/edim
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/edim
parent05ee8049e2326946a2cd1720f98384c864f0a804 (diff)
gentoo auto-resync : 22:01:2024 - 16:48:54
Diffstat (limited to 'dev-gap/edim')
-rw-r--r--dev-gap/edim/Manifest3
-rw-r--r--dev-gap/edim/edim-1.3.7.ebuild18
-rw-r--r--dev-gap/edim/metadata.xml26
3 files changed, 47 insertions, 0 deletions
diff --git a/dev-gap/edim/Manifest b/dev-gap/edim/Manifest
new file mode 100644
index 000000000000..6a8761dd3e34
--- /dev/null
+++ b/dev-gap/edim/Manifest
@@ -0,0 +1,3 @@
+DIST EDIM-1.3.7.tar.gz 357817 BLAKE2B e18a6317c809bffd8917cab317e7a6ddf9a3c760af636ed223084b80a7f28ad6b42c2323b19a8ca908f570ddca43eb9c5db55bb8a32aacbb03b8ddebb2c5354a SHA512 8d29fbcd6f7e04ec78ab8b439f1875185ce0b0be614263c892a7b850ed76d5a62c2d7d82d1e9d9abac6b5858496075ae97f88285590901a95dc89b07d63d79d1
+EBUILD edim-1.3.7.ebuild 403 BLAKE2B 0c01dc64fd3b569724412aeb0477e3d1db894c4029bfa567b527149ab2a200c52b64877f1b2d92e16fded4216e453ccee7029fb262985b89dde96f9578af72d1 SHA512 ff6ba83ecd624ec0d08844984b1f7c52d363d1111ae697fb0dee98464c59bef62859184304ada65ecc0f61230af7faf352e6fd2a8b3a4637cc1f21274e09c29d
+MISC metadata.xml 890 BLAKE2B 8cbaf0900cda8dc665c08f0b2cdb6be26bf4b248a5461abf61ae62b4f16ba5499da11014f89efe619e573cdbf58b23e7668fcc83b6428bd2625ad2bd273a8c29 SHA512 9e52d94bcb5db6ce475122b57b5c9177009b3313b1fe09c2125f2019a16afa68edb20efe90eec1555c0dd976a1ec8fd502007c155448eb230614884d39ee5239
diff --git a/dev-gap/edim/edim-1.3.7.ebuild b/dev-gap/edim/edim-1.3.7.ebuild
new file mode 100644
index 000000000000..292e252f717b
--- /dev/null
+++ b/dev-gap/edim/edim-1.3.7.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
+
+MY_PN=EDIM
+MY_P="${MY_PN}-${PV}"
+DESCRIPTION="Elementary Divisors of Integer Matrices (EDIM) for GAP"
+SRC_URI="https://www.math.rwth-aachen.de/~Frank.Luebeck/${MY_PN}/${MY_P}.tar.gz"
+S="${WORKDIR}/${MY_P}"
+
+LICENSE="GPL-2+"
+SLOT="0"
+KEYWORDS="~amd64"
+
+gap-pkg_enable_tests
diff --git a/dev-gap/edim/metadata.xml b/dev-gap/edim/metadata.xml
new file mode 100644
index 000000000000..ed0e9e26fb22
--- /dev/null
+++ b/dev-gap/edim/metadata.xml
@@ -0,0 +1,26 @@
+<?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">
+ This package provides a collection of functions for computing the
+ Smith normal form of integer matrices and some related utilities.
+ </longdescription>
+ <upstream>
+ <remote-id type="github">frankluebeck/EDIM</remote-id>
+ </upstream>
+</pkgmetadata>