Dependencies
Requires
- alt-ergo
- coq
- desktop-file-utils
- emacs-nox
- xemacs-nox
- graphviz
- gtksourceview2-devel
- libgnomecanvas-devel
- ltl2ba
- ocaml
- ocaml-findlib-devel
- ocaml-lablgtk-devel
- ocaml-ocamlgraph-devel
- rpmlib(FileDigests) <= 4.6.0-1
- rpmlib(CompressedFileNames) <= 3.0.4-1