diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2018-02-15 16:58:00 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2018-02-15 16:58:00 +0000 |
| commit | 434d713861b70f6c6563d6ee50a8e64f14c970d9 (patch) | |
| tree | b72c523c72e764420f835ba9d63d43ffef687dcf /dev-ml/ppx_driver | |
| parent | f78108598211053d41752a83e0345441bb9014ae (diff) | |
gentoo resync : 15.02.2018
Diffstat (limited to 'dev-ml/ppx_driver')
| -rw-r--r-- | dev-ml/ppx_driver/Manifest | 2 | ||||
| -rw-r--r-- | dev-ml/ppx_driver/ppx_driver-0.9.1-r1.ebuild | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/dev-ml/ppx_driver/Manifest b/dev-ml/ppx_driver/Manifest index 6e272e5654d2..cd7b443c0dfe 100644 --- a/dev-ml/ppx_driver/Manifest +++ b/dev-ml/ppx_driver/Manifest @@ -1,3 +1,3 @@ DIST ppx_driver-0.9.1.tar.gz 28637 BLAKE2B d787ac91713bd750d2d2bde5830df3abb1a07be6672000d7a6de6c125a7627e7a5b94aa9f8f87e2c6c57a7a92073c44e18c7285575aad02f5db9c7b4419647d8 SHA512 1e3647e34fb9e6d44b783fae1fce21413e5591f8934c3d2ddac3d1b37019b0d95117c8d64abf14cbfe4f67147612371ec1eb76b477763b062206ffc9b46688d7 -EBUILD ppx_driver-0.9.1-r1.ebuild 579 BLAKE2B d2111e5f245f988407e88d6106c01c7d2abe75e2cdb0c4494e168f22781587abd15970cb333d30c10534cf8662e8c3dda8ba3a1d5c18575e81cb76bf38f146e5 SHA512 54aaa692b1dee2b5c85dd39ea1a007660020e99031065ee917069459704e93cad48d5f93b46b14fb6b5300481cbc6c191d030312aeba2b7f827e2c5246364377 +EBUILD ppx_driver-0.9.1-r1.ebuild 584 BLAKE2B fb729e4ae41008ce616f784cee3a81048c46df5e27050b4118937b7fe71b738cb75813c06db95e161dcd43c587b8659d43e8927c59b9b9057e51ae826925824a SHA512 13c48ae64e7d2c8f2c5e39125873eb573d2aace46ad87989e11bde24d16b3bc4ca47a340322adec8a22834f74495e2f4dd7e6e1436932bdaa45e469f7f46ef91 MISC metadata.xml 333 BLAKE2B 968ad46caa7f80948178a2f41ddb2a6ded0315f9865c953b99a523d3ff44a75017cac2064aaa1276767509c38bb0e0fd577cfe2a60b1467651f45c1909027995 SHA512 1cfb21c42adf5c94fb02f4621ed9e77acc832ba7c0d7bebee338ff5f617431e5a0a682945a22cd58143fa5cf61758c70694a6f2697a6b1a49107029e31fe738f diff --git a/dev-ml/ppx_driver/ppx_driver-0.9.1-r1.ebuild b/dev-ml/ppx_driver/ppx_driver-0.9.1-r1.ebuild index 42893f75110f..c950b017789c 100644 --- a/dev-ml/ppx_driver/ppx_driver-0.9.1-r1.ebuild +++ b/dev-ml/ppx_driver/ppx_driver-0.9.1-r1.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2017 Gentoo Foundation +# Copyright 1999-2018 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 EAPI=6 @@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/ppx_driver/archive/v${PV}.tar.gz -> ${P}. LICENSE="Apache-2.0" SLOT="0/${PV}" -KEYWORDS="~amd64 ~ppc" +KEYWORDS="~amd64 ~ppc ~x86" IUSE="" DEPEND=" |