packages feed

leancheck-0.9.3: stack.yaml

resolver: lts-15.5 # or ghc-8.8.3

packages:
- .