diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2023-07-02 09:03:36 +0200 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2023-07-02 09:22:08 +0200 |
| commit | 2796109708c6f26ef9fcefdbb3ea04a2c45f9bb0 (patch) | |
| tree | 21b304c9384fa976d624b3f924b47a7e88cbdd96 /dev-ml/core | |
| parent | dev-ml/base_bigstring: add 0.16.0 (diff) | |
| download | gentoo-2796109708c6f26ef9fcefdbb3ea04a2c45f9bb0.tar.gz gentoo-2796109708c6f26ef9fcefdbb3ea04a2c45f9bb0.tar.bz2 gentoo-2796109708c6f26ef9fcefdbb3ea04a2c45f9bb0.zip | |
dev-ml/core: add 0.16.1
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/core')
| -rw-r--r-- | dev-ml/core/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/core/core-0.16.1.ebuild | 43 |
2 files changed, 44 insertions, 0 deletions
diff --git a/dev-ml/core/Manifest b/dev-ml/core/Manifest index 9f7a0508cba2..144daecced49 100644 --- a/dev-ml/core/Manifest +++ b/dev-ml/core/Manifest @@ -2,3 +2,4 @@ DIST core-0.14.0.tar.gz 361607 BLAKE2B 1602857bee142c23101380e6d54b6f8df1be8bb67 DIST core-0.14.1.tar.gz 361679 BLAKE2B ca43016c760e620f9073defd84a07bacaa0557d42fd9a60d6c4c894187671526ae07e0b93d29bee961b3460e1b0ec5cb346cc711d583c71fde94a9bf9992bf7e SHA512 29482b1f611f2f15f11562bfed7f8a47d2926333601ed57867c8c134d4b10dbf2ba0309ceb6ae602fe8bca1e1f9324603dba37a5df3183cd0cb690104817ed3f DIST core-0.15.0.tar.gz 522984 BLAKE2B b6fdc9d7fe133c504f89ba492e63d090e2ca4e413e96eb8c216213ea358d84ae89ef1d372525b53f701e8076e4e0670ea3535f399f3f735b3b7da383901def09 SHA512 a73a3c1c6f0ade9a9e49917bb896e62afc4fda44dd90ffa99ef9ba24debe7166b4fe1b374500a044cad8318d12f250de7fe2dd935015efde379cf91a2241f51b DIST core-0.15.1.tar.gz 522517 BLAKE2B 1dc1245708f392161ce04ab121dfff550f13a8aa75b967bc3c32f474641b455355bbeb63ef1c7492947f46c3391cd877b96a8e35c083d0406135e840647715b2 SHA512 2c04fdd989d016faaa2dee4b13372d3e228f0011151ae5f747c1eb6206820a61779a87eb7e2ecc6e1ddf77872a69a07636a93d24df61b4a2ba2a1b745f499b16 +DIST core-0.16.1.tar.gz 542242 BLAKE2B ad0b3c1b55b960f040dc0ed82a2c3c19447dfe635d2d25adab63a0ea529867cd6692fe258af3c5896ea63b5438f96b75007b4e2e5ea1d34b3c13936a7b369aeb SHA512 5f9f4400b6e42b74ffd57223cb67884368d324739565bbb20162547ede8bd6d0ece3cc265503b674829f9cf373784e8036d4c73e26e9196aa5446de69b63e181 diff --git a/dev-ml/core/core-0.16.1.ebuild b/dev-ml/core/core-0.16.1.ebuild new file mode 100644 index 000000000000..dc2f2c901b50 --- /dev/null +++ b/dev-ml/core/core-0.16.1.ebuild @@ -0,0 +1,43 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="Jane Street's alternative to the standard library" +HOMEPAGE="https://github.com/janestreet/core" +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" + +RDEPEND=" + >=dev-lang/ocaml-4.14 + dev-ml/base:${SLOT} + dev-ml/base_bigstring:${SLOT} + dev-ml/base_quickcheck:${SLOT} + dev-ml/bin_prot:${SLOT} + dev-ml/ppxlib:= + dev-ml/ppx_bin_prot:= + dev-ml/ppx_bench:= + dev-ml/ppx_custom_printf:= + dev-ml/ppx_disable_unused_warnings:= + dev-ml/ppx_fields_conv:= + dev-ml/ppx_fixed_literal:= + dev-ml/ppx_let:= + dev-ml/ppx_log:= + dev-ml/ppx_jane:${SLOT} + dev-ml/ppx_module_timer:= + dev-ml/ppx_optional:= + dev-ml/ppx_pipebang:= + dev-ml/ppx_sexp_message:${SLOT} + dev-ml/ppx_sexp_value:= + dev-ml/ppx_stable:= + dev-ml/ppx_string:= + dev-ml/ppx_ignore_instrumentation:= + dev-ml/typerep:${SLOT} +" +DEPEND="${RDEPEND}" |