leancheck-instances-0.0.6: stack.yaml

resolver: lts-21.25 # or ghc-9.4.8

packages:
- .

extra-deps:
- leancheck-1.0.2