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.4
+version:             0.1.0.5
 license:             BSD3
 license-file:        LICENSE
 author:              Galois, Inc.