diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-02-02 01:39:05 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-02-02 01:39:05 +0000 |
| commit | fcc5224904648a8e6eb528d7603154160a20022f (patch) | |
| tree | 3bfce096b38a9cea8eed13fc70c1526c456e9abd /dev-ml/core_kernel | |
| parent | 2fd57282f0262ca084e05b0f2c63fbada395d02b (diff) | |
gentoo resync : 02.02.2022
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-r1.ebuild (renamed from dev-ml/core_kernel/core_kernel-0.14.2.ebuild) | 11 |
2 files changed, 7 insertions, 6 deletions
diff --git a/dev-ml/core_kernel/Manifest b/dev-ml/core_kernel/Manifest index 7b42db80d56c..970bee542417 100644 --- a/dev-ml/core_kernel/Manifest +++ b/dev-ml/core_kernel/Manifest @@ -1,5 +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 +EBUILD core_kernel-0.14.2-r1.ebuild 1040 BLAKE2B 691f189b051b2e814da660867f6de08691de67c3aae48d406947d368d90279ec1e7432903856e6ec100e87459354ebfc815449494d0a3fb61e23acee3aa14b1a SHA512 ae58b84aea0cda620fb1ef7a7465fad08add1df4417c328872a699c1d6533ec76464f43d504cba0bdf046e377a660af3d7a6aaa09c8d40e8d872da12f6c9d2ca 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-r1.ebuild index 21ede2227bb8..903bac6397fd 100644 --- a/dev-ml/core_kernel/core_kernel-0.14.2.ebuild +++ b/dev-ml/core_kernel/core_kernel-0.14.2-r1.ebuild @@ -1,7 +1,7 @@ -# Copyright 1999-2021 Gentoo Authors +# Copyright 1999-2022 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 -EAPI=7 +EAPI=8 inherit dune @@ -19,13 +19,15 @@ RESTRICT="test" RDEPEND=" dev-lang/ocaml:= + <dev-ml/jst-config-0.15.0 + >=dev-ml/ppx_optcomp-0.14.3:= 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/ocaml-migrate-parsetree:= dev-ml/ppx_assert:= dev-ml/ppx_base:= dev-ml/ppx_hash:= @@ -33,12 +35,11 @@ RDEPEND=" dev-ml/ppx_jane:= dev-ml/ppx_sexp_conv:= dev-ml/ppx_sexp_message:= - dev-ml/splittable_random:= dev-ml/sexplib:= + dev-ml/splittable_random:= dev-ml/stdio:= dev-ml/time_now:= dev-ml/typerep:= dev-ml/variantslib:= - dev-ml/ocaml-migrate-parsetree:= " DEPEND="${RDEPEND}" |