diff --git a/Setup.hs b/Setup.hs
--- a/Setup.hs
+++ b/Setup.hs
@@ -1,4 +1,4 @@
-module Main(main)
+module Main ( main ) where
 
 import Distribution.Simple
 
diff --git a/opentheory-primitive.cabal b/opentheory-primitive.cabal
--- a/opentheory-primitive.cabal
+++ b/opentheory-primitive.cabal
@@ -1,5 +1,5 @@
 name: opentheory-primitive
-version: 1.4
+version: 1.5
 category: Formal Methods
 synopsis: Haskell primitives used by OpenTheory packages
 license: MIT