diff options
Diffstat (limited to 'dev-ml/base_bigstring')
| -rw-r--r-- | dev-ml/base_bigstring/base_bigstring-0.14.0.ebuild | 2 | ||||
| -rw-r--r-- | dev-ml/base_bigstring/metadata.xml | 21 |
2 files changed, 12 insertions, 11 deletions
diff --git a/dev-ml/base_bigstring/base_bigstring-0.14.0.ebuild b/dev-ml/base_bigstring/base_bigstring-0.14.0.ebuild index 73757c8556a4..986026ae2dd5 100644 --- a/dev-ml/base_bigstring/base_bigstring-0.14.0.ebuild +++ b/dev-ml/base_bigstring/base_bigstring-0.14.0.ebuild @@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g LICENSE="MIT" SLOT="0/${PV}" -KEYWORDS="~amd64 ~arm ~arm64 ~ppc64 ~x86" +KEYWORDS="~amd64 ~arm ~arm64 ppc ~ppc64 x86" IUSE="+ocamlopt" DEPEND=" diff --git a/dev-ml/base_bigstring/metadata.xml b/dev-ml/base_bigstring/metadata.xml index 70e661420ebd..456bb1834fdb 100644 --- a/dev-ml/base_bigstring/metadata.xml +++ b/dev-ml/base_bigstring/metadata.xml @@ -1,11 +1,12 @@ -<?xml version='1.0' encoding='UTF-8'?> -<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="project"> - <email>ml@gentoo.org</email> - <name>ML</name> - </maintainer> - <upstream> - <remote-id type="github">janestreet/base_bigstring</remote-id> - </upstream> -</pkgmetadata> + <maintainer type="project"> + <email>ml@gentoo.org</email> + <name>ML</name> + </maintainer> + <upstream> + <remote-id type="github">janestreet/base_bigstring</remote-id> + </upstream> + <origin>gentoo-staging</origin> +</pkgmetadata>
\ No newline at end of file |