diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2022-12-17 22:10:44 +0100 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2022-12-17 22:10:44 +0100 |
| commit | 6cb4527f631bc9fa68e45a5dc9db81507fd1cb1a (patch) | |
| tree | fa915e1e34f2e6d3b923ece52ad229c409a72841 /dev-ada/gpr-unit-provider/metadata.xml | |
| parent | dev-ada/gpr: fix shared (diff) | |
| download | gentoo-6cb4527f631bc9fa68e45a5dc9db81507fd1cb1a.tar.gz gentoo-6cb4527f631bc9fa68e45a5dc9db81507fd1cb1a.tar.bz2 gentoo-6cb4527f631bc9fa68e45a5dc9db81507fd1cb1a.zip | |
dev-ada/gpr-unit-provider: new package, add 23.0.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ada/gpr-unit-provider/metadata.xml')
| -rw-r--r-- | dev-ada/gpr-unit-provider/metadata.xml | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/dev-ada/gpr-unit-provider/metadata.xml b/dev-ada/gpr-unit-provider/metadata.xml new file mode 100644 index 000000000000..650d892ed260 --- /dev/null +++ b/dev-ada/gpr-unit-provider/metadata.xml @@ -0,0 +1,13 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <maintainer type="project"> + <email>ada@gentoo.org</email> + </maintainer> + <use> + <flag name="shared">Build shared library</flag> + </use> + <upstream> + <remote-id type="github">AdaCore/gpr-unit-provider</remote-id> + </upstream> +</pkgmetadata> |