packages feed

crucible-0.7: Setup.hs

import Distribution.Simple
main = defaultMain