agda-language-server-0.2.6.3.0: dependencies

Dependencies for agda-language-server-0.2.6.3.0

library	aeson Agda base (>=4.7 && <5) bytestring containers lsp (<1.7) mtl network network-simple process stm strict text if flag(agda-2-6-2-2) Agda (==2.6.2.2) else Agda (==2.6.3)
als	aeson Agda agda-language-server base (>=4.7 && <5) bytestring containers lsp (<1.7) mtl network network-simple process stm strict text if flag(agda-2-6-2-2) Agda (==2.6.2.2) else Agda (==2.6.3)

Name	Description	Default
agda-2-6-2-2	Embed Agda-2.6.2.2 (rather than 2.6.3)	Disabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info