%DEPENDS%
ghc-libs
alex
happy
haskell-async
haskell-blaze-html
haskell-boxes
haskell-cpphs
haskell-data-hash
haskell-edisonapi
haskell-edisoncore
haskell-edit-distance
haskell-equivalence
haskell-geniplate-mirror
haskell-gitrev
haskell-hashable
haskell-hashtables
haskell-ieee754
haskell-monadplus
haskell-mtl
haskell-murmur-hash
haskell-parallel
haskell-regex-tdfa
haskell-stm
haskell-strict
haskell-text
haskell-unordered-containers
haskell-uri-encode
haskell-zlib

%OPTDEPENDS%
agda-stdlib: for standard library

