diff options
Diffstat (limited to 'metadata/md5-cache/dev-ml/menhir-20190924')
| -rw-r--r-- | metadata/md5-cache/dev-ml/menhir-20190924 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/metadata/md5-cache/dev-ml/menhir-20190924 b/metadata/md5-cache/dev-ml/menhir-20190924 index f4b0a67633db..57267cfc16c6 100644 --- a/metadata/md5-cache/dev-ml/menhir-20190924 +++ b/metadata/md5-cache/dev-ml/menhir-20190924 @@ -5,10 +5,10 @@ EAPI=7 HOMEPAGE=http://gallium.inria.fr/~fpottier/menhir/ INHERIT=findlib IUSE=examples +ocamlopt +ocamlopt -KEYWORDS=amd64 arm arm64 ppc ppc64 x86 +KEYWORDS=amd64 arm arm64 ~ppc ppc64 x86 LICENSE=GPL-2 LGPL-2-with-linking-exception RDEPEND=>=dev-lang/ocaml-4.02:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?] SLOT=0/20190924 SRC_URI=https://gitlab.inria.fr/fpottier/menhir/-/archive/20190924/menhir-20190924.tar.gz _eclasses_=findlib e6df6108c2d753998b1206f4d5ea4a2d -_md5_=5841849f52bd68f8fda3a6f345b5ab33 +_md5_=6566b9ab9d43911dc405abfeb2d8da18 |