Dependencies for Agda-2.2.4

Libraries

Agda

Executables

agda-mode