packages feed

scyther-proof-0.3.0: Setup.hs

import Distribution.Simple
main = defaultMain