diff --git a/CHANGELOG.md b/CHANGELOG.md
index e5e00c0..0ecd00e 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,6 +1,6 @@
 # Changelog for the [`ghc-typelits-natnormalise`](http://hackage.haskell.org/package/ghc-typelits-natnormalise) package
 
-## 0.4.2
+## 0.4.2 *July 8th 2016*
 * Find more unifications:
   * `(2*e ^ d) ~ (2*e*a*c) ==> [a*c := 2*e ^ (d-1)]`
   * `a^d * a^e ~ a^c ==> [c := d + e]`