diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2021-10-08 23:06:07 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2021-10-08 23:06:07 +0100 |
| commit | e23a08d0c97a0cc415aaa165da840b056f93c997 (patch) | |
| tree | 4c5f7db60483518201fef36f8cc0712789a08db2 /dev-ml/core_kernel | |
| parent | 391b5b359a346aff490103da7dddc85047f83830 (diff) | |
gentoo resync : 08.10.2021
Diffstat (limited to 'dev-ml/core_kernel')
| -rw-r--r-- | dev-ml/core_kernel/Manifest | 2 | ||||
| -rw-r--r-- | dev-ml/core_kernel/core_kernel-0.14.2.ebuild | 44 |
2 files changed, 46 insertions, 0 deletions
diff --git a/dev-ml/core_kernel/Manifest b/dev-ml/core_kernel/Manifest index 86f96beb1eb5..7b42db80d56c 100644 --- a/dev-ml/core_kernel/Manifest +++ b/dev-ml/core_kernel/Manifest @@ -1,3 +1,5 @@ DIST core_kernel-0.14.1.tar.gz 701832 BLAKE2B 0463641f8ab663f00dff59e1ac0b9693f15b71e4f9fa001b54d2449b8a18c8f618a7d7d3149084699d12d4c9834a20fcda6882549f4c69c219e3489ee1223dba SHA512 56488260fce8a066bba06efc349b4760c55d7d2fe38ed47dd7f37d0deb9ea05838a87713ec778df83d7805da5a54513a97d9e678640bb977bfd342bb748e7a33 +DIST core_kernel-0.14.2.tar.gz 701911 BLAKE2B e784d6d8f53df03ffb56075a43bdfc82d5099740c4eebdfdebe196cb3c97211b95892af18ab0f69b3143a873962fa74afe09a961ad851fb8eb4f30287e538157 SHA512 d0f719734d920d98c55ac7d1aa8ab5b3de7a3896f6cd8b1ffc5147c689f072361e79045a0b34c1f5359dbf492e612eabd613c4724fe60d45345c2944dcdcf6de EBUILD core_kernel-0.14.1-r3.ebuild 997 BLAKE2B e0520c647e0bb64774e8cbd20e86af0ad014cc73852c37f5e4341c72f4ae07733a573d3b1a757794e6e145f9c575e6fc5c346c6447be9a71abb246f7990a6882 SHA512 37bffd1f91f3620958e0adc4daeafcdfa0b33232521526c725e3d9969039d6e7e08b949d22bfb4bd497e7631dd335edbf5da6e3856ace3ca2b0beb1b8d852a31 +EBUILD core_kernel-0.14.2.ebuild 1003 BLAKE2B 9a30d1032a2ac94389b894a5123a70c819261af4b1a13f2ab01415981b8974219016c296ed3a2a0c52c5e2136943074be45381fd55896735fe67b7567b7fff13 SHA512 244eb455f9e05d17cb77caf3ae8e3563da2987cd407a39cd88d0f0d8703c8c25003e2106b46df9405e30cef4898c22aa60b8f8ab62519d06c95caaae481fc94c MISC metadata.xml 640 BLAKE2B 411246c9f2ad1ba00a0475e8195d3b54a0ffd9b7c6804c10b482540e6c27d683451ed63d65f48e2dcab87a53a69fa6215590c8b2f8bb951266697df6226e44a9 SHA512 7854d4748ccc7833d4a029e8ee0fdef9d91c2552d916d77bfe171590a1de6c9e547675e04c886afe9b5b6de8c34e200f6e52a193213ae00ce70f5823fa363292 diff --git a/dev-ml/core_kernel/core_kernel-0.14.2.ebuild b/dev-ml/core_kernel/core_kernel-0.14.2.ebuild new file mode 100644 index 000000000000..21ede2227bb8 --- /dev/null +++ b/dev-ml/core_kernel/core_kernel-0.14.2.ebuild @@ -0,0 +1,44 @@ +# Copyright 1999-2021 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit dune + +DESCRIPTION="System-independent part of Core" +HOMEPAGE="https://github.com/janestreet/core_kernel" +SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="LGPL-2.1-with-linking-exception" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86" +IUSE="+ocamlopt" + +# Wants quickcheck_deprecated for now +RESTRICT="test" + +RDEPEND=" + dev-lang/ocaml:= + dev-ml/base:= + dev-ml/base_bigstring:= + dev-ml/base_quickcheck:= + dev-ml/bin_prot:= + dev-ml/fieldslib:= + dev-ml/jane-street-headers:= + dev-ml/jst-config:= + dev-ml/ppx_assert:= + dev-ml/ppx_base:= + dev-ml/ppx_hash:= + dev-ml/ppx_inline_test:= + dev-ml/ppx_jane:= + dev-ml/ppx_sexp_conv:= + dev-ml/ppx_sexp_message:= + dev-ml/splittable_random:= + dev-ml/sexplib:= + dev-ml/stdio:= + dev-ml/time_now:= + dev-ml/typerep:= + dev-ml/variantslib:= + dev-ml/ocaml-migrate-parsetree:= +" +DEPEND="${RDEPEND}" |