diff --git a/RepLib.cabal b/RepLib.cabal
--- a/RepLib.cabal
+++ b/RepLib.cabal
@@ -1,12 +1,13 @@
 name:           RepLib
-version:        0.5.3
+version:        0.5.3.1
 license:        BSD3
 license-file:   LICENSE
 build-type:     Simple
-cabal-version:  >= 1.6
+cabal-version:  >= 1.10
 tested-with:    GHC == 7.0.4,
                 GHC == 7.2.1,
-                GHC == 7.4.1
+                GHC == 7.4.1,
+                GHC == 7.6.1
 author:         Stephanie Weirich
 maintainer:     Brent Yorgey <byorgey@cis.upenn.edu>
                 Chris Casinghino <ccasin@cis.upenn.edu>
@@ -24,10 +25,10 @@
 
 Library
   build-depends: base >= 4.3 && < 5,
-                 template-haskell >= 2.4 && < 2.8,
+                 template-haskell >= 2.4 && < 2.9,
                  mtl >= 2.0 && < 2.2,
                  type-equality >= 0.1.0.2 && < 0.2,
-                 containers >= 0.4 && < 0.5
+                 containers >= 0.4 && < 0.6
   exposed-modules:
     Generics.RepLib,
     Generics.RepLib.R,
@@ -41,4 +42,13 @@
     Generics.RepLib.SYB.Schemes,
     Generics.RepLib.Unify,
     Generics.RepLib.AbstractReps
-  extensions: GADTs
+  default-extensions: GADTs
+  other-extensions: ExistentialQuantification
+                    IncoherentInstances
+                    OverlappingInstances
+                    RankNTypes
+                    ScopedTypeVariables
+                    ScopedTypeVariables 
+                    TemplateHaskell
+                    UndecidableInstances
+  default-language: Haskell2010