diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2018-07-14 21:03:06 +0100 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2018-07-14 21:03:06 +0100 |
commit | 8376ef56580626e9c0f796d5b85b53a0a1c7d5f5 (patch) | |
tree | 7681bbd4e8b05407772df40a4bf04cbbc8afc3fa /dev-ml/ppx_derivers | |
parent | 30a9caf154332f12ca60756e1b75d2f0e3e1822d (diff) |
gentoo resync : 14.07.2018
Diffstat (limited to 'dev-ml/ppx_derivers')
-rw-r--r-- | dev-ml/ppx_derivers/Manifest | 3 | ||||
-rw-r--r-- | dev-ml/ppx_derivers/metadata.xml | 11 | ||||
-rw-r--r-- | dev-ml/ppx_derivers/ppx_derivers-1.0.ebuild | 19 |
3 files changed, 33 insertions, 0 deletions
diff --git a/dev-ml/ppx_derivers/Manifest b/dev-ml/ppx_derivers/Manifest new file mode 100644 index 000000000000..3158d90a9ba2 --- /dev/null +++ b/dev-ml/ppx_derivers/Manifest @@ -0,0 +1,3 @@ +DIST ppx_derivers-1.0.tar.gz 1467 BLAKE2B 94946c5d04e314bfbe146534fb19e88a16670dc3f5d47c15496142dd9a256ebbe4387f24a9fe31b1aee804d064bea0a9136685372399a38ac82dedafe677934a SHA512 2e2437094362088f9a1601ca3c2f0b82ec079b9a34e502234aef36158ea7a3f2236f1d2526df1a75bcb851346ebaaf717eaf72253935f7ea4024d3dc20512e85 +EBUILD ppx_derivers-1.0.ebuild 426 BLAKE2B 91552788b46b1a766bbf3b4ab91f911329a9a02665f0ebc045e480bd6da9accb939672ad08a54d8ab2d494e852d5189208444c43e9f41b74d3dc51cf6e1ea7fe SHA512 9c8aaf21a446b609d4223390c3f3caa77425f96c177a2869e74615295ffee80e28d1efe75b0186b65c5c30162a9bdb28bae009ba9d38080ebc48fbcf30deeb63 +MISC metadata.xml 329 BLAKE2B ad849b6394c08527d905d42a74e19606ebf2454b26f4da643ce463e87f803fe09a60cedad0453374b046b0166ba5ca23abc65add6729f4bc382ba83d509e6e6a SHA512 534d8265ad0bf37d4ef37219869b5f98c23537140fe035b5a987b2e0c3e84414d7ce2c6c789c4108722cbcacb6168453a3da31308e62eef9ae2de56dc87708c0 diff --git a/dev-ml/ppx_derivers/metadata.xml b/dev-ml/ppx_derivers/metadata.xml new file mode 100644 index 000000000000..4dc57e2bec09 --- /dev/null +++ b/dev-ml/ppx_derivers/metadata.xml @@ -0,0 +1,11 @@ +<?xml version='1.0' encoding='UTF-8'?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <maintainer type="project"> + <email>ml@gentoo.org</email> + <name>Gentoo ML Project</name> + </maintainer> + <upstream> + <remote-id type="github">diml/ppx_derivers</remote-id> + </upstream> +</pkgmetadata> diff --git a/dev-ml/ppx_derivers/ppx_derivers-1.0.ebuild b/dev-ml/ppx_derivers/ppx_derivers-1.0.ebuild new file mode 100644 index 000000000000..b991aaed688e --- /dev/null +++ b/dev-ml/ppx_derivers/ppx_derivers-1.0.ebuild @@ -0,0 +1,19 @@ +# Copyright 1999-2018 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=6 + +inherit opam + +DESCRIPTION="Shared [@@deriving] plugin registry" +HOMEPAGE="https://github.com/diml/ppx_derivers" +SRC_URI="https://github.com/diml/ppx_derivers/archive/${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="BSD" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~ppc ~x86" +IUSE="" + +RDEPEND="" +DEPEND="${RDEPEND} + dev-ml/jbuilder" |