packages feed

leancheck-0.3.0: Setup.hs

import Distribution.Simple
main = defaultMain