summaryrefslogtreecommitdiff
path: root/dev-ml/ppx_module_timer
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2022-03-20 00:40:44 +0000
committerV3n3RiX <venerix@koprulu.sector>2022-03-20 00:40:44 +0000
commit4cbcc855382a06088e2f016f62cafdbcb7e40665 (patch)
tree356496503d52354aa6d9f2d36126302fed5f3a73 /dev-ml/ppx_module_timer
parentfcc5224904648a8e6eb528d7603154160a20022f (diff)
gentoo resync : 20.03.2022
Diffstat (limited to 'dev-ml/ppx_module_timer')
-rw-r--r--dev-ml/ppx_module_timer/Manifest2
-rw-r--r--dev-ml/ppx_module_timer/ppx_module_timer-0.14.0.ebuild4
2 files changed, 3 insertions, 3 deletions
diff --git a/dev-ml/ppx_module_timer/Manifest b/dev-ml/ppx_module_timer/Manifest
index 35dfffddb9de..26f2aae70d70 100644
--- a/dev-ml/ppx_module_timer/Manifest
+++ b/dev-ml/ppx_module_timer/Manifest
@@ -1,3 +1,3 @@
DIST ppx_module_timer-0.14.0.tar.gz 7262 BLAKE2B 6fafc6b4b449071f4a95619d078814b0c3ace3574df46585b72549e5db349ab476124c217f46c6903c7c8a059f779dc62cc8a079eb1ef6b4854646fdabdf04bf SHA512 cd9b6bbd6461b7408a31a0f6ca010a3c755db1f4a22150645c530e7b4a0a4c76a308ad0f8aeddc54914a116f6d74bd738604cfd9d9d255197f9ea18904d715e7
-EBUILD ppx_module_timer-0.14.0.ebuild 692 BLAKE2B 258587e1182bc023fe45c2aaf6f065503e8c2d235689bad7efa4b9d9873ee453c8c6f9066b40441819abdd940d84a0b4cbc3e91476cf661fa2611557a45eba0b SHA512 70a2e09069f3accc597cea9196065f82458d487a99a9e725b2f8cc0ae8bd0cf1e32d5889d89f72a537418d12e58d0f8ac9ab64185d63bf39b2e18a42bca7459b
+EBUILD ppx_module_timer-0.14.0.ebuild 693 BLAKE2B 7c7d4a48dc2426fea423f1cd2e68450d4e1400f59d16a89a90abda64f4625998241051c96b28eb2023e03438dc2e621e9abb7f5a7f9673537e57c8e10255b01e SHA512 386aca6787ce35fe612e4d08128cb3a6fffb2f83d5c5482be638eee5cb3cc6174db6b536e529b2073c3a10a6229b01a5aece30fcf0e1cfb5920e1bae9b682852
MISC metadata.xml 337 BLAKE2B 640fbe6342dcc1785c158cfa83a47781b61a521b80c927d9c850fa0d02dc14f1d309b7f8df1693eca143bef8920845d3ab5254fe142e29392c11cc9a3b6591ae SHA512 db5073f371a41795a500656cc3b5587488d12a9f53eb03e9b2a67744c76be49f423a1562f756aec3b6924c90cf835cdea73fdfaf08f251a60a62ab49dfe1368d
diff --git a/dev-ml/ppx_module_timer/ppx_module_timer-0.14.0.ebuild b/dev-ml/ppx_module_timer/ppx_module_timer-0.14.0.ebuild
index 7d37e549cc5c..aad411bda2bc 100644
--- a/dev-ml/ppx_module_timer/ppx_module_timer-0.14.0.ebuild
+++ b/dev-ml/ppx_module_timer/ppx_module_timer-0.14.0.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="MIT"
SLOT="0/${PV}"
-KEYWORDS="amd64 arm arm64 ppc ppc64 x86"
+KEYWORDS="amd64 arm arm64 ~ppc ppc64 x86"
IUSE="+ocamlopt"
DEPEND="