Cabal revisions of dec-0.0.3

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

 cabal-version:      >=1.10 name:               dec version:            0.0.3+x-revision:         1 synopsis:           Decidable propositions. category:           Data, Dependent Types description:  library   exposed-modules:  Data.Type.Dec-  build-depends:    base >=4.7 && <4.13+  build-depends:    base >=4.7 && <4.14    if !impl(ghc >=7.10)     build-depends: void >=0.7.2 && <0.8

 cabal-version:      >=1.10 name:               dec version:            0.0.3-x-revision:         1+x-revision:         2 synopsis:           Decidable propositions. category:           Data, Dependent Types description:   This package provides a @Dec@ type.   .   @-  type Not a = a -> Void+  type Neg a = a -> Void   .   data Dec a   \    = Yes a-  \    | No (Not a)+  \    | No (Neg a)   @  homepage:           https://github.com/phadej/vec build-type:         Simple extra-source-files: ChangeLog.md tested-with:-  GHC ==8.8.1 || ==8.6.5 || ==8.4.4 || ==8.2.2 || ==8.0.2 || ==7.10.3 || ==7.8.4+  GHC ==7.8.4+   || ==7.10.3+   || ==8.0.2+   || ==8.2.2+   || ==8.4.4+   || ==8.6.5+   || ==8.8.3+   || ==8.10.1  source-repository head   type:     git   location: https://github.com/phadej/vec.git+  subdir:   dec  library   exposed-modules:  Data.Type.Dec-  build-depends:    base >=4.7 && <4.14+  build-depends:    base >=4.7 && <4.15    if !impl(ghc >=7.10)     build-depends: void >=0.7.2 && <0.8