Dependencies
Provides
- coq-emacs = 8.3pl2-3.fc16
Requires
- coq = 8.3pl2-3.fc16
- emacs(bin) >= 23.3
- emacs-proofgeneral
- rpmlib(CompressedFileNames) <= 3.0.4-1
- rpmlib(FileDigests) <= 4.6.0-1
- rpmlib(PayloadFilesHavePrefix) <= 4.0-1
- rpmlib(PayloadIsXz) <= 5.2-1