Cabal revisions of type-unary-0.1.3

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

 Name:                type-unary Version:             0.1.3+x-revision: 1 Cabal-Version:       >= 1.2 Synopsis:               Type-level and typed unary natural numbers, vectors, inequality proofs Library   hs-Source-Dirs:      src   Extensions:-  Build-Depends:       base >=4 && < 5, ty, vector-space+  Build-Depends:       base >=4 && < 4.11, ty, vector-space   Exposed-Modules:     TypeUnary.Vec                           ghc-options:         -Wall

 Name:                type-unary Version:             0.1.3-x-revision: 1+x-revision: 2 Cabal-Version:       >= 1.2 Synopsis:               Type-level and typed unary natural numbers, vectors, inequality proofs Library   hs-Source-Dirs:      src   Extensions:-  Build-Depends:       base >=4 && < 4.11, ty, vector-space+  Build-Depends:       base >=4 && < 5, ty, vector-space   Exposed-Modules:     TypeUnary.Vec                           ghc-options:         -Wall