diff --git a/LICENSE b/LICENSE
--- a/LICENSE
+++ b/LICENSE
@@ -1,5 +1,5 @@
 Copyright © 2009–2010 Brandenburgische Technische Universität Cottbus
-Copyright © 2011      Wolfgang Jeltsch
+Copyright © 2011–2012 Wolfgang Jeltsch
 All rights reserved.
 
 Redistribution and use in source and binary forms, with or without modification, are permitted
diff --git a/kinds.cabal b/kinds.cabal
--- a/kinds.cabal
+++ b/kinds.cabal
@@ -1,15 +1,16 @@
 Name:          kinds
-Version:       0.0.1.4
+Version:       0.0.1.5
 Cabal-Version: >= 1.6
 Build-Type:    Simple
 License:       BSD3
 License-File:  LICENSE
-Copyright:     © 2009–2010 Brandenburgische Technische Universität Cottbus; © 2011 Wolfgang Jeltsch
+Copyright:     © 2009–2010 Brandenburgische Technische Universität Cottbus;
+               © 2011–2012 Wolfgang Jeltsch
 Author:        Wolfgang Jeltsch
 Maintainer:    wolfgang@cs.ioc.ee
 Stability:     provisional
 Homepage:      http://darcs.wolfgang.jeltsch.info/haskell/kinds
-Package-URL:   http://hackage.haskell.org/packages/archive/kinds/0.0.1.4/kinds-0.0.1.4.tar.gz
+Package-URL:   http://hackage.haskell.org/packages/archive/kinds/0.0.1.5/kinds-0.0.1.5.tar.gz
 Synopsis:      Emulation of subkinds and subkind polymorphism
 Description:   Subkinds are the kind-level analog to subtypes. A kind denotes a set of types, and a
                subkind of some base kind denotes a subset of the base kind’s set of types.
@@ -34,10 +35,10 @@
 Source-Repository this
     type:     darcs
     location: http://darcs.wolfgang.jeltsch.info/haskell/kinds/main
-    tag:      kinds-0.0.1.4
+    tag:      kinds-0.0.1.5
 
 Library
-    Build-Depends:   base >= 3.0 && < 4.4
+    Build-Depends:   base >= 3.0 && < 5
     Extensions:      FlexibleInstances
                      MultiParamTypeClasses
                      Rank2Types