gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-08-06 00:48:18 -07:00
Code Issues Projects Releases Wiki Activity

profiles,dev-gap: new category dev-gap for GAP packages

Browse Source 
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
This commit is contained in:
Michael Orlitzky
2023-12-21 09:35:25 -05:00
parent 413143b47e
commit 3ff6f3695d
2 changed files with 9 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
dev-gap/metadata.xml Normal file
View File

@@ -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>

1
profiles/categories
View File

@@ -39,6 +39,7 @@ dev-dotnet
dev-embedded
dev-erlang
dev-games
dev-gap
dev-go
dev-haskell
dev-java