Cabal revisions of dec-0.0.4

Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.

 cabal-version:      >=1.10 name:               dec version:            0.0.4+x-revision: 1 synopsis:           Decidable propositions. category:           Data, Dependent Types description:   hs-source-dirs:   src   ghc-options:      -Wall -fprint-explicit-kinds   exposed-modules:  Data.Type.Dec-  build-depends:    base >=4.7 && <4.16+  build-depends:    base >=4.7 && <4.17    if !impl(ghc >=7.10)     build-depends: void >=0.7.3 && <0.8