obdd-0.2.5: Setup.hs

import Distribution.Simple
main = defaultMain