cabal: version 0.12.0