Cabal revisions of type-unary-0.2.14

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

 Name:                type-unary Version:             0.2.14+x-revision: 1 Cabal-Version:       >= 1.6 Synopsis:               Type-level and typed unary natural numbers, inequality proofs, vectors Library   hs-Source-Dirs:      src   Extensions:-  Build-Depends:       base >=4 && < 5, ty>=0.1.5, vector-space, applicative-numbers+  Build-Depends:       base >=4 && < 4.11, ty>=0.1.5, vector-space, applicative-numbers   Exposed-Modules:                             TypeUnary.TyNat                        TypeUnary.Nat