diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-03-20 00:40:44 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-03-20 00:40:44 +0000 |
| commit | 4cbcc855382a06088e2f016f62cafdbcb7e40665 (patch) | |
| tree | 356496503d52354aa6d9f2d36126302fed5f3a73 /dev-ml/core_kernel | |
| parent | fcc5224904648a8e6eb528d7603154160a20022f (diff) | |
gentoo resync : 20.03.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.1-r3.ebuild | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/dev-ml/core_kernel/Manifest b/dev-ml/core_kernel/Manifest index 970bee542417..369623864b6f 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.1-r3.ebuild 998 BLAKE2B cc838516b4f7052e611a331d1edcddc203e3234cfd43bef834a7be23c188b52b1c7ab97d30152fbbbcdae749d1d6ebeb68f5c784f618f3fd51f89320c5beb075 SHA512 1a79e711ac27c6479cec85197ad80a9313b7fb72f8ce1c647e110e62a560978540074abeee6048e766e467a82f54c2bf88e0da5945c60a410a08498ede0f9de7 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.1-r3.ebuild b/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild index 949faa0132ed..282b205be198 100644 --- a/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild +++ b/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2021 Gentoo Authors +# Copyright 1999-2022 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=7 @@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g LICENSE="LGPL-2.1-with-linking-exception" SLOT="0/${PV}" -KEYWORDS="amd64 arm arm64 ppc ppc64 x86" +KEYWORDS="amd64 arm arm64 ~ppc ppc64 x86" IUSE="+ocamlopt" # Wants quickcheck_deprecated for now |