Dependencies
Provides
- emacs-agda = 2.3.2.1-5.fc19
- emacs-agda(x86-32) = 2.3.2.1-5.fc19
Requires
- ghc-Agda-devel = 2.3.2.1-5.fc19
- emacs(bin) >= 24.3
- rpmlib(FileDigests) <= 4.6.0-1
- rpmlib(PayloadFilesHavePrefix) <= 4.0-1
- rpmlib(CompressedFileNames) <= 3.0.4-1
- rpmlib(PayloadIsXz) <= 5.2-1