From 3ff6f3695d2ccdd75116367f09f7fcf4db460980 Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Thu, 21 Dec 2023 09:35:25 -0500 Subject: profiles,dev-gap: new category dev-gap for GAP packages Signed-off-by: Michael Orlitzky --- dev-gap/metadata.xml | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 dev-gap/metadata.xml (limited to 'dev-gap/metadata.xml') 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 @@ + + + + + The dev-gap category contains packages for the GAP system + at https://www.gap-system.org/Packages/packages.html + + -- cgit v1.2.3-65-gdbad