diff options
author | V3n3RiX <venerix@koprulu.sector> | 2024-01-22 16:48:54 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2024-01-22 16:48:54 +0000 |
commit | ce163dcd0944d81d8406c9532b457535efca7a6d (patch) | |
tree | f7deea170544ce69e03c037101b7b5c1277966b4 /dev-gap/primgrp/primgrp-3.4.4.ebuild | |
parent | 05ee8049e2326946a2cd1720f98384c864f0a804 (diff) |
gentoo auto-resync : 22:01:2024 - 16:48:54
Diffstat (limited to 'dev-gap/primgrp/primgrp-3.4.4.ebuild')
-rw-r--r-- | dev-gap/primgrp/primgrp-3.4.4.ebuild | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/dev-gap/primgrp/primgrp-3.4.4.ebuild b/dev-gap/primgrp/primgrp-3.4.4.ebuild new file mode 100644 index 000000000000..25fa2b77ec32 --- /dev/null +++ b/dev-gap/primgrp/primgrp-3.4.4.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 + +DESCRIPTION="GAP Primitive Permutation Groups Library" +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/gapdoc" +gap-pkg_enable_tests + +GAP_PKG_EXTRA_INSTALL=( data ) |