diff --git a/ivory-stdlib.cabal b/ivory-stdlib.cabal
--- a/ivory-stdlib.cabal
+++ b/ivory-stdlib.cabal
@@ -1,5 +1,5 @@
 name:                ivory-stdlib
-version:             0.1.0.4
+version:             0.1.0.5
 author:              Galois, Inc.
 maintainer:          leepike@galois.com
 copyright:           2013 Galois, Inc.