Dependencies for agda-server-0.1.1

Executables

agda-server