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 /dev-gap/metadata.xml | |
| 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 'dev-gap/metadata.xml')
| -rw-r--r-- | dev-gap/metadata.xml | 8 |
1 files changed, 8 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> |