Cabal revisions of dec-0.0.6

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

 cabal-version:      >=1.10 name:               dec version:            0.0.6+x-revision:         1 synopsis:           Decidable propositions. category:           Data, Dependent Types description:    || ==9.0.2    || ==9.2.8    || ==9.4.8-   || ==9.6.5-   || ==9.8.2+   || ==9.6.6+   || ==9.8.4    || ==9.10.1+   || ==9.12.1  source-repository head   type:     git   ghc-options:      -Wall -fprint-explicit-kinds   exposed-modules:  Data.Type.Dec   build-depends:-      base    >=4.12.0.0 && <4.21+      base    >=4.12.0.0 && <4.22     , boring  >=0.2.2 && <0.3    if impl(ghc >=9.0)

 cabal-version:      >=1.10 name:               dec version:            0.0.6-x-revision:         1+x-revision:         2 synopsis:           Decidable propositions. category:           Data, Dependent Types description:    || ==9.4.8    || ==9.6.6    || ==9.8.4-   || ==9.10.1-   || ==9.12.1+   || ==9.10.3+   || ==9.12.2+   || ==9.14.1  source-repository head   type:     git   ghc-options:      -Wall -fprint-explicit-kinds   exposed-modules:  Data.Type.Dec   build-depends:-      base    >=4.12.0.0 && <4.22+      base    >=4.12.0.0 && <4.23     , boring  >=0.2.2 && <0.3    if impl(ghc >=9.0)