Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Dependencies for
agda-server-0.1
agda-server
Agda
(>=2.3.3)
base
(<5)
cmdargs
containers
directory
filepath
HJavaScript
mtl
pandoc
snap-core
snap-server
transformers
utf8-string
xhtml