Cabal revisions of type-equality-1.0.1

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

 name:               type-equality version:            1.0.1+x-revision:         1 stability:          provisional cabal-version:      >=1.10 build-type:         Simple    || ==9.0.2    || ==9.2.8    || ==9.4.8-   || ==9.6.5-   || ==9.8.2+   || ==9.6.6+   || ==9.8.4    || ==9.10.1+   || ==9.12.1  source-repository head   type:     git-  location: git://github.com/hesselink/type-equality+  location: https://github.com/hesselink/type-equality  library   default-language: Haskell2010-  build-depends:    base >=4.12 && <4.21+  build-depends:    base >=4.12 && <4.22   hs-source-dirs:   src-hetero   exposed-modules:  Data.Type.Equality.Hetero   other-extensions: PolyKinds