>>> Printing information for: portage://sci-mathematics/coq-serapi-0.20.0


----------------------------------------------------------------------------------------------------------------------------------------------------------------
description : 
   Serialization library and protocol for interaction with the Coq proof assistant
homepage : 
   https://github.com/ejgallego/coq-serapi/
maintainer : 
   sci-mathematics@gentoo.org
license : 
   GPL-3+
eapi : 
   8
slot : 
   0
subslot : 
   0.20.0

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

----------------------------------------------------------------------------------------------------------------------------------------------------------------
src_uri : 
   coq-serapi-0.20.0.tar.gz

----------------------------------------------------------------------------------------------------------------------------------------------------------------
bdepend : 
   use emacs
      >=app-editors/emacs-23.1:*
   use test
      sci-mathematics/coq-mathcomp
   dev-lang/ocaml
   dev-ml/dune

depend : 
   >=sci-mathematics/coq-8.20.0:=
   <sci-mathematics/coq-8.21.0:=
   >=dev-ml/ppx_sexp_conv-0.13.0:=
   dev-ml/cmdliner:=
   dev-ml/ppx_compare:=
   dev-ml/ppx_deriving:=
   dev-ml/ppx_deriving_yojson:=
   dev-ml/ppx_hash:=
   dev-ml/ppx_import:=
   dev-ml/sexplib:=
   dev-ml/yojson:=
   dev-lang/ocaml:= [ ocamlopt? ]
   dev-ml/dune:=

idepend : 
   [not set]

rdepend : 
   >=sci-mathematics/coq-8.20.0:=
   <sci-mathematics/coq-8.21.0:=
   >=dev-ml/ppx_sexp_conv-0.13.0:=
   dev-ml/cmdliner:=
   dev-ml/ppx_compare:=
   dev-ml/ppx_deriving:=
   dev-ml/ppx_deriving_yojson:=
   dev-ml/ppx_hash:=
   dev-ml/ppx_import:=
   dev-ml/sexplib:=
   dev-ml/yojson:=
   dev-lang/ocaml:= [ ocamlopt? ]
   dev-ml/dune:=

pdepend : 
   [not set]