dev-haskell/hakyll-agda
Wrapper to integrate literate Agda files with Hakyll
Bugs
Bug # | Severity | Platform | Status | Description |
---|
These bugs were grabbed from http://bugs.gentoo.org and have only passed a preliminary search using the package title,
to do a more through search please visit: http://bugs.gentoo.org.