Dependencies for agda-language-server-0.2.6.3.0
Libraries
agda-language-server
- 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)
- Agda (==2.6.3)
Executables
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)
- Agda (==2.6.3)
Flags
Manual Flags
| 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