diff --git a/LICENSE b/LICENSE
--- a/LICENSE
+++ b/LICENSE
@@ -1,4 +1,4 @@
-Copyright (c) 2018, Cale Gibbard, Ali Abrar
+Copyright (c) 2018, Obsidian Systems LLC
 
 All rights reserved.
 
diff --git a/constraints-extras.cabal b/constraints-extras.cabal
--- a/constraints-extras.cabal
+++ b/constraints-extras.cabal
@@ -1,18 +1,26 @@
-name:                constraints-extras
-version:             0.1.0.0
-synopsis:            Utility package for constraints
-license:             BSD3
-license-file:        LICENSE
-author:              Cale Gibbard, Ali Abrar
-maintainer:          maintainer@obsidian.systems
-copyright:           Obsidian Systems LLC
-build-type:          Simple
-extra-source-files:  ChangeLog.md
-cabal-version:       >=1.10
+name: constraints-extras
+version: 0.1.0.1
+synopsis: Utility package for constraints
+license: BSD3
+license-file: LICENSE
+author: Cale Gibbard, Ali Abrar
+maintainer: maintainer@obsidian.systems
+copyright: Obsidian Systems LLC
+build-type: Simple
+extra-source-files: ChangeLog.md
+cabal-version: >=1.10
 
 library
-  exposed-modules:     Data.Constraint.Extras, Data.Constraint.Extras.TH
-  other-extensions:    CPP, ExistentialQuantification, FlexibleInstances, GADTs, LambdaCase, MultiParamTypeClasses, QuasiQuotes, StandaloneDeriving, TypeFamilies, TypeOperators, ConstraintKinds, TemplateHaskell
-  build-depends:       base >=4.9 && <4.11, constraints >= 0.9 && < 0.10, template-haskell >=2.11 && <2.12
-  hs-source-dirs:      src
-  default-language:    Haskell2010
+  exposed-modules: Data.Constraint.Extras, Data.Constraint.Extras.TH
+  other-extensions: LambdaCase
+                  , MultiParamTypeClasses
+                  , QuasiQuotes
+                  , TypeFamilies
+                  , TypeOperators
+                  , ConstraintKinds
+                  , TemplateHaskell
+  build-depends: base >=4.9 && <4.12
+               , constraints >= 0.9 && < 0.11
+               , template-haskell >=2.11 && <2.14
+  hs-source-dirs:  src
+  default-language:Haskell2010
diff --git a/src/Data/Constraint/Extras.hs b/src/Data/Constraint/Extras.hs
--- a/src/Data/Constraint/Extras.hs
+++ b/src/Data/Constraint/Extras.hs
@@ -1,11 +1,4 @@
-{-# LANGUAGE CPP #-}
-{-# LANGUAGE ExistentialQuantification #-}
-{-# LANGUAGE FlexibleInstances #-}
-{-# LANGUAGE GADTs #-}
-{-# LANGUAGE LambdaCase #-}
 {-# LANGUAGE MultiParamTypeClasses #-}
-{-# LANGUAGE QuasiQuotes #-}
-{-# LANGUAGE StandaloneDeriving #-}
 {-# LANGUAGE TypeFamilies #-}
 {-# LANGUAGE TypeOperators #-}
 {-# LANGUAGE ConstraintKinds #-}
diff --git a/src/Data/Constraint/Extras/TH.hs b/src/Data/Constraint/Extras/TH.hs
--- a/src/Data/Constraint/Extras/TH.hs
+++ b/src/Data/Constraint/Extras/TH.hs
@@ -1,4 +1,3 @@
-{-# LANGUAGE CPP #-}
 {-# LANGUAGE LambdaCase #-}
 {-# LANGUAGE QuasiQuotes #-}
 {-# LANGUAGE TemplateHaskell #-}