Dependencies for agda-language-server-0.2.1

library
als