blob: e3376c37f636f79c852c18387776abd88106f3d3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
# 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"
PATCHES=(
"${FILESDIR}/${PN}-1.3.7-user-flags.patch"
)
gap-pkg_enable_tests
|
GitWeb
