Dependencies for agda-language-server-0.2.2.6.2

Libraries

agda-language-server

Executables

als