Cabal revisions of fin-0.2.1

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

 cabal-version:      >=1.10 name:               fin version:            0.2.1+x-revision:         1 synopsis:           Nat and Fin: peano naturals and finite numbers category:           Data, Dependent Types, Singletons, Math description:    || ==8.4.4    || ==8.6.5    || ==8.8.4-   || ==8.10.4-   || ==9.0.1-   || ==9.2.1+   || ==8.10.7+   || ==9.0.2+   || ==9.2.4+   || ==9.4.1  source-repository head   type:     git    other-modules:    TrustworthyCompat   build-depends:-      base           >=4.7     && <4.17+      base           >=4.7     && <4.18     , boring         >=0.2     && <0.3     , dec            >=0.0.4   && <0.1     , deepseq        >=1.3.0.2 && <1.5   build-depends:       base     , fin-    , inspection-testing  >=0.2.0.1 && <0.5+    , inspection-testing  >=0.2.0.1 && <0.6     , tagged    if !impl(ghc >=8.0)