diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,9 @@
 # Changelog for the [`clash-ghc`](http://hackage.haskell.org/package/clash-ghc) package
 
+## 0.5.3 *April 24th 2015*
+* Fixes bugs:
+  * Fix bug where not enough array type definitions were created by the VHDL backend
+
 ## 0.5.2 *April 21st 2015*
 * Use latest ghc-typelits-natnormalise
 
diff --git a/clash-ghc.cabal b/clash-ghc.cabal
--- a/clash-ghc.cabal
+++ b/clash-ghc.cabal
@@ -1,5 +1,5 @@
 Name:                 clash-ghc
-Version:              0.5.2
+Version:              0.5.3
 Synopsis:             CAES Language for Synchronous Hardware
 Description:
   CλaSH (pronounced ‘clash’) is a functional hardware description language that
@@ -70,11 +70,11 @@
                       unbound-generics          >= 0.1,
                       unordered-containers      >= 0.2.1.0,
 
-                      clash-lib                 >= 0.5,
-                      clash-vhdl                >= 0.5,
-                      clash-systemverilog       >= 0.5,
-                      clash-prelude             >= 0.7.2,
-                      ghc-typelits-natnormalise >= 0.1.2
+                      clash-lib                 >= 0.5.1,
+                      clash-vhdl                >= 0.5.2,
+                      clash-systemverilog       >= 0.5.1,
+                      clash-prelude             >= 0.7.3,
+                      ghc-typelits-natnormalise >= 0.2
 
   if os(windows)
     Build-Depends:    Win32