Dependencies
Provides
- ocaml-why3 = 0.81-2.mga4
- ocaml-why3(x86-64) = 0.81-2.mga4
Requires
- why3 = 0.81-2.mga4
- ocaml-compiler
- rpmlib(PayloadFilesHavePrefix) <= 4.0-1
- rpmlib(CompressedFileNames) <= 3.0.4-1
- rpmlib(PayloadIsXz) <= 5.2-1
::
::
::
