diff options
Diffstat (limited to 'dev-ml/core_kernel')
| -rw-r--r-- | dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild | 2 | ||||
| -rw-r--r-- | dev-ml/core_kernel/metadata.xml | 21 |
2 files changed, 12 insertions, 11 deletions
diff --git a/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild b/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild index f96d14558d44..4f8eb73f4ef5 100644 --- a/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild +++ b/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild @@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g LICENSE="LGPL-2.1-with-linking-exception" SLOT="0/${PV}" -KEYWORDS="~amd64 ~arm ~arm64 ~ppc64 ~x86" +KEYWORDS="~amd64 ~arm ~arm64 ppc ~ppc64 x86" IUSE="+ocamlopt" # Wants quickcheck_deprecated for now diff --git a/dev-ml/core_kernel/metadata.xml b/dev-ml/core_kernel/metadata.xml index 04ce58761077..c928994f5fd6 100644 --- a/dev-ml/core_kernel/metadata.xml +++ b/dev-ml/core_kernel/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 type="project"> - <email>ml@gentoo.org</email> - <name>ML</name> - </maintainer> - <longdescription lang="en"> + <maintainer type="project"> + <email>ml@gentoo.org</email> + <name>ML</name> + </maintainer> + <longdescription lang="en"> Core_kernel is the system-independent part of Core. It is aimed for cases when the full Core is not available, such as in Javascript. It provides an overlay on the usual namespace, so the best way to use @@ -13,7 +13,8 @@ open Core_kernel.Std </longdescription> - <upstream> - <remote-id type="github">janestreet/core_kernel</remote-id> - </upstream> -</pkgmetadata> + <upstream> + <remote-id type="github">janestreet/core_kernel</remote-id> + </upstream> + <origin>gentoo-staging</origin> +</pkgmetadata>
\ No newline at end of file |