packages feed

copilot-sbv-0.1: Setup.hs

import Distribution.Simple
main = defaultMain