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

packages:
- .

# Use some newer versions than in the lts-19.33 snapshot
extra-deps:
- text-icu-0.8.0.1
# - Agda-2.6.2.2  # This is the lts-19.33 version of Agda

flags:
  agda-language-server:
    Agda-2-6-2-2: true
  Agda:
    # optimise-heavily: true
    enable-cluster-counting: true