sci-mathematics/

why3-for-spark

Dependencies Reverse-Dependencies

• 2023.12.13-r2

  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/yojson
  dev-ml/zarith
  dev-python/sphinx
  dev-python/sphinxcontrib-bibtex
  dev-tex/hevea
  dev-tex/rubber
  media-gfx/graphviz
  sci-mathematics/coq
  sys-devel/gnuconfig

• 2021-r1

  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/sexplib
  dev-ml/yojson
  dev-ml/zarith
  dev-python/sphinx
  dev-python/sphinxcontrib-bibtex
  dev-tex/hevea
  dev-tex/rubber
  media-gfx/graphviz
  sci-mathematics/coq
  sys-devel/gnuconfig