diff --git a/ChangeLog b/ChangeLog
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,10 @@
 ChangeLog
 
+v0.3.0.2 2015/08/15
+	(2015/08/15) PS1 - relaxed dependencies.
+	(2015/08/15) PS1 - added IncoherentInstances to
+	Quantum.Synthesis.LaTeX.
+
 v0.3.0.1 2015/05/15
 	(2015/05/15) PS1 - added a missing source file
 
diff --git a/Quantum/Synthesis/GridSynth.hs b/Quantum/Synthesis/GridSynth.hs
--- a/Quantum/Synthesis/GridSynth.hs
+++ b/Quantum/Synthesis/GridSynth.hs
@@ -147,8 +147,8 @@
   d = 1 - epsilon^2/2
   z = (zx, zy)
   
--- | The ε-/region/, scaled by an additional factor of √/s/, where /s/
--- > 0. The center of scaling is the origin.
+-- | The ε-/region/, scaled by an additional factor of √/s/, where
+-- /s/ > 0. The center of scaling is the origin.
 epsilon_region_scaled :: (Floating r, Ord r, RootHalfRing r, Quadratic QRootTwo r) => DRootTwo -> r -> r -> ConvexSet r
 epsilon_region_scaled s epsilon theta = ConvexSet ell tst int where
   
diff --git a/Quantum/Synthesis/LaTeX.hs b/Quantum/Synthesis/LaTeX.hs
--- a/Quantum/Synthesis/LaTeX.hs
+++ b/Quantum/Synthesis/LaTeX.hs
@@ -1,6 +1,7 @@
 {-# LANGUAGE FlexibleInstances #-}
 {-# LANGUAGE GADTs #-}
 {-# LANGUAGE OverlappingInstances #-}
+{-# LANGUAGE IncoherentInstances #-}
 
 -- | This module provides some functionality for pretty-printing
 -- certain types to LaTeX format.
diff --git a/newsynth.cabal b/newsynth.cabal
--- a/newsynth.cabal
+++ b/newsynth.cabal
@@ -7,7 +7,7 @@
 -- PVP summary:      +-+------- breaking API changes
 --                   | | +----- non-breaking API additions
 --                   | | | +--- code changes with no API change
-version:             0.3.0.1
+version:             0.3.0.2
 
 -- A short (one-line) description of the package.
 synopsis:            Exact and approximate synthesis of quantum circuits
@@ -60,7 +60,7 @@
 maintainer:          selinger@mathstat.dal.ca
 
 -- A copyright notice.
-copyright:           Copyright (c) 2012-2014 Neil J. Ross and Peter Selinger
+copyright:           Copyright (c) 2012-2015 Neil J. Ross and Peter Selinger
 
 -- A classification category for future use by the package catalogue
 -- Hackage. These categories have not yet been specified, but the
@@ -71,7 +71,7 @@
 build-type:          Custom
 
 -- Constraint on the version of Cabal needed to build this package.
-cabal-version:       >=1.8
+cabal-version:       >= 1.8
 
 -- A list of additional files to be included in source distributions
 -- built with setup sdist.
@@ -85,11 +85,11 @@
   -- other-modules:       
   
   -- Other library packages from which modules are imported.
-  build-depends:       base >= 4.6 && < 4.8, random >= 1.0 && < 1.2, fixedprec >= 0.2.2 && < 0.3, superdoc ==0.1.*, containers ==0.5.*
+  build-depends:       base >= 4.6 && < 5, random >= 1.0, fixedprec >= 0.2.2, superdoc >= 0.1, containers >= 0.5
 
   -- Additional options for GHC when the package is built with
   -- profiling enabled.
-  ghc-prof-options:    -prof -auto-all
+  ghc-prof-options:    -prof
 
 executable gridsynth
   -- .hs or .lhs file containing the Main module.
@@ -102,4 +102,4 @@
   other-modules:       CommandLine
   
   -- Other library packages from which modules are imported.
-  build-depends:       base >= 4.6 && < 4.8, random >= 1.0 && < 1.2, time ==1.4.*, superdoc ==0.1.*, newsynth
+  build-depends:       base >= 4.6 && < 5, random >= 1.0, time >= 1.4, superdoc >= 0.1, newsynth