diff --git a/unique-logic-tf.cabal b/unique-logic-tf.cabal
--- a/unique-logic-tf.cabal
+++ b/unique-logic-tf.cabal
@@ -1,10 +1,11 @@
+Cabal-Version:    2.2
 Name:             unique-logic-tf
-Version:          0.5.1
-License:          BSD3
+Version:          0.5.1.1
+License:          BSD-3-Clause
 License-File:     LICENSE
 Author:           Henning Thielemann
 Maintainer:       Henning Thielemann <haskell@henning-thielemann.de>
-Homepage:         http://hub.darcs.net/thielema/unique-logic-tf/
+Homepage:         https://hub.darcs.net/thielema/unique-logic-tf/
 Category:         Logic programming
 Synopsis:         Solve simple simultaneous equations
 Description:
@@ -60,28 +61,28 @@
   .
   This variant of the package requires type families.
 Tested-With:       GHC==7.4.2
-Cabal-Version:     >=1.8
 Build-Type:        Simple
-Extra-Source-Files:
+Extra-Doc-Files:
   Changes.md
 
 Source-Repository this
-  Tag:         0.5.1
+  Tag:         0.5.1.1
   Type:        darcs
-  Location:    http://hub.darcs.net/thielema/unique-logic-tf/
+  Location:    https://hub.darcs.net/thielema/unique-logic-tf/
 
 Source-Repository head
   Type:        darcs
-  Location:    http://hub.darcs.net/thielema/unique-logic-tf/
+  Location:    https://hub.darcs.net/thielema/unique-logic-tf/
 
 Library
   Build-Depends:
-    data-ref >=0.0 && <0.1,
-    transformers >=0.4 && <0.6,
+    data-ref >=0.0 && <0.2,
+    transformers >=0.4 && <0.7,
     semigroups >=0.1 && <1.0,
-    containers >=0.4 && <0.7,
+    containers >=0.4 && <0.9,
     utility-ht >=0.0.9 && <0.1,
     base >= 4 && <5
+  Default-Language: Haskell98
   GHC-Options:      -Wall
   Hs-Source-Dirs:   src
 
@@ -104,6 +105,7 @@
 Test-Suite test-unique-logic
   Type:    exitcode-stdio-1.0
   Main-Is: src/UniqueLogic/ST/TF/Test.hs
+  Default-Language: Haskell98
   GHC-Options: -Wall
   Build-Depends:
     unique-logic-tf,