>=dev-lang/ocaml-4.11:=[ocamlopt?
]

dev-ml/menhir:=[ocamlopt?
]

dev-ml/num:=[ocamlopt?
]
dev-ml/yojson:=

coq?
      ( <=sci-mathematics/coq-8.18 )

emacs?
      ( app-editors/emacs:* )

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

html?
      ( dev-tex/hevea:= )

hypothesis-selection?
      ( dev-ml/ocamlgraph:= )


dev-ml/ppx_deriving:=[ocamlopt?
]

dev-ml/ppx_sexp_conv:=[ocamlopt?
]

dev-ml/sexplib:=[ocamlopt?
]

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

zip?
      ( dev-ml/camlzip:=[ocamlopt?
] )


dev-lang/ocaml:=[ocamlopt?
]

>=dev-lang/ocaml-4.11:=[ocamlopt?
]

dev-ml/menhir:=[ocamlopt?
]

dev-ml/num:=[ocamlopt?
]
dev-ml/yojson:=

coq?
      ( sci-mathematics/coq )

emacs?
      ( app-editors/emacs:* )

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

html?
      ( dev-tex/hevea:= )

hypothesis-selection?
      ( dev-ml/ocamlgraph:= )

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

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

zip?
      ( dev-ml/camlzip:=[ocamlopt?
] )


dev-lang/ocaml:=[ocamlopt?
]