sci-mathematics/

alt-ergo

Dependencies Reverse-Dependencies

• 2.4.2-r1

  Version	RDEPEND	DEPEND	BDEPEND	IDEPEND	PDEPEND
  dev-lang/ocaml
  dev-ml/camlzip
  dev-ml/cmdliner
  dev-ml/dune
  dev-ml/dune-configurator
  dev-ml/lablgtk
  dev-ml/lablgtk-sourceview
  dev-ml/menhir
  dev-ml/num
  dev-ml/ocplib-simplex
  dev-ml/stdlib-shims
  dev-ml/zarith
  sci-mathematics/psmt2-frontend

• 2.4.1-r2

  Version	RDEPEND	DEPEND	BDEPEND	IDEPEND	PDEPEND
  dev-lang/ocaml
  dev-ml/camlzip
  dev-ml/cmdliner
  dev-ml/dune
  dev-ml/dune-configurator
  dev-ml/menhir
  dev-ml/num
  dev-ml/ocplib-simplex
  dev-ml/seq
  dev-ml/stdlib-shims
  dev-ml/zarith
  sci-mathematics/psmt2-frontend