>>> Printing information for: portage://dev-ml/coq-menhirlib-20240715


----------------------------------------------------------------------------------------------------------------------------------------------------------------
description : 
   A support library for verified Coq parsers produced by Menhir
homepage : 
   http://gallium.inria.fr/~fpottier/menhir/
maintainer : 
   ml@gentoo.org
license : 
   GPL-2
   LGPL-2-with-linking-exception
eapi : 
   8
slot : 
   0
subslot : 
   20240715

----------------------------------------------------------------------------------------------------------------------------------------------------------------
iuse : 
   +ocamlopt
required_use : 
   [not set]
keywords : 
   unstable(amd64)
   unstable(x86)
properties : 
   [not set]
eclasses : 
   edob
   edo
   multiprocessing
   dune
defined_phases : 
   compile
   install
   test
installed : 
   [not set]

----------------------------------------------------------------------------------------------------------------------------------------------------------------
src_uri : 
   menhir-20240715.tar.bz2

----------------------------------------------------------------------------------------------------------------------------------------------------------------
bdepend : 
   dev-lang/ocaml
   dev-ml/dune

depend : 
   >=dev-ml/menhir-20240715:=
   sci-mathematics/coq:=
   dev-lang/ocaml:= [ ocamlopt? ]
   dev-ml/dune:=

idepend : 
   [not set]

rdepend : 
   >=dev-ml/menhir-20240715:=
   sci-mathematics/coq:=
   dev-lang/ocaml:= [ ocamlopt? ]
   dev-ml/dune:=

pdepend : 
   [not set]