>>> Printing information for: portage://sci-mathematics/cubicle-1.2.0-r2


----------------------------------------------------------------------------------------------------------------------------------------------------------------
description : 
   Model checker for verifying properties of array-based systems
homepage : 
   https://cubicle.lri.fr/ https://github.com/cubicle-model-checker/cubicle/
maintainer : 
   ml@gentoo.org
   sci-mathematics@gentoo.org
license : 
   Apache-2.0
eapi : 
   8
slot : 
   0
subslot : 
   1.2.0

----------------------------------------------------------------------------------------------------------------------------------------------------------------
iuse : 
   emacs
   examples
required_use : 
   [not set]
keywords : 
   unstable(amd64)
   unstable(x86)
properties : 
   [not set]
eclasses : 
   gnuconfig
   toolchain-funcs
   libtool
   autotools
   elisp-common
defined_phases : 
   compile
   configure
   install
   postinst
   postrm
   prepare
installed : 
   [not set]

----------------------------------------------------------------------------------------------------------------------------------------------------------------
src_uri : 
   cubicle-1.2.0.tar.gz

----------------------------------------------------------------------------------------------------------------------------------------------------------------
bdepend : 
   dev-ml/findlib
   sys-apps/gawk
   sys-devel/gnuconfig
   >=app-portage/elt-patches-20250306
   any 
      >=dev-build/automake-1.19:1.19
      >=dev-build/automake-1.18.1:1.18
   any 
      >=dev-build/autoconf-2.73:2.73
      >=dev-build/autoconf-2.72-r1:2.72
   >=dev-build/libtool-2.4.7-r3

depend : 
   dev-lang/ocaml:= [ ocamlopt ]
   dev-ml/num:=
   use emacs
      >=app-editors/emacs-23.1:*

idepend : 
   [not set]

rdepend : 
   dev-lang/ocaml:= [ ocamlopt ]
   dev-ml/num:=
   use emacs
      >=app-editors/emacs-23.1:*

pdepend : 
   [not set]