Cabal revisions of fin-0.1

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

 cabal-version:      >=1.10 name:               fin version:            0.1+x-revision:         1 synopsis:           Nat and Fin: peano naturals and finite numbers category:           Data, Dependent Types, Singletons description:     Data.Type.Nat.LT    build-depends:-      base      >=4.7     && <4.13+      base      >=4.7     && <4.14     , dec       >=0.0.3   && <0.1     , deepseq   >=1.3.0.2 && <1.5     , hashable  >=1.2.7.0 && <1.4