>>> Printing information for: portage://sci-mathematics/coq-mathcomp-1.19.0-r1


----------------------------------------------------------------------------------------------------------------------------------------------------------------
description : 
   Mathematical Components for the Coq proof assistant
homepage : 
   https://github.com/math-comp/math-comp/
maintainer : 
   sci-mathematics@gentoo.org
license : 
   CeCILL-B
eapi : 
   8
slot : 
   0
subslot : 
   1.19.0

----------------------------------------------------------------------------------------------------------------------------------------------------------------
iuse : 
   [not set]
required_use : 
   [not set]
keywords : 
   unstable(amd64)
properties : 
   [not set]
eclasses : 
   [not set]
defined_phases : 
   -
installed : 
   [not set]

----------------------------------------------------------------------------------------------------------------------------------------------------------------
src_uri : 
   coq-mathcomp-1.19.0.tar.gz

----------------------------------------------------------------------------------------------------------------------------------------------------------------
bdepend : 
   [not set]

depend : 
   >=sci-mathematics/coq-8.16.0:=
   <sci-mathematics/coq-8.21.0:=
   dev-lang/ocaml:=

idepend : 
   [not set]

rdepend : 
   >=sci-mathematics/coq-8.16.0:=
   <sci-mathematics/coq-8.21.0:=
   dev-lang/ocaml:=

pdepend : 
   [not set]