diff options
| author |   Michael Orlitzky <mjo@gentoo.org> | 2023-12-21 09:35:25 -0500 |
|---|---|---|
| committer | Michael Orlitzky <mjo@gentoo.org> | 2024-01-22 06:28:56 -0500 |
| commit | 3ff6f3695d2ccdd75116367f09f7fcf4db460980 (patch) | |
| tree | 9fb036659c72c2345aa63701a6ca56a93ddfefa7 | |
| parent | gap-pkg.eclass: new eclass for GAP packages (diff) | |
| download | gentoo-3ff6f3695d2ccdd75116367f09f7fcf4db460980.tar.gz gentoo-3ff6f3695d2ccdd75116367f09f7fcf4db460980.tar.bz2 gentoo-3ff6f3695d2ccdd75116367f09f7fcf4db460980.zip | |
profiles,dev-gap: new category dev-gap for GAP packages
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
| -rw-r--r-- | dev-gap/metadata.xml | 8 | ||||
| -rw-r--r-- | profiles/categories | 1 |
2 files changed, 9 insertions, 0 deletions
diff --git a/dev-gap/metadata.xml b/dev-gap/metadata.xml new file mode 100644 index 000000000000..13b8d368f7d2 --- /dev/null +++ b/dev-gap/metadata.xml @@ -0,0 +1,8 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE catmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> +<catmetadata> + <longdescription lang="en"> + The dev-gap category contains packages for the GAP system + at https://www.gap-system.org/Packages/packages.html + </longdescription> +</catmetadata> diff --git a/profiles/categories b/profiles/categories index 691304863fd1..f7f5996e1810 100644 --- a/profiles/categories +++ b/profiles/categories @@ -39,6 +39,7 @@ dev-dotnet dev-embedded dev-erlang dev-games +dev-gap dev-go dev-haskell dev-java |