diff options
author | Mark Wright <gienah@gentoo.org> | 2020-10-13 17:22:55 +1100 |
---|---|---|
committer | Mark Wright <gienah@gentoo.org> | 2020-10-13 23:53:34 +1100 |
commit | ef314d377ac2907884ddc8f09ca197869f00d7ab (patch) | |
tree | 817790772dd03dc7d0deef80afe81fb8958cfca6 /dev-ml/ppx_derivers | |
parent | dev-ml/ppx_custom_printf: Bump to 0.14.0 (diff) | |
download | gentoo-ef314d377ac2907884ddc8f09ca197869f00d7ab.tar.gz gentoo-ef314d377ac2907884ddc8f09ca197869f00d7ab.tar.bz2 gentoo-ef314d377ac2907884ddc8f09ca197869f00d7ab.zip |
dev-ml/ppx_derivers: Bump to 1.2.1
Co-Author: Alexis Ballier <aballier@gentoo.org>
Package-Manager: Portage-3.0.8, Repoman-3.0.1
Signed-off-by: Mark Wright <gienah@gentoo.org>
Diffstat (limited to 'dev-ml/ppx_derivers')
-rw-r--r-- | dev-ml/ppx_derivers/Manifest | 1 | ||||
-rw-r--r-- | dev-ml/ppx_derivers/metadata.xml | 5 | ||||
-rw-r--r-- | dev-ml/ppx_derivers/ppx_derivers-1.2.1.ebuild | 18 |
3 files changed, 23 insertions, 1 deletions
diff --git a/dev-ml/ppx_derivers/Manifest b/dev-ml/ppx_derivers/Manifest index 535fb7fce0c3..45a09a38f555 100644 --- a/dev-ml/ppx_derivers/Manifest +++ b/dev-ml/ppx_derivers/Manifest @@ -1 +1,2 @@ DIST ppx_derivers-1.0.tar.gz 1467 BLAKE2B 94946c5d04e314bfbe146534fb19e88a16670dc3f5d47c15496142dd9a256ebbe4387f24a9fe31b1aee804d064bea0a9136685372399a38ac82dedafe677934a SHA512 2e2437094362088f9a1601ca3c2f0b82ec079b9a34e502234aef36158ea7a3f2236f1d2526df1a75bcb851346ebaaf717eaf72253935f7ea4024d3dc20512e85 +DIST ppx_derivers-1.2.1.tar.gz 2530 BLAKE2B d0a8a214e93908cfff1d418fe1b729a7ca502fb6dc983d3a837f6846aec891627457df72a610736d929c83622202bd5a00451c1c24510a642b4c133ce60416b8 SHA512 ef0796fe2592e653d34ba01d206d4b507429882a2aaadcb89c7f807c33a417f2871b0c94ade5c92aefd9487daa582e19d88ad5a5eaa631e8162ae12f4a0756c6 diff --git a/dev-ml/ppx_derivers/metadata.xml b/dev-ml/ppx_derivers/metadata.xml index 8cefe9903afe..60ca2c998ff0 100644 --- a/dev-ml/ppx_derivers/metadata.xml +++ b/dev-ml/ppx_derivers/metadata.xml @@ -1,7 +1,10 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <!-- maintainer-needed --> + <maintainer type="person"> + <email>gienah@gentoo.org</email> + <name>Mark Wright</name> + </maintainer> <upstream> <remote-id type="github">diml/ppx_derivers</remote-id> </upstream> diff --git a/dev-ml/ppx_derivers/ppx_derivers-1.2.1.ebuild b/dev-ml/ppx_derivers/ppx_derivers-1.2.1.ebuild new file mode 100644 index 000000000000..9db1aabf04a8 --- /dev/null +++ b/dev-ml/ppx_derivers/ppx_derivers-1.2.1.ebuild @@ -0,0 +1,18 @@ +# Copyright 1999-2020 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit dune + +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 ~arm ~arm64" +IUSE="+ocamlopt" + +RDEPEND="" +DEPEND="${RDEPEND}" |