Dependencies
Provides
- why-all = 2.26-1.fc14
- why-all(x86-32) = 2.26-1.fc14
Requires
- why = 2.26
- why-gwhy = 2.26
- why-coq = 2.26
- alt-ergo
- cvc3
- coq
- pvs-sbcl
- gappa
- rpmlib(FileDigests) <= 4.6.0-1
- rpmlib(PayloadFilesHavePrefix) <= 4.0-1
- rpmlib(CompressedFileNames) <= 3.0.4-1
- rpmlib(PayloadIsXz) <= 5.2-1
