Updated leaf.cabal for v1.0.