Cabal revisions of fin-0.3

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

 cabal-version:      >=1.10 name:               fin version:            0.3+x-revision:         1 synopsis:           Nat and Fin: peano naturals and finite numbers category:           Data, Dependent Types, Singletons, Math description:     , universe-base  >=1.1.2   && <1.2    if !impl(ghc >=8.2)-    build-depends: bifunctors >=5.5.3 && <5.6+    build-depends: bifunctors >=5.5.3 && <5.7    if !impl(ghc >=8.0)     build-depends: semigroups >=0.18.5 && <0.21

 cabal-version:      >=1.10 name:               fin version:            0.3-x-revision:         1+x-revision:         2 synopsis:           Nat and Fin: peano naturals and finite numbers category:           Data, Dependent Types, Singletons, Math description:    || ==8.8.4    || ==8.10.7    || ==9.0.2-   || ==9.2.7-   || ==9.4.4-   || ==9.6.1+   || ==9.2.8+   || ==9.4.7+   || ==9.6.3+   || ==9.8.1  source-repository head   type:     git    other-modules:    TrustworthyCompat   build-depends:-      base           >=4.7     && <4.19+      base           >=4.7     && <4.20     , boring         >=0.2     && <0.3     , dec            >=0.0.4   && <0.1-    , deepseq        >=1.3.0.2 && <1.5+    , deepseq        >=1.3.0.2 && <1.6     , hashable       >=1.2.7.0 && <1.5     , QuickCheck     >=2.13.2  && <2.15     , some           >=1.0.4   && <1.1