diff --git a/LICENSE b/LICENSE
--- a/LICENSE
+++ b/LICENSE
@@ -1,4 +1,5 @@
 Copyright © 2009–2010 Brandenburgische Technische Universität Cottbus
+Copyright © 2011      Wolfgang Jeltsch
 All rights reserved.
 
 Redistribution and use in source and binary forms, with or without modification, are permitted
diff --git a/type-functions.cabal b/type-functions.cabal
--- a/type-functions.cabal
+++ b/type-functions.cabal
@@ -1,16 +1,15 @@
 Name:          type-functions
-Version:       0.2.0.0
-Cabal-Version: >= 1.2.3
+Version:       0.2.0.2
+Cabal-Version: >= 1.6
 Build-Type:    Simple
 License:       BSD3
 License-File:  LICENSE
-Copyright:     © 2009–2010 Brandenburgische Technische Universität Cottbus
+Copyright:     © 2009–2010 Brandenburgische Technische Universität Cottbus; © 2011 Wolfgang Jeltsch
 Author:        Wolfgang Jeltsch
-Maintainer:    jeltsch@tu-cottbus.de
+Maintainer:    wolfgang@cs.ioc.ee
 Stability:     provisional
-Homepage:      http://community.haskell.org/~jeltsch/type-functions/
-Bug-Reports:   jeltsch@tu-cottbus.de
-Package-URL:   http://hackage.haskell.org/packages/archive/type-functions/0.2.0.0/type-functions-0.2.0.0.tar.gz
+Homepage:      http://darcs.wolfgang.jeltsch.info/haskell/type-functions
+Package-URL:   http://hackage.haskell.org/packages/archive/type-functions/0.2.0.2/type-functions-0.2.0.2.tar.gz
 Synopsis:      Emulation of type-level functions
 Description:   This package supports emulation of type-level functions using defunctionalization.
                All functions whose domain is a subkind of @*@ and whose codomain is @*@
@@ -19,10 +18,19 @@
                For detailed information, please refer to Subsection 3.2 of the paper
                /Generic Record Combinators with Static Type Checking/.
 Category:      Type System
-Tested-With:   GHC == 6.12.1
+Tested-With:   GHC == 7.0.4
 
+Source-Repository head
+    type:     darcs
+    location: http://darcs.wolfgang.jeltsch.info/haskell/type-functions/main
+
+Source-Repository this
+    type:     darcs
+    location: http://darcs.wolfgang.jeltsch.info/haskell/type-functions/main
+    tag:      type-functions-0.2.0.2
+
 Library
-    Build-Depends:   base  >= 3.0   && < 4.1,
+    Build-Depends:   base  >= 3.0   && < 4.4,
                      kinds >= 0.0.1 && < 0.1
     Extensions:      EmptyDataDecls
                      FlexibleContexts