diff --git a/HTab.cabal b/HTab.cabal
--- a/HTab.cabal
+++ b/HTab.cabal
@@ -1,5 +1,5 @@
 Name:                HTab
-Version:             1.6.1
+Version:             1.6.2
 Synopsis:            Tableau based theorem prover for hybrid logics
 Description:         Tableau based theorem prover for hybrid logics
 Homepage:            http://www.glyc.dc.uba.ar/intohylo/htab.php
@@ -11,14 +11,15 @@
 Maintainer:          guillaumh@gmail.com
 Cabal-version:       >= 1.6.0
 Build-type:          Simple
-
+Extra-source-files:  tests/test-example-formulas.hs
+                     tests/coverage.sh
 Data-files:  NEWS
              examples/*.sh
              examples/sat/*.frm
              examples/unsat/*.frm
-
-Extra-source-files:  tests/test-example-formulas.hs
-                     tests/coverage.sh
+source-repository head
+    type:     darcs
+    location: http://www.glyc.dc.uba.ar/intohylo/repos/htab/
 
 Flag static
   Description: Build a static binary
@@ -44,7 +45,7 @@
                        containers < 0.4.2,
                        deepseq < 1.2,
                        strict < 1,
-                       cmdargs >= 0.9, cmdargs < 1.0,
+                       cmdargs >= 0.10.1,
                        hylolib == 1.4.*
   Extensions:          GADTs
                        DeriveDataTypeable