Files
gentoo/dev-gap/factint/factint-1.7.0.ebuild
Michael Orlitzky 23d6cc9bdc dev-gap/factint: add 1.7.0
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
2026-08-20 17:57:44 -04:00

20 lines
443 B
Bash

# Copyright 1999-2026 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
inherit gap-pkg
MY_PN="FactInt"
MY_P="${MY_PN}-${PV}"
DESCRIPTION="Advanced Methods for Factoring Integers"
SRC_URI="https://github.com/gap-packages/${MY_PN}/releases/download/v${PV}/${MY_P}.tar.gz"
S="${WORKDIR}/${MY_P}"
LICENSE="GPL-2+"
SLOT="0"
KEYWORDS="~amd64 ~riscv"
GAP_PKG_EXTRA_INSTALL=( tables )
gap-pkg_enable_tests