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.5
+version:             0.1.0.6
 license:             BSD3
 license-file:        LICENSE
 author:              Galois, Inc.
@@ -11,8 +11,6 @@
 synopsis:            Ivory hardware model (STM32F4).
 description:         Hardware model for Ivory.  Currently, the STM32F4 is supported; others may be added.
 homepage:            http://ivorylang.org
-build-type:          Simple
-cabal-version:       >= 1.10
 category:            Language
 build-type:          Simple
 cabal-version:       >=1.10