!sci-mathematics/why3-for-spark

>=dev-lang/ocaml-4.05.0:=[ocamlopt?
]
>=dev-ml/menhir-20170418:=
dev-ml/num:=

coq?
      ( >=sci-mathematics/coq-8.7:= )

emacs?
      ( app-editors/emacs:* )

gtk?
      ( dev-ml/lablgtk:=[sourceview,ocamlopt?
] )

re?
      ( dev-ml/re:= )

sexp?
      ( dev-ml/ppx_deriving:=[ocamlopt?
] dev-ml/ppx_sexp_conv:=[ocamlopt?
] dev-ml/sexplib:=[ocamlopt?
] )

stackify?
      ( dev-ml/ocamlgraph:=[ocamlopt?
] )

zarith?
      ( dev-ml/zarith:= )

zip?
      ( dev-ml/camlzip:= )


dev-lang/ocaml:=[ocamlopt?
]