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 /profiles/categories | |
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>
Diffstat (limited to 'profiles/categories')
-rw-r--r-- | profiles/categories | 1 |
1 files changed, 1 insertions, 0 deletions
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 |