>>> Printing information for: portage://sci-mathematics/gappalib-coq-1.5.2-r1


----------------------------------------------------------------------------------------------------------------------------------------------------------------
description : 
   Allows the certificates Gappa generates to be imported by the Coq
homepage : 
   https://gappa.gitlabpages.inria.fr/ https://gitlab.inria.fr/gappa/coq/
maintainer : 
   sci-mathematics@gentoo.org
license : 
   LGPL-3+
eapi : 
   8
slot : 
   0
subslot : 
   [not set]

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

----------------------------------------------------------------------------------------------------------------------------------------------------------------
src_uri : 
   gappalib-coq-1.5.2.tar.gz

----------------------------------------------------------------------------------------------------------------------------------------------------------------
bdepend : 
   dev-ml/findlib

depend : 
   dev-lang/ocaml:= [ ocamlopt? ]
   >=sci-mathematics/coq-8.12:=
   sci-mathematics/flocq:=
   sci-mathematics/gappa

idepend : 
   [not set]

rdepend : 
   dev-lang/ocaml:= [ ocamlopt? ]
   >=sci-mathematics/coq-8.12:=
   sci-mathematics/flocq:=
   sci-mathematics/gappa

pdepend : 
   [not set]