gentoo-ebuilds/dev-gap/edim/edim-1.3.8.ebuild
Michael Orlitzky d1ef766aef
dev-gap/edim: add 1.3.8, drop 1.3.7-r2
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
2025-04-01 15:33:56 -04:00

21 lines
462 B
Bash

# Copyright 1999-2025 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 ~riscv"
DEPEND="sci-mathematics/gap:="
RDEPEND="${DEPEND}"
gap-pkg_enable_tests