diff --git a/CHANGELOG.markdown b/CHANGELOG.markdown
new file mode 100644
--- /dev/null
+++ b/CHANGELOG.markdown
@@ -0,0 +1,8 @@
+## 4.0
+
+* Compatibility with `comonad` and `free` version 4.0
+
+## 3.0
+
+* Compatibility with `transformers` 0.3
+* Resolved deprecation warnings caused by changes to `Data.Typeable`
diff --git a/Data/Functor/Foldable.hs b/Data/Functor/Foldable.hs
--- a/Data/Functor/Foldable.hs
+++ b/Data/Functor/Foldable.hs
@@ -2,7 +2,7 @@
 -----------------------------------------------------------------------------
 -- |
 -- Module      :  Data.Functor.Foldable
--- Copyright   :  (C) 2008 Edward Kmett
+-- Copyright   :  (C) 2008-2013 Edward Kmett
 -- License     :  BSD-style (see the file LICENSE)
 --
 -- Maintainer  :  Edward Kmett <ekmett@gmail.com>
diff --git a/LICENSE b/LICENSE
--- a/LICENSE
+++ b/LICENSE
@@ -1,4 +1,4 @@
-Copyright 2011 Edward Kmett
+Copyright 2011-2013 Edward Kmett
 
 All rights reserved.
 
@@ -12,10 +12,6 @@
 2. Redistributions in binary form must reproduce the above copyright
    notice, this list of conditions and the following disclaimer in the
    documentation and/or other materials provided with the distribution.
-
-3. Neither the name of the author nor the names of his contributors
-   may be used to endorse or promote products derived from this software
-   without specific prior written permission.
 
 THIS SOFTWARE IS PROVIDED BY THE AUTHORS ``AS IS'' AND ANY EXPRESS OR
 IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
diff --git a/recursion-schemes.cabal b/recursion-schemes.cabal
--- a/recursion-schemes.cabal
+++ b/recursion-schemes.cabal
@@ -1,6 +1,6 @@
 name:          recursion-schemes
 category:      Control, Recursion
-version:       3.0.0.2
+version:       4.0
 license:       BSD3
 cabal-version: >= 1.6
 license-file:  LICENSE
@@ -9,19 +9,12 @@
 stability:     provisional
 homepage:      http://github.com/ekmett/recursion-schemes/
 bug-reports:   http://github.com/ekmett/recursion-schemes/issues
-copyright:     Copyright (C) 2008-2011 Edward A. Kmett
+copyright:     Copyright (C) 2008-2013 Edward A. Kmett
 synopsis:      Generalized bananas, lenses and barbed wire
-description:
-  Generalized bananas, lenses and barbed wire
-  .
-  /Changes since 2.0/:
-  .
-  * Compatibility with transformers 0.3
-  .
-  * Resolved deprecation warnings caused by changes to Data.Typeable
+description:   Generalized bananas, lenses and barbed wire
 
 build-type:    Simple
-extra-source-files: .travis.yml
+extra-source-files: .travis.yml CHANGELOG.markdown
 
 source-repository head
   type: git
@@ -40,10 +33,9 @@
 
   build-depends:
     base                 >= 4   && < 5,
-    transformers         >= 0.2 && < 1,
-    comonad              >= 3   && < 4,
-    comonad-transformers >= 3   && < 4,
-    free                 >= 3.2 && < 4
+    comonad              >= 4   && < 5,
+    free                 >= 4   && < 5,
+    transformers         >= 0.2 && < 1
 
   exposed-modules:
     Data.Functor.Foldable