Dependencies
Provides
- alt-ergo = 2.2.0-10.mga8
- alt-ergo-debuginfo = 2.2.0-10.mga8
- alt-ergo-debugsource = 2.2.0-10.mga8
Requires
- autoconf
- ocaml-camlzip-devel
- ocaml-compiler
- ocaml-findlib-devel
- ocaml-lablgtk2-devel
- ocaml-menhir
- ocaml-num-devel
- ocaml-ocamlgraph-devel
- ocaml-ocplib-simplex-devel
- ocaml-psmt2-frontend
- ocaml-zarith-devel
- rpmlib(CompressedFileNames) <= 3.0.4-1
- rpmlib(FileDigests) <= 4.6.0-1