leancheck-0.9.12: stack.yaml

resolver: lts-19.19 # or ghc-9.0.2

packages:
- .