Dependencies
Provides
- why3-all = 0.73-4.fc18
- why3-all(x86-64) = 0.73-4.fc18
Requires
- why3(x86-64) = 0.73-4.fc18
- alt-ergo
- coq
- cvc3
- E
- gappalib-coq
- rpmlib(FileDigests) <= 4.6.0-1
- rpmlib(PayloadFilesHavePrefix) <= 4.0-1
- rpmlib(CompressedFileNames) <= 3.0.4-1
- rpmlib(PayloadIsXz) <= 5.2-1