Generated packages:
- Agda-2.3.2.2-2.fc20.i686
- emacs-agda-2.3.2.2-2.fc20.i686
- emacs-agda-el-2.3.2.2-2.fc20.i686
- ghc-Agda-2.3.2.2-2.fc20.i686
- ghc-Agda-devel-2.3.2.2-2.fc20.i686
- Agda-2.3.2.2-2.fc20.x86_64
- emacs-agda-2.3.2.2-2.fc20.x86_64
- emacs-agda-el-2.3.2.2-2.fc20.x86_64
- ghc-Agda-2.3.2.2-2.fc20.x86_64
- ghc-Agda-devel-2.3.2.2-2.fc20.x86_64
Other version of this rpm: