agda-server-0.1: dependencies

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