diff --git a/bindings-yices.cabal b/bindings-yices.cabal
--- a/bindings-yices.cabal
+++ b/bindings-yices.cabal
@@ -7,7 +7,7 @@
 -- The package version. See the Haskell package versioning policy
 -- (http://www.haskell.org/haskellwiki/Package_versioning_policy) for
 -- standards guiding when and how versions should be incremented.
-Version:             0.3
+Version:             0.3.0.1
 
 -- A short (one-line) description of the package.
 Synopsis:            Bindings to the Yices theorem prover
@@ -40,8 +40,12 @@
 -- Extra-source-files:  
 
 -- Constraint on the version of Cabal needed to build this package.
-Cabal-version:       >=1.2
+Cabal-version:       >=1.6
 
+source-repository head
+  type:     git
+  location: git://github.com/pepeiborra/bindings-yices
+                     
 Flag yices-dynamic
   default: True