diff --git a/verifiable-expressions.cabal b/verifiable-expressions.cabal
--- a/verifiable-expressions.cabal
+++ b/verifiable-expressions.cabal
@@ -1,32 +1,29 @@
--- This file has been generated from package.yaml by hpack version 0.20.0.
+cabal-version: 1.12
+
+-- This file has been generated from package.yaml by hpack version 0.31.1.
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: dff4863bb87472933f3daa41b069320c635d14714d46d778116a53854de0e95c
+-- hash: ce4006a4eb6cc4997fc47936009d3e9b564b686fb2d70bab60d3a536d8c65df7
 
 name:           verifiable-expressions
-version:        0.4.0
+version:        0.5.0
 synopsis:       An intermediate language for Hoare logic style verification.
 description:    A typed intermediate language for Hoare logic style verification. It defines the intermediate language and combinators to interact it.
 category:       Language
+homepage:       https://github.com/camfort/verifiable-expressions#readme
+bug-reports:    https://github.com/camfort/verifiable-expressions/issues
 author:         Bradley Hardy
-maintainer:     bch29@cam.ac.uk
+maintainer:     madgenhetic@gmail.com
 license:        Apache-2.0
 license-file:   LICENSE
 build-type:     Simple
-cabal-version:  >= 1.10
 
+source-repository head
+  type: git
+  location: https://github.com/camfort/verifiable-expressions
+
 library
-  ghc-options: -Wall
-  build-depends:
-      base >=4.9 && <5
-    , containers >=0.5.7 && <0.6
-    , lens >=4.16.1 && <5
-    , mtl >=2.0 && <3
-    , sbv >=7.0 && <8
-    , transformers >=0.5 && <0.6
-    , union >=0.1.1 && <0.2
-    , vinyl >=0.8.1 && <0.9
   exposed-modules:
       Language.Expression
       Language.Expression.Example
@@ -46,4 +43,14 @@
       Language.While.Test
   other-modules:
       Paths_verifiable_expressions
+  ghc-options: -Wall
+  build-depends:
+      base >=4.9 && <5
+    , containers >=0.5.7 && <0.7
+    , lens >=4.16.1 && <5
+    , mtl >=2.0 && <3
+    , sbv >=7.0 && <8
+    , transformers >=0.5 && <0.6
+    , union >=0.1.1 && <0.2
+    , vinyl >=0.8.1 && <0.9
   default-language: Haskell2010