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/ppx_optional | |
| parent | fcc5224904648a8e6eb528d7603154160a20022f (diff) | |
gentoo resync : 20.03.2022
Diffstat (limited to 'dev-ml/ppx_optional')
| -rw-r--r-- | dev-ml/ppx_optional/Manifest | 2 | ||||
| -rw-r--r-- | dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/dev-ml/ppx_optional/Manifest b/dev-ml/ppx_optional/Manifest index f4afbcec6d23..329a755aebe2 100644 --- a/dev-ml/ppx_optional/Manifest +++ b/dev-ml/ppx_optional/Manifest @@ -1,3 +1,3 @@ DIST ppx_optional-0.14.0.tar.gz 6090 BLAKE2B 99c5ed7ab6b6c555477eaf468786cc175ff8c8ac4d0c6abb8110637da57396ed599d5c10bd35f3d5ff27a41b00314ca355596e4158c4d792fcb37d547455b90d SHA512 70ed28a974ea1bbcb3fe2e54911e355da54fafd6dff3e74c471126a824c28e9a180777e96e17c4a7a52be4be507fbbc0fa3e92310346dbaf5ab8711845e92e40 -EBUILD ppx_optional-0.14.0.ebuild 523 BLAKE2B 4682dabcc4c6f6cc91226d7c33827dc26f74d3618f89c5246b9a8f063a13b143994a3a659d79970a071d08654778a96154a15c2446eaa748fc1d0f7cc7536266 SHA512 99d2529aba45394cf9c0bce1b3c3489c8635821a7c8e74bdc2b42c958c5c4f3b029ba3dacb6587ce051cca64b7d4834ce9e7b90e335781c1bcd24f106c87c099 +EBUILD ppx_optional-0.14.0.ebuild 524 BLAKE2B e32f958c4b571caac8e16e157f87b8935d77716937551534f8edd45cb473fe6db4b65e7e165e2308af5dce023721ebe9f431cada10d9ee7050bd54561d2f7ccc SHA512 827a2751b6e292c89b16446e25f343cc81e27d3fea08430beaa04172c2da35b43a86eec613a0ca561365a5780f9a94c57bfd788faa753fc879bcb348b4b77ade MISC metadata.xml 426 BLAKE2B 9fabba8035f75668823c0cc2df9c5c3dc5d6f74ec409c70fc356d396f46845bccc742aa60260dc2b7c743eaa18bb33b741ccee16c322ca7f3fff343701e51936 SHA512 ca968cc640b2486e5ffb67fdb8c3597843c625391456c6b8fc072dc3a28e77f05de2a37df0eeb9680badc4312f7b67f642fe1fe4e8355215fa814e9e715e7898 diff --git a/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild b/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild index 5ee22661a10a..bae5d4dad48e 100644 --- a/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild +++ b/dev-ml/ppx_optional/ppx_optional-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="Apache-2.0" SLOT="0/${PV}" -KEYWORDS="amd64 arm arm64 ppc ppc64 x86" +KEYWORDS="amd64 arm arm64 ~ppc ppc64 x86" IUSE="+ocamlopt" DEPEND=" |