sci-mathematics/

why3

Dependencies Reverse-Dependencies

• 1.6.0

  Version	RDEPEND	DEPEND	BDEPEND	IDEPEND	PDEPEND
  app-editors/emacs
  app-portage/elt-patches
  dev-build/autoconf
  dev-build/automake
  dev-build/libtool
  dev-lang/ocaml
  dev-ml/camlzip
  dev-ml/findlib
  dev-ml/lablgtk
  dev-ml/menhir
  dev-ml/num
  dev-ml/ocamlgraph
  dev-ml/ppx_deriving
  dev-ml/ppx_sexp_conv
  dev-ml/re
  dev-ml/sexplib
  dev-ml/zarith
  dev-python/sphinx
  dev-python/sphinxcontrib-bibtex
  dev-texlive/texlive-fontsrecommended
  dev-texlive/texlive-latex
  dev-texlive/texlive-latexextra
  media-gfx/graphviz
  sci-mathematics/coq
  sys-devel/gnuconfig