# stack.yaml for leancheck-instances
resolver: lts-11.22

packages:
- .

extra-deps:
- leancheck-0.8.0

flags: {}

extra-package-dbs: []