ghc-Agda - Haskell Agda library
| Website: | http://hackage.haskell.org/package/Agda |
|---|---|
| License: | MIT and BSD |
| Vendor: | Fedora Project |
- Description:
This package provides the Haskell Agda shared library.
Packages
| ghc-Agda-2.3.2.2-3.el7.x86_64 [3.4 MiB] |
Changelog
by Jens Petersen (2014-04-22):
- no _pkgdocdir in EL7 |