Cabal revisions of fin-0.3.1

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

 cabal-version:      2.2 name:               fin version:            0.3.1+x-revision:         1 synopsis:           Nat and Fin: peano naturals and finite numbers category:           Data, Dependent Types, Singletons, Math description:   build-depends:     , boring         ^>=0.2.2     , dec            ^>=0.0.6-    , hashable       ^>=1.4.4.0+    , hashable       ^>=1.4.4.0 || ^>=1.5.0.0     , QuickCheck     ^>=2.14.2  || ^>=2.15     , some           ^>=1.0.6     , universe-base  ^>=1.1.4