diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -8,6 +8,14 @@
 
 ## [unreleased]
 
+## [1.0.0.1] - 2022-06-16
+
+### Changed
+
+- Stack configuration files have been created for Stackage LTS version with GHC 8.6 up to 9.2
+- Dependency version requirements have been widened to allow the versions from these Stackage sets.
+- In order to support GHC 9.2, `Nat` is now imported from `GHC.Typelits` instead of `GHC.Base`
+
 ## [1.0.0.0] - 2022-06-08
 
 This is the initial release of the library.
@@ -19,5 +27,6 @@
 - A usage example (in examples/Examples.hs)
 - Instances of POSable for data types in the Prelude (Bool, Maybe, Either, Ord, tuples up to length 16)
 
-[unreleased]:   https://github.com/Riscky/posable/compare/v1.0.0.0...HEAD
+[unreleased]:   https://github.com/Riscky/posable/compare/v1.0.0.1...HEAD
+[1.0.0.1]:      https://github.com/Riscky/posable/compare/v1.0.0.0...v1.0.0.1
 [1.0.0.0]:      https://github.com/Riscky/posable/compare/c81f50a2b...v1.0.0.0
diff --git a/examples/Examples.hs b/examples/Examples.hs
--- a/examples/Examples.hs
+++ b/examples/Examples.hs
@@ -8,7 +8,6 @@
 {-# OPTIONS_GHC -fplugin GHC.TypeLits.KnownNat.Solver #-}
 -- Larger types need more iterations
 {-# OPTIONS_GHC -fconstraint-solver-iterations=11 #-}
-{-# OPTIONS_GHC -ddump-splices #-}
 
 -- | Contains an example for deriving POSable for some datatype
 module Examples () where
diff --git a/posable.cabal b/posable.cabal
--- a/posable.cabal
+++ b/posable.cabal
@@ -20,7 +20,7 @@
 -- PVP summary:      +-+------- breaking API changes
 --                   | | +----- non-breaking API additions
 --                   | | | +--- code changes with no API change
-version:             1.0.0.0
+version:             1.0.0.1
 tested-with:         GHC >= 8.10
 
 license:             BSD-3-Clause
@@ -40,7 +40,7 @@
 
 source-repository head
   type:                git
-  location:            https://github.com/well-typed/generics-sop
+  location:            https://github.com/Riscky/posable
 
 library
   -- Modules included in this executable, other than Main.
@@ -55,11 +55,11 @@
   -- other-extensions:
 
   -- Other library packages from which modules are imported.
-  build-depends:       base                  >= 4.15.0 && < 4.16
-                     , finite-typelits       >= 0.1.4 && < 0.2
-                     , generics-sop          >= 0.5.1 && < 0.6
-                     , template-haskell      >= 2.17.0 && < 2.18
-                     , ghc-typelits-knownnat >= 0.7.6 && < 0.8,
+  build-depends:       base                  >= 4.12.0 && < 4.17
+                     , finite-typelits       >= 0.1.4  && < 0.2
+                     , generics-sop          >= 0.4.0  && < 0.6
+                     , template-haskell      >= 2.13.0 && < 2.19
+                     , ghc-typelits-knownnat >= 0.6    && < 0.8
 
   -- Directories containing source files.
   hs-source-dirs:      src
@@ -89,8 +89,8 @@
     , base
     , ghc-typelits-knownnat
     , template-haskell
-    , tasty >= 1.4 && < 1.5
-    , tasty-hunit >= 0.10 && < 0.11
-    , tasty-quickcheck >= 0.10.2 && < 0.11
+    , tasty                 >= 1.2    && < 1.5
+    , tasty-hunit           >= 0.10   && < 0.11
+    , tasty-quickcheck      >= 0.10.1 && < 0.11
   default-language:
       Haskell2010
diff --git a/src/Generics/POSable/Instances.hs b/src/Generics/POSable/Instances.hs
--- a/src/Generics/POSable/Instances.hs
+++ b/src/Generics/POSable/Instances.hs
@@ -8,8 +8,8 @@
 -- This is needed to derive POSable for tuples of size more then 4
 {-# OPTIONS_GHC -fconstraint-solver-iterations=16 #-}
 
--- | This module contains instances of `POSable` for all Haskell prelude data types
---   as well as fixed size integers from Data.Int (`Int8`, `Int16`, `Int32` and `Int64`)
+-- | This module contains instances of `POSable` for all non-recursive prelude
+--   data types, like tuples, `Either` and `Maybe`
 module Generics.POSable.Instances (POSable) where
 
 import           Generics.POSable.POSable
@@ -17,7 +17,7 @@
 import           Language.Haskell.TH
 
 -----------------------------------------------------------------------
--- Instances for common nonrecursive Haskell datatypes
+-- Instances for non-recursive prelude data types
 deriving instance POSable Bool
 deriving instance POSable x => POSable (Maybe x)
 deriving instance (POSable l, POSable r) => POSable (Either l r)
diff --git a/src/Generics/POSable/POSable.hs b/src/Generics/POSable/POSable.hs
--- a/src/Generics/POSable/POSable.hs
+++ b/src/Generics/POSable/POSable.hs
@@ -27,9 +27,8 @@
 
 import qualified Generics.SOP                    as SOP
 
-import           GHC.Base                        (Nat)
-import           GHC.TypeLits                    (KnownNat, natVal, type (*),
-                                                  type (+))
+import           GHC.TypeLits                    (KnownNat, Nat, natVal,
+                                                  type (*), type (+))
 
 import           Data.Finite.Internal
 
diff --git a/src/Generics/POSable/TH.hs b/src/Generics/POSable/TH.hs
--- a/src/Generics/POSable/TH.hs
+++ b/src/Generics/POSable/TH.hs
@@ -1,9 +1,6 @@
 {-# LANGUAGE TemplateHaskell  #-}
 {-# LANGUAGE TypeApplications #-}
 
-
-{-# OPTIONS_GHC -ddump-splices #-}
-
 module Generics.POSable.TH (mkPOSableGround) where
 
 import           Generics.POSable.POSable
diff --git a/test/Main.hs b/test/Main.hs
--- a/test/Main.hs
+++ b/test/Main.hs
@@ -5,7 +5,6 @@
 {-# LANGUAGE TypeApplications #-}
 {-# LANGUAGE TypeFamilies     #-}
 
-{-# OPTIONS_GHC -ddump-splices #-}
 {-# OPTIONS_GHC -fplugin GHC.TypeLits.KnownNat.Solver #-}
 {-# OPTIONS_GHC -fconstraint-solver-iterations=26 #-}