obdd-0.2.3: Setup.hs

module Main (main) where import Distribution.Simple ; main = defaultMain