diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2023-06-30 12:57:34 +0200 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2023-06-30 15:13:19 +0200 |
| commit | 638b0c0394bcc0f7e625788ee21c0c8919731bbd (patch) | |
| tree | 9952c0cb9d406f15ed6338f741d18bb90461c962 | |
| parent | www-client/chromium: add 114.0.5735.198 (diff) | |
| download | gentoo-638b0c03.tar.gz gentoo-638b0c03.tar.bz2 gentoo-638b0c03.zip | |
dev-ml/jane-street-headers: add 0.16.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
| -rw-r--r-- | dev-ml/jane-street-headers/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/jane-street-headers/jane-street-headers-0.16.0.ebuild | 18 |
2 files changed, 19 insertions, 0 deletions
diff --git a/dev-ml/jane-street-headers/Manifest b/dev-ml/jane-street-headers/Manifest index 22f7706a4840..0bacd48796fd 100644 --- a/dev-ml/jane-street-headers/Manifest +++ b/dev-ml/jane-street-headers/Manifest @@ -1,2 +1,3 @@ DIST jane-street-headers-0.14.0.tar.gz 4662 BLAKE2B 22a48e9c254005d28c03399dd9d9347b45b7e3def9c0efdd768162f80ff611be6249d629cd78fd8768c7e6ec5610684e9459b149f3de85da307b2f1e8525296d SHA512 9c80acc57016f98cd88455866523f2463a13d2b7e10cf0d63f5198747615321799a8b3442432b321fa4f33a051f404464e27972317d197ac9513651600673879 DIST jane-street-headers-0.15.0.tar.gz 4865 BLAKE2B 932468266f6cd56ee2b484c5f4459919b2f0fa659a41d51132c169eda49734e5cc852e6aea5549173df6af603f3118de8bb8362b5d7ca5f27e00999d75eb8fa9 SHA512 83ea5e4cdbae6710c7071325164df06dcb652a69329698c5b0c8832057f4d7325e8a241e5818e78ad2f6b8daeb1d0635528d9bd3b6761c69f8370a7bdb773c1f +DIST jane-street-headers-0.16.0.tar.gz 4905 BLAKE2B 33301bd5221fb636a44a3e654ae1511d99645e0dbfea4f9765f5d2febf9cdab03d6a9a15f7cf1733ffa380e7c9fa5743d66487feda0e2e2088d1e748775e607c SHA512 05336733845b442e3594889ac6e8fe7048bb3fc23b5f8a05e48d42db6851e4aac561587a1e73b9d6fb1852b768dd66b949cd220b1a9effe83dd181707ea2ab24 diff --git a/dev-ml/jane-street-headers/jane-street-headers-0.16.0.ebuild b/dev-ml/jane-street-headers/jane-street-headers-0.16.0.ebuild new file mode 100644 index 000000000000..6d45dbd92106 --- /dev/null +++ b/dev-ml/jane-street-headers/jane-street-headers-0.16.0.ebuild @@ -0,0 +1,18 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="Jane Street header files" +HOMEPAGE="https://github.com/janestreet/jane-street-headers" +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" +RDEPEND="${DEPEND}" |