diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2023-01-27 22:17:20 +0100 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2023-01-27 22:59:57 +0100 |
| commit | ec5cf8ccbd5871a922ee65f0c3296017e35266a3 (patch) | |
| tree | 1f592717ea1df0e8d99e1967eab5f33f2b792200 /dev-ml/jst-config | |
| parent | dev-ml/gapi-ocaml: add 0.4.3 (diff) | |
| download | gentoo-ec5cf8ccbd5871a922ee65f0c3296017e35266a3.tar.gz gentoo-ec5cf8ccbd5871a922ee65f0c3296017e35266a3.tar.bz2 gentoo-ec5cf8ccbd5871a922ee65f0c3296017e35266a3.zip | |
dev-ml/jst-config: add 0.15.1
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/jst-config')
| -rw-r--r-- | dev-ml/jst-config/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/jst-config/jst-config-0.15.1.ebuild | 23 |
2 files changed, 24 insertions, 0 deletions
diff --git a/dev-ml/jst-config/Manifest b/dev-ml/jst-config/Manifest index a1a20ad65f3b..09074433b6d0 100644 --- a/dev-ml/jst-config/Manifest +++ b/dev-ml/jst-config/Manifest @@ -1,3 +1,4 @@ DIST jst-config-0.14.0.tar.gz 4916 BLAKE2B e052cf9aad6e7bef737cd39643663b4577cffe9b9a8e116a8f23ce8d92ebb172d8c66eb20976c319593c217d95de253b4b7f86c05616bf665061896989f0908c SHA512 9d76f3394490762aaef36a3fd3ced4769da05e5a62176bb215379f18a29eab5089e65f599a3a3621937a5a79fcbda22cecf189e8e290acffef5b565e1b4d3b58 DIST jst-config-0.14.1.tar.gz 4931 BLAKE2B b24aefa5f4e0b76c3cfd1ecbb9ae7789891db8ade236f6071b814dc3d4be6d94ad39b2d0808ca81a633f2b7a31db18b530c73a7a0c43c65f4ddc8abe90adddd6 SHA512 0a43ba941c2915afb30b3cdc09c3c83e05d5b1367bf89aaa4b3adb72878c8435e07838bcf345452c25482d7621d2a7277b92328a2a8842ec172d4bf73005d9c2 DIST jst-config-0.15.0.tar.gz 4865 BLAKE2B 165a6aef50f20ed5e71c8211c2ba47dcc03ab7244c692bf3f369b02b8ce0dcfa61bce36d0c93fb5c95fd35883e94621532776c625483e3e692336812eb3183c9 SHA512 59482feb5b02dc09c2cff2154105bc7e162e5788ee357a8663dc8e76eb33ab729e9ba34b2f2a3e49b17fc6e279a6927c2024a32b081b4059b438de81fb1a3790 +DIST jst-config-0.15.1.tar.gz 4873 BLAKE2B 6ea2fb305a65f2db0b84dd0f3d9e4e4bb9ff1e10201b0a793bd16820448b04edd4d0b3d5ffc62e28cd177eafd6dea1714e8cadefd16dca1f5f7ab1683d0fb539 SHA512 389854aad6775756fd51374a036c748947f186eae4b48a4863549e7d8efafee25bdfc7c525dd2c466d9f0e0265b48a6e7b950042b6c9014051f8288393173147 diff --git a/dev-ml/jst-config/jst-config-0.15.1.ebuild b/dev-ml/jst-config/jst-config-0.15.1.ebuild new file mode 100644 index 000000000000..dea4bf6130f6 --- /dev/null +++ b/dev-ml/jst-config/jst-config-0.15.1.ebuild @@ -0,0 +1,23 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="Compile-time configuration for Jane Street libraries" +HOMEPAGE="https://github.com/janestreet/jst-config" +SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="MIT" +SLOT="0/$(ver_cut 1-2)" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" +IUSE="+ocamlopt" + +DEPEND=" + dev-ml/base:= + dev-ml/ppx_assert:= + dev-ml/stdio:= + dev-ml/dune-configurator:= +" +RDEPEND="${DEPEND}" |