diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2021-03-20 14:27:17 +0000 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2021-03-20 14:27:17 +0000 |
commit | 5bb9ff1ee56d2b5e75e01a7f066d8b0cec84ec02 (patch) | |
tree | 66e860a5099bcad013f1cf667255dc372a7c11b3 /dev-ml/ppx_module_timer | |
parent | 7218e1b46bceac05841e90472501742d905fb3fc (diff) |
gentoo resync : 20.03.2021
Diffstat (limited to 'dev-ml/ppx_module_timer')
-rw-r--r-- | dev-ml/ppx_module_timer/Manifest | 4 | ||||
-rw-r--r-- | dev-ml/ppx_module_timer/metadata.xml | 2 | ||||
-rw-r--r-- | dev-ml/ppx_module_timer/ppx_module_timer-0.14.0.ebuild | 2 |
3 files changed, 4 insertions, 4 deletions
diff --git a/dev-ml/ppx_module_timer/Manifest b/dev-ml/ppx_module_timer/Manifest index cdca20f8c170..e5336796e59f 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 694 BLAKE2B 655ba14e20e5ee1898e5d28c47079587e9aae31f8b1af09d7bdd54169b156b1677edeee409c8c6f8a2807a5c6e6d0a817102a0cc3b0369ebd14060a146207831 SHA512 63a0eeb9a99f49da3b019fdade0ac58b106265a188f5fa556fda70beb493227ac9c137e01e99b21fbac5c5df008894eca1f9aa0bccccfb2d0dcd3b0291b21a43 -MISC metadata.xml 336 BLAKE2B fcd9193e61914fe9c93d8cfe3f70b49d1824f003d1e335ce82b97396d258ab33137f3d4c2d75e6a3ea34fd81b86fb9f246074745eaee78e22103d4a6d7a312cf SHA512 8d07c2758fab53cb742090d7c33fb1f5af751d6e7bd0c2c7e8386590b41125476102451676bddd65d01a536cdbaf2bf86f31f9fecf672566176ce45f11ca951b +EBUILD ppx_module_timer-0.14.0.ebuild 692 BLAKE2B 258587e1182bc023fe45c2aaf6f065503e8c2d235689bad7efa4b9d9873ee453c8c6f9066b40441819abdd940d84a0b4cbc3e91476cf661fa2611557a45eba0b SHA512 70a2e09069f3accc597cea9196065f82458d487a99a9e725b2f8cc0ae8bd0cf1e32d5889d89f72a537418d12e58d0f8ac9ab64185d63bf39b2e18a42bca7459b +MISC metadata.xml 336 BLAKE2B 63ca9a1f5c581ff63e36cc764fe40e11b100af59878ea506c8ef86e501ea0a6c43897aea511d18337db4aaedb8d675b9cd8dbe3fb24d611c513cb28a7f814375 SHA512 e48cdddb0c3196fd0ea66e617802124c88cf402a09edc1e3323f243ebe7bf52dd829c64a4977bd9d27d3180a4ecf075a20821d5e6d868918bfb7be13a0999d2f diff --git a/dev-ml/ppx_module_timer/metadata.xml b/dev-ml/ppx_module_timer/metadata.xml index b993e4623ddc..b916abe0f3a0 100644 --- a/dev-ml/ppx_module_timer/metadata.xml +++ b/dev-ml/ppx_module_timer/metadata.xml @@ -1,4 +1,4 @@ -<?xml version='1.0' encoding='UTF-8'?> +<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> <maintainer type="person"> 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 c4cbb0ffebea..7d37e549cc5c 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 @@ -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=" |