From 3ff6f3695d2ccdd75116367f09f7fcf4db460980 Mon Sep 17 00:00:00 2001
From: Michael Orlitzky <mjo@gentoo.org>
Date: Thu, 21 Dec 2023 09:35:25 -0500
Subject: [PATCH] profiles,dev-gap: new category dev-gap for GAP packages

Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
---
 dev-gap/metadata.xml | 8 ++++++++
 profiles/categories  | 1 +
 2 files changed, 9 insertions(+)
 create mode 100644 dev-gap/metadata.xml

diff --git a/dev-gap/metadata.xml b/dev-gap/metadata.xml
new file mode 100644
index 0000000000000..13b8d368f7d2b
--- /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 691304863fd1b..f7f5996e18107 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