leancheck-instances-0.0.4: stack.yaml

resolver: lts-15.5 # or ghc-8.8.3

packages:
- .

extra-deps:
- leancheck-0.9.2