diff options
Diffstat (limited to 'dev-lang/polyml/metadata.xml')
| -rw-r--r-- | dev-lang/polyml/metadata.xml | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/dev-lang/polyml/metadata.xml b/dev-lang/polyml/metadata.xml index d54adc1d520f..8b903fa9fbe1 100644 --- a/dev-lang/polyml/metadata.xml +++ b/dev-lang/polyml/metadata.xml @@ -1,11 +1,11 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> <pkgmetadata> - <!-- maintainer-needed --> - <use> - <flag name="portable">Build the portable interpreter version of Poly/ML instead of native</flag> - </use> - <upstream> - <remote-id type="sourceforge">polyml</remote-id> - </upstream> -</pkgmetadata> + <upstream> + <remote-id type="sourceforge">polyml</remote-id> + </upstream> + <use> + <flag name="portable">Build the portable interpreter version of Poly/ML instead of native</flag> + </use> + <origin>gentoo-staging</origin> +</pkgmetadata>
\ No newline at end of file |