Index: b/type-equality.cabal
===================================================================
--- a/type-equality.cabal
+++ b/type-equality.cabal
@@ -1,18 +1,23 @@
-name:          type-equality
-version:       1
-stability:     provisional
-cabal-version: >=1.10
-build-type:    Simple
-author:        Oleg Grenrus <oleg.grenrus@iki.fi>, Ryan Scott <ryan.gl.scott@gmail.com>, Erik Hesselink <hesselink@gmail.com>, Martijn van Steenbergen
-maintainer:    Oleg Grenrus <oleg.grenrus@iki.fi>, Ryan Scott <ryan.gl.scott@gmail.com>, Erik Hesselink <hesselink@gmail.com>
-license:       BSD3
-license-file:  LICENSE
-homepage:      https://github.com/hesselink/type-equality
-category:      Data, Dependent Types
-synopsis:      Data.Type.Equality compat package
+name:               type-equality
+version:            1
+x-revision:         5
+stability:          provisional
+cabal-version:      >=1.10
+build-type:         Simple
+author:
+  Oleg Grenrus <oleg.grenrus@iki.fi>, Ryan Scott <ryan.gl.scott@gmail.com>, Erik Hesselink <hesselink@gmail.com>, Martijn van Steenbergen
+
+maintainer:
+  Oleg Grenrus <oleg.grenrus@iki.fi>, Ryan Scott <ryan.gl.scott@gmail.com>, Erik Hesselink <hesselink@gmail.com>
+
+license:            BSD3
+license-file:       LICENSE
+homepage:           https://github.com/hesselink/type-equality
+category:           Data, Dependent Types
+synopsis:           Data.Type.Equality compat package
 description:
   This library defines a propositional equality data type,
-  shims @Data.Type.Equality" as well as possible for older GHCs (< 7.8).
+  shims @Data.Type.Equality@ as well as possible for older GHCs (< 7.8).
   .
   @
   data a :~: b where
@@ -24,8 +29,22 @@ description:
 
 extra-source-files: CHANGELOG.md
 tested-with:
-  GHC ==8.8.1 || ==8.6.5 || ==8.4.4 || ==8.2.2 || ==8.0.2 || ==7.10.3 || ==7.8.4 || ==7.6.3 || ==7.4.2 || ==7.2.2 || ==7.0.4
-
+  GHC ==7.0.4
+   || ==7.2.2
+   || ==7.4.2
+   || ==7.6.3
+   || ==7.8.4
+   || ==7.10.3
+   || ==8.0.2
+   || ==8.2.2
+   || ==8.4.4
+   || ==8.6.5
+   || ==8.8.4
+   || ==8.10.7
+   || ==9.0.2
+   || ==9.2.7
+   || ==9.4.4
+   || ==9.6.1
 
 source-repository head
   type:     git
@@ -33,11 +52,11 @@ source-repository head
 
 library
   default-language: Haskell2010
-  build-depends:    base >=4.3 && <4.14
+  build-depends:    base >=4.3 && <4.19
 
   if !impl(ghc >=7.8)
-    hs-source-dirs: src-old
-    exposed-modules:  Data.Type.Equality
+    hs-source-dirs:  src-old
+    exposed-modules: Data.Type.Equality
 
   if impl(ghc >=8.0)
     hs-source-dirs:   src-hetero
