diff --git a/CHANGELOG b/CHANGELOG
new file mode 100644
--- /dev/null
+++ b/CHANGELOG
@@ -0,0 +1,14 @@
+0.1.1
+  * Turn on PolyKinds for GHC >= 7.6. Thanks to Ben Franksen.
+
+0.1.0.2
+  * Move 'Build-depends' to 'Library' section. Thanks to Brent Yorgey.
+
+0.1.0.1
+  * Added EqT instance for (:=:)
+  * Removed 'cast' as synonym for 'coerce'.
+  * Show and read instances for (:=:).
+  * Lots of small changes.
+
+0.1.0
+  * Initial version.
diff --git a/src/Data/Type/Equality.hs b/src/Data/Type/Equality.hs
--- a/src/Data/Type/Equality.hs
+++ b/src/Data/Type/Equality.hs
@@ -3,6 +3,9 @@
            , FlexibleInstances
            , CPP
            #-}
+#if __GLASGOW_HASKELL__ >= 706
+{-# LANGUAGE PolyKinds #-}
+#endif
 -------------------------------------------------------------------------------
 -- |
 -- Module      : Data.Type.Equality
diff --git a/type-equality.cabal b/type-equality.cabal
--- a/type-equality.cabal
+++ b/type-equality.cabal
@@ -1,31 +1,32 @@
-Name:             type-equality
-Version:          0.1.0.2
-Synopsis:         Type equality, coercion/cast and other operations.
-Description:      In the presence of GADTs, sometimes a proof is
-                  needed that two types are equal. This package
-                  contains an equality type for this purpose, plus its
-                  properties (reflexive, symmetric, transitive) and
-                  some useful operations (substitution, congruence,
-                  coercion/cast). It also contains a type class for
-                  producing equality proofs, providing some form of
-                  decidable equality on types.
-Category:         Data
-Cabal-Version:    >= 1.6
-Author:           Erik Hesselink, Martijn van Steenbergen
-License:          BSD3
-License-File:     LICENSE
-Maintainer:       hesselink@gmail.com
-Homepage:         http://github.com/hesselink/type-equality/
-Stability:        experimental
-Build-Type:       Simple
-Tested-With:      GHC == 6.8.2, GHC == 6.10.3, GHC == 6.12.3, GHC == 7.0.2, GHC == 7.2.1
+Name:                type-equality
+Version:             0.1.1
+Synopsis:            Type equality, coercion/cast and other operations.
+Description:         In the presence of GADTs, sometimes a proof is
+                     needed that two types are equal. This package
+                     contains an equality type for this purpose, plus its
+                     properties (reflexive, symmetric, transitive) and
+                     some useful operations (substitution, congruence,
+                     coercion/cast). It also contains a type class for
+                     producing equality proofs, providing some form of
+                     decidable equality on types.
+Category:            Data
+Cabal-Version:       >= 1.6
+Author:              Erik Hesselink, Martijn van Steenbergen
+License:             BSD3
+License-File:        LICENSE
+Maintainer:          hesselink@gmail.com
+Homepage:            http://github.com/hesselink/type-equality/
+Stability:           experimental
+Build-Type:          Simple
+Tested-With:         GHC == 7.0.4, GHC == 7.4.1, GHC == 7.6.1
+Extra-Source-Files:  CHANGELOG
 
 Library
-  Build-Depends:    base >= 3 && < 5
-  HS-Source-Dirs:   src
-  GHC-Options:      -Wall
-  Exposed-Modules:  Data.Type.Equality
+  Build-Depends:       base >= 3 && < 5
+  HS-Source-Dirs:      src
+  GHC-Options:         -Wall
+  Exposed-Modules:     Data.Type.Equality
 
 Source-Repository head
-  Type:             git
-  Location:         git://github.com/hesselink/type-equality.git
+  Type:                git
+  Location:            git://github.com/hesselink/type-equality.git