Dependencies for agda-server-0.1.1

agda-server