diff --git a/ivory-stdlib.cabal b/ivory-stdlib.cabal
--- a/ivory-stdlib.cabal
+++ b/ivory-stdlib.cabal
@@ -1,12 +1,12 @@
 name:                ivory-stdlib
-version:             0.1.0.3
+version:             0.1.0.4
 author:              Galois, Inc.
 maintainer:          leepike@galois.com
 copyright:           2013 Galois, Inc.
 category:            Language
 synopsis:            Ivory standard library.
 description:         A standard library for Ivory.
-homepage:            http://smaccmpilot.org/languages/ivory-introduction.html
+homepage:            http://ivorylang.org
 build-type:          Simple
 cabal-version:       >= 1.10
 license:             BSD3
@@ -16,7 +16,7 @@
 source-repository    this
   type:     git
   location: https://github.com/GaloisInc/ivory
-  tag:      hackage-stdlib-0103
+  tag:      hackage-0.1.0.4
 
 library
   exposed-modules:      Ivory.Stdlib,
@@ -29,7 +29,7 @@
 
   other-modules:        Paths_ivory_stdlib
 
-  build-depends:        base >= 4.6 && < 5,
+  build-depends:        base >= 4.7 && < 5,
                         filepath,
                         ivory,
                         ivory-artifact
@@ -37,3 +37,5 @@
   hs-source-dirs:       src
   default-language:     Haskell2010
   ghc-options:          -Wall
+  if impl(ghc == 8.0.1)
+    ghc-options:        -Wno-redundant-constraints
diff --git a/src/Ivory/Stdlib/Memory.hs b/src/Ivory/Stdlib/Memory.hs
--- a/src/Ivory/Stdlib/Memory.hs
+++ b/src/Ivory/Stdlib/Memory.hs
@@ -62,4 +62,3 @@
   frLen = arrayLen from
 
   mkIx ix = toIx (toOffset + fromIx ix)
-