Cabal revisions of type-unary-0.2.15

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

 Name:                type-unary Version:             0.2.15+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+  Build-Depends:       base >=4 && < 4.11                      , newtype >= 0.2                      , ty >= 0.1.5                      , vector-space