Dependencies
Requires
- ocaml >= 3.09
- ocaml-camlp4-devel
- gtk2-devel
- ocaml-lablgtk-devel
- ocaml-ocamlgraph-devel
- desktop-file-utils
- dos2unix
- prelink
- frama-c-devel >= 1.5
- auto-destdir
- cvc3
- pvs-sbcl
- emacs
- coq
- rpmlib(FileDigests) <= 4.6.0-1
- rpmlib(CompressedFileNames) <= 3.0.4-1