agda-language-server-0.2.6.2.2.1: stack.yaml

resolver: lts-20.26
compiler: ghc-9.2.8
# Allow a newer minor version of GHC than the snapshot specifies
compiler-check: newer-minor

packages:
- .

flags:
  Agda:
    # optimise-heavily: true
    enable-cluster-counting: true