Cabal revisions of ty-0.1.3

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

 Name:                ty Version:             0.1.3+x-revision: 1 Synopsis:            Typed type representations and equality proofs Category:            Data Cabal-Version:       >= 1.6   location: git://github.com/conal/ty.git  Library+  other-extensions:    ConstraintKinds   hs-Source-Dirs:      src-  Build-Depends:       base<5, ghc-prim+  Build-Depends:       base<4.9, ghc-prim<0.5   Exposed-Modules:                             Data.Proof.EQ                        Data.IsTy