Highter version of this package:
- ghc-Agda-devel-2.5.2-1.21.x86_64.rpm
- ghc-Agda-devel-2.5.2-1.21.i586.rpm
- ghc-Agda-devel-2.3.2.2-2.fc20.x86_64.rpm
- ghc-Agda-devel-2.3.2.2-2.fc20.i686.rpm
Older version of this package:
Highter version of this package:
Older version of this package: