diff --git a/ivory-backend-c.cabal b/ivory-backend-c.cabal
--- a/ivory-backend-c.cabal
+++ b/ivory-backend-c.cabal
@@ -2,7 +2,7 @@
 --  see http://haskell.org/cabal/users-guide/
 
 name:                ivory-backend-c
-version:             0.1.0.0
+version:             0.1.0.1
 author:              Galois, Inc.
 maintainer:          leepike@galois.com
 category:            Language
@@ -17,8 +17,8 @@
 license-file:        LICENSE
 source-repository    this
   type:     git
-  location: https://github.com/GaloisInc/ivory-backend-c
-  tag:      hackage-backend-0100
+  location: https://github.com/GaloisInc/ivory
+  tag:      hackage-backend-0101
 
 library
   exposed-modules:      Ivory.Compile.C,