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

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