diff --git a/ivory-hw.cabal b/ivory-hw.cabal
--- a/ivory-hw.cabal
+++ b/ivory-hw.cabal
@@ -2,7 +2,7 @@
 -- documentation, see http://haskell.org/cabal/users-guide/
 
 name:                ivory-hw
-version:             0.1.0.3
+version:             0.1.0.4
 license:             BSD3
 license-file:        LICENSE
 author:              Galois, Inc.
@@ -20,7 +20,7 @@
 source-repository    this
   type:     git
   location: https://github.com/GaloisInc/ivory
-  tag:      hackage-hw-0103
+  tag:      hackage-0.1.0.4
 
 
 library
@@ -33,12 +33,11 @@
                        Paths_ivory_hw,
                        ExampleTypes
   hs-source-dirs:      src, examples
-  build-depends:       base >= 4.6 && < 5,
+  build-depends:       base >= 4.7 && < 5,
                        filepath,
                        ivory,
-                       ivory-artifact,
-                       ivory-backend-c
-  default-language:     Haskell2010
+                       ivory-artifact
+  default-language:    Haskell2010
   ghc-options:         -Wall
-
-
+  if impl(ghc == 8.0.1)
+    ghc-options:       -Wno-redundant-constraints