diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2023-06-30 21:58:24 +0200 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2023-06-30 22:05:34 +0200 |
| commit | 7ffee1215166154d67f653ecd26bd647d1d1d16f (patch) | |
| tree | ef018b511d0353f29246051c3046371dae15712b /dev-ml/ppx_pipebang | |
| parent | dev-ml/ppx_sexp_value: add 0.16.0 (diff) | |
| download | gentoo-7ffee1215166154d67f653ecd26bd647d1d1d16f.tar.gz gentoo-7ffee1215166154d67f653ecd26bd647d1d1d16f.tar.bz2 gentoo-7ffee1215166154d67f653ecd26bd647d1d1d16f.zip | |
dev-ml/ppx_pipebang: add 0.16.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/ppx_pipebang')
| -rw-r--r-- | dev-ml/ppx_pipebang/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/ppx_pipebang/ppx_pipebang-0.16.0.ebuild | 22 |
2 files changed, 23 insertions, 0 deletions
diff --git a/dev-ml/ppx_pipebang/Manifest b/dev-ml/ppx_pipebang/Manifest index 8705c60c84a2..3da78098e74a 100644 --- a/dev-ml/ppx_pipebang/Manifest +++ b/dev-ml/ppx_pipebang/Manifest @@ -1,2 +1,3 @@ DIST ppx_pipebang-0.14.0.tar.gz 3766 BLAKE2B a2e99dd5e27ddbca5d77b1c215757d8d0d2d54b53511f0db93a09a16c25b5c5e429a08c8d42c7e4843eeb23c346649dea5700c445afe176f4b1625340901b6c1 SHA512 b07004aef0865c877f8f814068b514298568078785586933f400350d1a1dae3eb4aafe1ba4f12e17a3e2a3945297162c4a725ebfbc153e80b412c6086019959a DIST ppx_pipebang-0.15.0.tar.gz 3759 BLAKE2B 6d2a45a4b803a777dcf055acccbea3e54a86458d01032efd01d204cf3426b496b9d91047216c11a424ef5e7ff92fc729d1ef8fb616f807c21f512be52013665a SHA512 778dae2cd6176f9ce18f20486e16f6f76e9137095759b29ddc10fee15d8a21f51fff94245c4a750ae68cd75edbd06b9cad6ff1b56aacb38ac9e6d7d71c0bf701 +DIST ppx_pipebang-0.16.0.tar.gz 3755 BLAKE2B 2aa33958dd9b6abdaed4d38c7d627fa3cd1b0328bc01fc3eb8761ef9d60f9ba26b8be17975712d91c177fcf8c20e17da69c49ff676b2946a783e3674e30597c1 SHA512 b333d189c2705b3c7175af5636bd63c38ed434b3828227c7db8d2cb0fe9bd4caa05975d5d28d8fb4d61656bd3d7a15e2db2b36a1672107c1557c5012c19cb445 diff --git a/dev-ml/ppx_pipebang/ppx_pipebang-0.16.0.ebuild b/dev-ml/ppx_pipebang/ppx_pipebang-0.16.0.ebuild new file mode 100644 index 000000000000..8f9642ec2657 --- /dev/null +++ b/dev-ml/ppx_pipebang/ppx_pipebang-0.16.0.ebuild @@ -0,0 +1,22 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="A ppx rewriter that inlines reverse application operators |> and |!" +HOMEPAGE="https://github.com/janestreet/ppx_pipebang" +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-lang/ocaml-4.14 + >=dev-ml/ppxlib-0.28.0:= + >=dev-ml/ocaml-compiler-libs-0.11.0:= +" +RDEPEND="${DEPEND}" |