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