diff --git a/copilot-sbv.cabal b/copilot-sbv.cabal
--- a/copilot-sbv.cabal
+++ b/copilot-sbv.cabal
@@ -1,6 +1,6 @@
 cabal-version             : >= 1.10
 name                      : copilot-sbv
-version                   : 0.5
+version                   : 0.6
 synopsis                  : A compiler for CoPilot targeting SBV.
 description               : 
   The Copilot back-end targeting SBV <http://hackage.haskell.org/package/sbv>.
@@ -30,7 +30,7 @@
 
 source-repository head
     type:       git
-    location:   git://github.com/niswegmann/copilot-sbv.git
+    location:   http://github.com/leepike/copilot-sbv.git
 
 library
   default-language        : Haskell2010
@@ -38,7 +38,7 @@
   ghc-options             : -Wall -fwarn-tabs
   ghc-prof-options        : -auto-all -caf-all
 
-  build-depends           : sbv >= 1.0
+  build-depends           : sbv >= 1.0 && <= 1.3
                           , base >= 4.3 && < 5
                           , containers >= 0.4
                           , copilot-core