Dependencies
Requires
- coq
- evince
- gtksourceview2-devel
- ocaml
- ocaml-camlp5-devel
- ocaml-findlib-devel
- ocaml-lablgtk-devel
- ocaml-menhir-devel
- ocaml-ocamldoc
- ocaml-ocamlgraph-devel
- ocaml-sqlite-devel
- rubber
- sqlite-devel
- emacs
- xemacs
- xemacs-packages-extra
- rpmlib(FileDigests) <= 4.6.0-1
- rpmlib(CompressedFileNames) <= 3.0.4-1