diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2024-05-04 00:00:19 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2024-05-04 00:00:19 +0100 |
| commit | 7f3fecbb5b871825fe9632f46659869cab6a3769 (patch) | |
| tree | dd2be4fe7ee3475ca4ad093698f0f8fd1e0965dc /dev-gap/gaplint | |
| parent | a98588cfddf3d6e88a5f17d7f399b695163c7a85 (diff) | |
gentoo auto-resync : 04:05:2024 - 00:00:19
Diffstat (limited to 'dev-gap/gaplint')
| -rw-r--r-- | dev-gap/gaplint/Manifest | 3 | ||||
| -rw-r--r-- | dev-gap/gaplint/gaplint-1.2.1.ebuild | 27 | ||||
| -rw-r--r-- | dev-gap/gaplint/metadata.xml | 19 |
3 files changed, 49 insertions, 0 deletions
diff --git a/dev-gap/gaplint/Manifest b/dev-gap/gaplint/Manifest new file mode 100644 index 000000000000..305d60d57788 --- /dev/null +++ b/dev-gap/gaplint/Manifest @@ -0,0 +1,3 @@ +DIST gaplint-1.2.1.gh.tar.gz 38532 BLAKE2B 25780a327df887ef7f9d811b7f1f4931567845ceaf28c6cc7b5f24253fd8f399a9945eae9e0a6cc5f7468e6cd6d2e2a68a99c2f2639b454f0829d36322a2e2d7 SHA512 4a56e90f0d15da7b19015ee507e75bda7a4ff9c7ab6adf00b4d000d50b4c710eeabc258976f43b648592988af7ef099909570e48bdb633658eaa99333c5ef743 +EBUILD gaplint-1.2.1.ebuild 606 BLAKE2B fc3e1ec9330e2c2c826a22bcb120ae52d5064573cf790c2e241d4b3212c98657c02a2cac40e758ff70a53c2c0413af706fa5588f4b0410053c7889a7d5ed6b12 SHA512 ae989e78c880ea29a1da6a432975d6c6a4ec1f956ec352077c74618cf3b340dd743dd5f58afcd060d196d002358881841dc2f72968bacf8cb298e76862d99e1d +MISC metadata.xml 524 BLAKE2B 3f288476fd468bda78559264f90734e871fe77e6491dac90c57d185ca12a5a2261593920a31862ec5888417626768487ca92dd39597228762f78150ccd972478 SHA512 42c06fc57f90ce3aee02194d43e808e856181b69838b00ab524fdb5e279716b4859362d2555dc463fc94e0350d26a3c9b8059e1643b6a251eee2b6a0420c8109 diff --git a/dev-gap/gaplint/gaplint-1.2.1.ebuild b/dev-gap/gaplint/gaplint-1.2.1.ebuild new file mode 100644 index 000000000000..725d661d1d12 --- /dev/null +++ b/dev-gap/gaplint/gaplint-1.2.1.ebuild @@ -0,0 +1,27 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +DISTUTILS_USE_PEP517=setuptools +PYTHON_COMPAT=( python3_{11..12} ) + +inherit distutils-r1 + +DESCRIPTION="Linter for GAP" +HOMEPAGE=" + https://github.com/james-d-mitchell/gaplint + https://pypi.org/project/gaplint +" + +# Use the github tarball because it includes the tests. +SRC_URI="https://github.com/james-d-mitchell/${PN}/archive/refs/tags/v${PV}.tar.gz + -> ${P}.gh.tar.gz" + +LICENSE="GPL-3" +SLOT="0" +KEYWORDS="~amd64" + +RDEPEND="dev-python/pyyaml[${PYTHON_USEDEP}]" + +distutils_enable_tests pytest diff --git a/dev-gap/gaplint/metadata.xml b/dev-gap/gaplint/metadata.xml new file mode 100644 index 000000000000..e4f5327f9075 --- /dev/null +++ b/dev-gap/gaplint/metadata.xml @@ -0,0 +1,19 @@ +<?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="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + + <stabilize-allarches /> + + <upstream> + <remote-id type="pypi">gaplint</remote-id> + <remote-id type="github">james-d-mitchell/gaplint</remote-id> + </upstream> +</pkgmetadata> |