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_optional | |
| parent | 7218e1b46bceac05841e90472501742d905fb3fc (diff) | |
gentoo resync : 20.03.2021
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 | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/dev-ml/ppx_optional/Manifest b/dev-ml/ppx_optional/Manifest index 6511114daf77..1afcdb02815a 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 525 BLAKE2B 7ac241a1fe658836af2b3b74f73cfbc0b5c70c708b35f4d4f7d6afe6bacf02bbaea4c0f75d8c784315b2812d51e363809d60583bf7cd2cb90334b914b93688b6 SHA512 3b8c3593dfc58a652491ac5d2e8b062fd2d1bf93b4ef5b221f12374f14d7b415ff1c41b211ee815e57293a26e11338073a83c173555b76991b199af8b959c077 +EBUILD ppx_optional-0.14.0.ebuild 523 BLAKE2B 4682dabcc4c6f6cc91226d7c33827dc26f74d3618f89c5246b9a8f063a13b143994a3a659d79970a071d08654778a96154a15c2446eaa748fc1d0f7cc7536266 SHA512 99d2529aba45394cf9c0bce1b3c3489c8635821a7c8e74bdc2b42c958c5c4f3b029ba3dacb6587ce051cca64b7d4834ce9e7b90e335781c1bcd24f106c87c099 MISC metadata.xml 332 BLAKE2B 0824f2e9534fb0da9c6173262e70e59d7734d171ec01c274504636f71ead682799e16f7aa6d4ed90af336f3d68b2668eee86371c6be191903b81147b885ff53d SHA512 9dcc5fdfff88c79298e80a8dac25bd130a53ab4f02fda52336cb753de685d45c7769c8b0a1697e5fe11b78acfbf19e8798790ba4c6e4c697006107762b5f88ee 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 79616c701504..5ee22661a10a 100644 --- a/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild +++ b/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild @@ -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=" |