diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2021-06-17 19:05:12 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2021-06-17 19:05:12 +0000 |
| commit | 97bb59153b4fa83a9435c7f40cbfb319d09653ad (patch) | |
| tree | 6fd6610914b7594e12c11b24c30029ad7e2c2fee /metadata/md5-cache/dev-ml/menhir-20190924 | |
| parent | Merge updates from master (diff) | |
| download | gentoo-97bb59153b4fa83a9435c7f40cbfb319d09653ad.tar.gz gentoo-97bb59153b4fa83a9435c7f40cbfb319d09653ad.tar.bz2 gentoo-97bb59153b4fa83a9435c7f40cbfb319d09653ad.zip | |
2021-06-17 19:05:11 UTC
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 b809858e6916..ef2c4d34439c 100644 --- a/metadata/md5-cache/dev-ml/menhir-20190924 +++ b/metadata/md5-cache/dev-ml/menhir-20190924 @@ -7,8 +7,8 @@ INHERIT=findlib IUSE=examples +ocamlopt KEYWORDS=amd64 arm arm64 ppc ppc64 x86 LICENSE=GPL-2 LGPL-2-with-linking-exception -RDEPEND=>=dev-lang/ocaml-4.02:=[ocamlopt?] +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 197b318e28cee28e11c2b474328b50dd +_eclasses_=findlib 34a4bb0c0d4e2f20b27aeadab3dc9641 _md5_=5841849f52bd68f8fda3a6f345b5ab33 |