Dependencies
Provides
- ocaml-psmt2-frontend = 0.1-9.mga8
- ocaml-psmt2-frontend-debuginfo = 0.1-9.mga8
- ocaml-psmt2-frontend-debugsource = 0.1-9.mga8
Requires
- autoconf
- menhir
- ocaml-compiler
- ocaml-findlib
- rpmlib(CompressedFileNames) <= 3.0.4-1
- rpmlib(FileDigests) <= 4.6.0-1