Cabal revisions of dec-0.0.5

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

 cabal-version:      >=1.10 name:               dec version:            0.0.5+x-revision:         1 synopsis:           Decidable propositions. category:           Data, Dependent Types description:   \    | No (Neg a)   @ -homepage:           https://github.com/phadej/vec-bug-reports:        https://github.com/phadej/vec/issues+homepage:           https://github.com/phadej/dec+bug-reports:        https://github.com/phadej/dec/issues license:            BSD3 license-file:       LICENSE author:             Oleg Grenrus <oleg.grenrus@iki.fi>    || ==8.4.4    || ==8.6.5    || ==8.8.4-   || ==8.10.4+   || ==8.10.7    || ==9.0.2-   || ==9.2.4-   || ==9.4.1+   || ==9.2.6+   || ==9.4.4+   || ==9.6.1  source-repository head   type:     git   ghc-options:      -Wall -fprint-explicit-kinds   exposed-modules:  Data.Type.Dec   build-depends:-      base    >=4.7 && <4.18+      base    >=4.7 && <4.19     , boring  >=0.2 && <0.3    if !impl(ghc >=7.10)

 cabal-version:      >=1.10 name:               dec version:            0.0.5-x-revision:         1+x-revision:         2 synopsis:           Decidable propositions. category:           Data, Dependent Types description:    || ==8.8.4    || ==8.10.7    || ==9.0.2-   || ==9.2.6-   || ==9.4.4-   || ==9.6.1+   || ==9.2.8+   || ==9.4.7+   || ==9.6.3+   || ==9.8.1  source-repository head   type:     git   ghc-options:      -Wall -fprint-explicit-kinds   exposed-modules:  Data.Type.Dec   build-depends:-      base    >=4.7 && <4.19+      base    >=4.7 && <4.20     , boring  >=0.2 && <0.3    if !impl(ghc >=7.10)