diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-06-30 20:15:07 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-06-30 21:08:26 +0200 |
| commit | d409e23b16fc2c19dd699a182cc52d22f807ae85 (patch) | |
| tree | 0f5ae92b6c022312210c2564bfcb5802a662b498 /dev-ml/ppx_let | |
| parent | dev-ml/base: fix sexplib0 SLOT constraint (diff) | |
| download | gentoo-d409e23b16fc2c19dd699a182cc52d22f807ae85.tar.gz gentoo-d409e23b16fc2c19dd699a182cc52d22f807ae85.tar.bz2 gentoo-d409e23b16fc2c19dd699a182cc52d22f807ae85.zip | |
dev-ml/ppx_let: bump to 0.16.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-ml/ppx_let')
| -rw-r--r-- | dev-ml/ppx_let/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/ppx_let/ppx_let-0.16.0.ebuild | 24 |
2 files changed, 25 insertions, 0 deletions
diff --git a/dev-ml/ppx_let/Manifest b/dev-ml/ppx_let/Manifest index d81b135b2201..e1eceb368892 100644 --- a/dev-ml/ppx_let/Manifest +++ b/dev-ml/ppx_let/Manifest @@ -1,2 +1,3 @@ DIST ppx_let-0.14.0.tar.gz 10822 BLAKE2B c1dc155afb0bc52bb22d65c2c19536d41d53e4cf10d39b70ebadf1cf8cfb37ff1c25d9fcfb48f9421a0c55887acc2c6ce72d531593a61654146d3196fa83499d SHA512 79f2dcf2c76308b5993d1b9dad5c961b816dcc4ae43d856c51c196a67eb21b2f51135762e52d512afa9b45aca30002abbca76036ebcc117464a4823d1c40ed0c DIST ppx_let-0.15.0.tar.gz 17400 BLAKE2B 3276944addb1dd01c1f461512452ee2bf32fee0cfc3b3772aa7da2a427786a100b36678539fc7fb2beb98ad0bac3b82071b8ebe5d4e5374c5b8bc57a239488ca SHA512 5a22117407c93755df5fe55feded9d7061a8bf953aecc83d2e04de648aff973b1c380b44a26fa68888e90e7486b91a1c665c033c01e2af456a7de3b0b63775d3 +DIST ppx_let-0.16.0.tar.gz 15460 BLAKE2B 8cc4adb4fae276a11df36d91690ae9fa609ac923b971afe783102fc854f212dce58826d1e743e2e2a349c278ca103e80cbb203fa18dbea21adb7c6849b0c8132 SHA512 d81c98f4f87c2af2f8121ce42bd5de8910ff4d588eb1bc3a18a9594c070f261b7c7a173bb86a5fbcd67d09ad8ba436df9a210577ac05c6a98625a0bc553fb4ad diff --git a/dev-ml/ppx_let/ppx_let-0.16.0.ebuild b/dev-ml/ppx_let/ppx_let-0.16.0.ebuild new file mode 100644 index 000000000000..d81a90d46db1 --- /dev/null +++ b/dev-ml/ppx_let/ppx_let-0.16.0.ebuild @@ -0,0 +1,24 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="Monadic let-bindings" +HOMEPAGE="https://github.com/janestreet/ppx_let" +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/findlib:= + >=dev-ml/ppxlib-0.28.0:= + >=dev-ml/ocaml-compiler-libs-0.11.0:= + dev-ml/ppx_here:= +" +RDEPEND="${DEPEND}" |