diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-05-12 16:42:50 +0300 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-05-12 16:42:50 +0300 |
| commit | 752d6256e5204b958b0ef7905675a940b5e9172f (patch) | |
| tree | 330d16e6362a49cbed8875a777fe641a43376cd3 /dev-ml/ppx_optional | |
| parent | 0c100b7dd2b30e75b799d806df4ef899fd98e1ea (diff) | |
gentoo resync : 12.05.2022
Diffstat (limited to 'dev-ml/ppx_optional')
| -rw-r--r-- | dev-ml/ppx_optional/Manifest | 4 | ||||
| -rw-r--r-- | dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild | 2 | ||||
| -rw-r--r-- | dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild | 22 |
3 files changed, 26 insertions, 2 deletions
diff --git a/dev-ml/ppx_optional/Manifest b/dev-ml/ppx_optional/Manifest index 329a755aebe2..88278af4a3c0 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 -EBUILD ppx_optional-0.14.0.ebuild 524 BLAKE2B e32f958c4b571caac8e16e157f87b8935d77716937551534f8edd45cb473fe6db4b65e7e165e2308af5dce023721ebe9f431cada10d9ee7050bd54561d2f7ccc SHA512 827a2751b6e292c89b16446e25f343cc81e27d3fea08430beaa04172c2da35b43a86eec613a0ca561365a5780f9a94c57bfd788faa753fc879bcb348b4b77ade +DIST ppx_optional-0.15.0.tar.gz 6090 BLAKE2B 89752ec6175f0334b922689b2f1b47ee078be0eb5f0432b9de18ac966a6e75e4bb36e4f5f4ab4e7be669de5805f2db8e35cf723cbc22e724451d748bf5437553 SHA512 a2cd8390877c9ec256523c796995a5ade2f97f396afe86493ac46ca1bd1fe15264423986f5a27d5b88908b92673305405e508e744335205ff17f6c2b7d7d0809 +EBUILD ppx_optional-0.14.0.ebuild 531 BLAKE2B 5d48636025515f144853b786261d17ba03358694335bfaf279330f1a51f90871d2cdf305e64b928a363d77b3a61ade938a3aad15159b7e672e1a1fb53663066e SHA512 12b695e389ce5a7f29833fcf6230abfdaa5f6ad0d9da59a5069c112c1e1718f66179cd47ff3fd4ea24a8662492d1b904f0dd4fedc4baafad40eb1fd3b69c59e6 +EBUILD ppx_optional-0.15.0.ebuild 524 BLAKE2B 6bf49fdaabf722f44ba0488b75162dbb17d74f07ab3cb45336de6c23017a3c618f3f79c51d69dddd66be671aa2325f42c43f8c42df929515bd3d137913ca49ef SHA512 22bfb03fd6fe022b6dcfe4218ffa8cb7ae48a7d8a9e8411d82c68d8ba76a23922a466832f8a39ea5c16dee356f15195c7315383e52cf8b8ab614fb2fbe23455b MISC metadata.xml 426 BLAKE2B 9fabba8035f75668823c0cc2df9c5c3dc5d6f74ec409c70fc356d396f46845bccc742aa60260dc2b7c743eaa18bb33b741ccee16c322ca7f3fff343701e51936 SHA512 ca968cc640b2486e5ffb67fdb8c3597843c625391456c6b8fc072dc3a28e77f05de2a37df0eeb9680badc4312f7b67f642fe1fe4e8355215fa814e9e715e7898 diff --git a/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild b/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild index bae5d4dad48e..c2135f01b6e9 100644 --- a/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild +++ b/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild @@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g LICENSE="Apache-2.0" SLOT="0/${PV}" -KEYWORDS="amd64 arm arm64 ~ppc ppc64 x86" +KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv x86" IUSE="+ocamlopt" DEPEND=" diff --git a/dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild b/dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild new file mode 100644 index 000000000000..92e8050422a0 --- /dev/null +++ b/dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild @@ -0,0 +1,22 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +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/$(ver_cut 1-2)" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" +IUSE="+ocamlopt" + +DEPEND=" + dev-ml/base:${SLOT} + >=dev-ml/ppxlib-0.23.0:= + dev-ml/result:= +" +RDEPEND="${DEPEND}" |