leancheck-0.9.6: stack.yaml

resolver: lts-17.9 # or ghc-8.10.4

packages:
- .