summaryrefslogtreecommitdiff
path: root/dev-ml/ppx_compare
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2021-02-13 21:41:11 +0000
committerV3n3RiX <venerix@redcorelinux.org>2021-02-13 21:41:11 +0000
commitc8d60dada2ec8eb48b2d2b290cd6683ccec40e39 (patch)
treec44943ee0563a3fa957716de909fed683117fcb9 /dev-ml/ppx_compare
parent69051588e2f955485fe5d45d45e616bc60a2de57 (diff)
gentoo (valentine's day) resync : 14.02.2021
Diffstat (limited to 'dev-ml/ppx_compare')
-rw-r--r--dev-ml/ppx_compare/Manifest2
-rw-r--r--dev-ml/ppx_compare/ppx_compare-0.14.0.ebuild4
2 files changed, 3 insertions, 3 deletions
diff --git a/dev-ml/ppx_compare/Manifest b/dev-ml/ppx_compare/Manifest
index 983ef8f400bc..2bbc4a2669ce 100644
--- a/dev-ml/ppx_compare/Manifest
+++ b/dev-ml/ppx_compare/Manifest
@@ -1,5 +1,5 @@
DIST ppx_compare-0.14.0.tar.gz 13614 BLAKE2B 081e91192f987095a773964b56838b05fb18ea23599eeeb28d297ac81ff7439067ffa0941cf4d64921abad68f9dca90560463b9f059f35ed3147333ba697a88c SHA512 be02c8114e0915439c04b3d796029ad124e9a2e637032d6a86a41c03b81985cb0f68f65bc43c1d12221b521f6fa10006a105b3ffe95e991ed9695692fd0763cb
DIST ppx_compare-0.9.0.tar.gz 11760 BLAKE2B 8db18a56185371e56addddeac4ec94e1260f06edc7dbc835efcf2f6788f42c36746858fd96e7fc94aaaf52b118a95581388276b90d8d489a9f4707af2c157811 SHA512 4f154bb67c2241712986247f8b3ed04b4ba874424171989f0421193a15cea45dedbf1c546408421bf33839ea45b85a45ec1cb43c034373fd80198ddb5d9045fe
-EBUILD ppx_compare-0.14.0.ebuild 666 BLAKE2B 2fa6979605dce29f0479b6e03fa4820d3c2ff180eee9510ad1ca9869f551cc3991c1bb5f506179107a670f948b5f67c2ae4771812bc9577b3a2fd76a18f3d350 SHA512 a5036ffb8e76b01cd638ec60225b9e1cb075a97171d1170d95ef49c58f6826c3da02572f039dd9013178f778ae7de2875bd3fee998b10fd569223a29aafa2440
+EBUILD ppx_compare-0.14.0.ebuild 662 BLAKE2B 18955865048696ce18529daf5a51d422eb92d0537ac30ef4850da55e22eb07db28c88cbb25b1ce192b0697b48abbd7aacdbc98b7924bc439f1a0312a76b2430e SHA512 8bb830abf89af91f964afcc3d148d8096e21c16e5405d24affb203f53830fba99be18c28130a459cba367e5af93d86311b393190a2f3535bd6c4da00b8c6899f
EBUILD ppx_compare-0.9.0-r1.ebuild 603 BLAKE2B 2a649d2d33fc23a391ef4ed979e5785dc1e1e6bade572d2946d170c3ede8441e2061f543c6f01e9d068c1c83ba76d46a9827e18d03045f7ca6fe1678b94cdc75 SHA512 4c042cf01de3d80cdb34ab804d0337d1f85b00fb64e4b7b0d9d45cfa4c181758b300c1c8a85a56b8d0393f530adff8c403a0398508957bd49a3b782d6f37fa5a
MISC metadata.xml 424 BLAKE2B f7b31e63898b12c6c8ea7d16abd68730c686f0ed40d36c1ebc6127a21df00317ebfa4024f02af399eb882585474efb04cc9078bcb0df1574d3df0604f16090cc SHA512 87e2fc7c48bd1c6b86b18e2cbd35d9dd30f07b30379fd482c9b25c1a49091d438df052ad4820a366df43a7df6e3c8c9ee6c7b444dc6794fa9eeb25a456771b26
diff --git a/dev-ml/ppx_compare/ppx_compare-0.14.0.ebuild b/dev-ml/ppx_compare/ppx_compare-0.14.0.ebuild
index 5b57cccc6aec..03b01c474dae 100644
--- a/dev-ml/ppx_compare/ppx_compare-0.14.0.ebuild
+++ b/dev-ml/ppx_compare/ppx_compare-0.14.0.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2020 Gentoo Authors
+# Copyright 1999-2021 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="Apache-2.0"
SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
+KEYWORDS="amd64 ~arm ~arm64 ppc ppc64 x86"
IUSE="+ocamlopt"
DEPEND="