leancheck-1.0.4: stack.yaml

resolver: lts-21.25 # or ghc-9.4.8

packages:
- .