diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2020-11-25 22:39:15 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2020-11-25 22:39:15 +0000 |
| commit | d934827bf44b7cfcf6711964418148fa60877668 (patch) | |
| tree | 0625f358789b5e015e49db139cc1dbc9be00428f /dev-ml/ppx_optional | |
| parent | 2e34d110f164bf74d55fced27fe0000201b3eec5 (diff) | |
gentoo resync : 25.11.2020
Diffstat (limited to 'dev-ml/ppx_optional')
| -rw-r--r-- | dev-ml/ppx_optional/Manifest | 4 | ||||
| -rw-r--r-- | dev-ml/ppx_optional/metadata.xml | 5 | ||||
| -rw-r--r-- | dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild | 23 |
3 files changed, 30 insertions, 2 deletions
diff --git a/dev-ml/ppx_optional/Manifest b/dev-ml/ppx_optional/Manifest index 9abcb3f0d7ed..5eeff11a6241 100644 --- a/dev-ml/ppx_optional/Manifest +++ b/dev-ml/ppx_optional/Manifest @@ -1,3 +1,5 @@ +DIST ppx_optional-0.14.0.tar.gz 6090 BLAKE2B 99c5ed7ab6b6c555477eaf468786cc175ff8c8ac4d0c6abb8110637da57396ed599d5c10bd35f3d5ff27a41b00314ca355596e4158c4d792fcb37d547455b90d SHA512 70ed28a974ea1bbcb3fe2e54911e355da54fafd6dff3e74c471126a824c28e9a180777e96e17c4a7a52be4be507fbbc0fa3e92310346dbaf5ab8711845e92e40 DIST ppx_optional-0.9.0.tar.gz 6940 BLAKE2B 28b9ab2b8cc20f295e927533ff9eed694289987914105758d3c014d06064bd21016d44bc7ad72b331a4c887848ed9c2dd75a0a48b6d5f330de898087596d1cc3 SHA512 c341bc8e64b7caf7af5c878747697330db84b14959f22930dd6919cc861dce847983771cbad2ed7800ab8c64704e88fa0d8db3ca7c8f2924bf785a4dccd17fa0 +EBUILD ppx_optional-0.14.0.ebuild 529 BLAKE2B c30d6a1dc4b1bc9a314af08b24644b5099bca59f455e13f397b7c956a20d1a6cf0bb974fae1a67b25f10580a5aa3423cce2bae5b572bac878db4873e93a2eee2 SHA512 891d895610677fbaef81adaac534cb157cd7eca9767864dd7f1a0e26d3a7a4ec1053d9c98c10dccc111e00e900f1e59cf95e67c0c94b85741d2d6ac2815876f2 EBUILD ppx_optional-0.9.0.ebuild 541 BLAKE2B eaead536ee9b791dcf1ea8c4b43a37f9bda86598dc02a5c76c213af082eedcb7ec99033783fb5c1345b8ad5c38edbaa8da148bedbaa3b11c550f8fed6f73304e SHA512 3f085f451459dfa4f66fe38d85f5288adf02d16d939a080686d83d7bbed4b839aa2f9ec73b37c09718c9158b3f86259ae893e7d6a98469bcd21b6eba0d158dc9 -MISC metadata.xml 255 BLAKE2B 6b2443d99913e571e51183353a0f3ef4129d1567f706f0f66d2a82676218193d67fdc0972fe86145f3eff6bbddc701cbe4e200529c48e4ad6924ffad29d2d026 SHA512 12b44bf6b75813b4ff16196c152327e6d6c072aa7a05354f0cd2d0d711750fa70c722dbacf80141ed611013f4d9ca1fd2a85ef0added2fd69e1f19ee6a087985 +MISC metadata.xml 332 BLAKE2B 0824f2e9534fb0da9c6173262e70e59d7734d171ec01c274504636f71ead682799e16f7aa6d4ed90af336f3d68b2668eee86371c6be191903b81147b885ff53d SHA512 9dcc5fdfff88c79298e80a8dac25bd130a53ab4f02fda52336cb753de685d45c7769c8b0a1697e5fe11b78acfbf19e8798790ba4c6e4c697006107762b5f88ee diff --git a/dev-ml/ppx_optional/metadata.xml b/dev-ml/ppx_optional/metadata.xml index aa510eb3b023..8a58c771030e 100644 --- a/dev-ml/ppx_optional/metadata.xml +++ b/dev-ml/ppx_optional/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">janestreet/ppx_optional</remote-id> </upstream> diff --git a/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild b/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild new file mode 100644 index 000000000000..4cec3e5f6025 --- /dev/null +++ b/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild @@ -0,0 +1,23 @@ +# Copyright 1999-2020 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit dune + +DESCRIPTION="Pattern matching on flat options" +HOMEPAGE="https://github.com/janestreet/ppx_optional" +SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86" +IUSE="+ocamlopt" + +DEPEND=" + dev-ml/base:= + dev-ml/ppxlib:= + dev-ml/ocaml-migrate-parsetree:= + dev-ml/result:= +" +RDEPEND="${DEPEND}" |