Dependencies
Requires
- alt-ergo
- coq
- desktop-file-utils
- emacs-nox
- gmp-devel
- graphviz
- gtksourceview2-devel
- pkgconfig(libgnomecanvas-2.0)
- pkgconfig(ncursesw)
- ltl2ba
- ocaml-compiler
- ocaml-findlib-devel
- ocaml-lablgtk2-devel
- ocaml-ocamlgraph-devel
- ocaml-zarith-devel
- rpmlib(CompressedFileNames) <= 3.0.4-1