diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,2 +1,6 @@
+# crypto-rng-effectful-1.0.1.0 (2026-09-17)
+* Add support for `random` >= 1.3.
+* Drop support for GHC 8.8.
+
 # crypto-rng-effectful-1.0.0.0 (2022-07-16)
 * Initial release.
diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -1,8 +1,7 @@
 # crypto-rng-effectful
 
-[![Build Status](https://github.com/haskell-effectful/crypto-rng-effectful/workflows/Haskell-CI/badge.svg?branch=master)](https://github.com/haskell-effectful/crypto-rng-effectful/actions?query=branch%3Amaster)
+[![Build Status](https://github.com/haskell-effectful/crypto-rng-effectful/actions/workflows/haskell-ci.yml/badge.svg?branch=master)](https://github.com/haskell-effectful/crypto-rng-effectful/actions?query=branch%3Amaster)
 [![Hackage](https://img.shields.io/hackage/v/crypto-rng-effectful.svg)](https://hackage.haskell.org/package/crypto-rng-effectful)
-[![Dependencies](https://img.shields.io/hackage-deps/v/crypto-rng-effectful.svg)](https://packdeps.haskellers.com/feed?needle=andrzej@rybczak.net)
 [![Stackage LTS](https://www.stackage.org/package/crypto-rng-effectful/badge/lts)](https://www.stackage.org/lts/package/resource-teffectful)
 [![Stackage Nightly](https://www.stackage.org/package/crypto-rng-effectful/badge/nightly)](https://www.stackage.org/nightly/package/crypto-rng-effectful)
 
diff --git a/crypto-rng-effectful.cabal b/crypto-rng-effectful.cabal
--- a/crypto-rng-effectful.cabal
+++ b/crypto-rng-effectful.cabal
@@ -1,7 +1,7 @@
-cabal-version:      2.4
+cabal-version:      3.0
 build-type:         Simple
 name:               crypto-rng-effectful
-version:            1.0.0.0
+version:            1.0.1.0
 license:            MIT
 license-file:       LICENSE
 category:           Crypto
@@ -12,52 +12,44 @@
 
 description:        Adaptation of the @<https://hackage.haskell.org/package/crypto-rng crypto-rng>@ library for the @<https://hackage.haskell.org/package/effectful effectful>@ ecosystem.
 
-extra-source-files:
-  CHANGELOG.md
-  README.md
+homepage:           https://github.com/haskell-effectful/crypto-rng-effectful
 
-tested-with: GHC ==8.8.4 || ==8.10.7 || ==9.0.2 || ==9.2.3 || ==9.4.1
+extra-doc-files:    CHANGELOG.md
+                  , README.md
 
+tested-with: GHC == { 8.10.7, 9.0.2, 9.2.8, 9.4.8, 9.6.7, 9.8.4, 9.10.3, 9.12.4, 9.14.1 }
+
 bug-reports: https://github.com/haskell-effectful/crypto-rng-effectful/issues
 source-repository head
   type:     git
   location: https://github.com/haskell-effectful/crypto-rng-effectful
 
 common language
-    ghc-options:        -Wall -Wcompat -Wno-unticked-promoted-constructors
+    ghc-options:        -Wall -Wcompat -Wredundant-constraints
+                        -Wno-unticked-promoted-constructors
+                        -Werror=prepositive-qualified-module
 
     default-language:   Haskell2010
 
-    default-extensions: BangPatterns
-                        ConstraintKinds
-                        DataKinds
-                        DeriveFunctor
-                        DeriveGeneric
+    default-extensions: DataKinds
                         DerivingStrategies
                         FlexibleContexts
                         FlexibleInstances
                         GADTs
                         GeneralizedNewtypeDeriving
+                        ImportQualifiedPost
                         LambdaCase
-                        MultiParamTypeClasses
-                        NoStarIsType
-                        RankNTypes
-                        RoleAnnotations
-                        ScopedTypeVariables
-                        StandaloneDeriving
-                        TupleSections
-                        TypeApplications
                         TypeFamilies
                         TypeOperators
 
 library
   import:          language
 
-  build-depends:     base            >= 4.13       && < 5
+  build-depends:     base            >= 4.14       && < 5
                    , bytestring      >= 0.10.8
                    , crypto-rng      >= 0.3        && < 0.4
-                   , effectful-core  >= 1.0.0.0    && < 1.0.1.0
-                   , random          >= 1.1        && < 1.3
+                   , effectful-core  >= 1.0.0.0    && < 3.0.0.0
+                   , random          >= 1.2        && < 1.4
 
   hs-source-dirs:  src
 
diff --git a/src/Effectful/Crypto/RNG.hs b/src/Effectful/Crypto/RNG.hs
--- a/src/Effectful/Crypto/RNG.hs
+++ b/src/Effectful/Crypto/RNG.hs
@@ -17,7 +17,7 @@
 import Crypto.RNG
 import Effectful
 import Effectful.Dispatch.Dynamic
-import qualified System.Random.Stateful as R
+import System.Random.Stateful qualified as R
 
 import Effectful.Crypto.RNG.Effect
 
diff --git a/src/Effectful/Crypto/RNG/Effect.hs b/src/Effectful/Crypto/RNG/Effect.hs
--- a/src/Effectful/Crypto/RNG/Effect.hs
+++ b/src/Effectful/Crypto/RNG/Effect.hs
@@ -2,11 +2,11 @@
 {-# OPTIONS_GHC -Wno-orphans #-}
 module Effectful.Crypto.RNG.Effect where
 
+import Crypto.RNG.Class
 import Data.ByteString (ByteString)
 import Effectful
 import Effectful.Dispatch.Dynamic
 import System.Random
-import Crypto.RNG.Class
 
 -- | Provide the ability to generate random numbers.
 data RNG :: Effect where
diff --git a/src/Effectful/Crypto/RNG/Unsafe.hs b/src/Effectful/Crypto/RNG/Unsafe.hs
--- a/src/Effectful/Crypto/RNG/Unsafe.hs
+++ b/src/Effectful/Crypto/RNG/Unsafe.hs
@@ -15,7 +15,7 @@
 import Crypto.RNG.Unsafe
 import Effectful
 import Effectful.Dispatch.Dynamic
-import qualified System.Random as R
+import System.Random qualified as R
 
 import Effectful.Crypto.RNG.Effect
 
diff --git a/tests/Utils.hs b/tests/Utils.hs
--- a/tests/Utils.hs
+++ b/tests/Utils.hs
@@ -5,7 +5,7 @@
   ) where
 
 import GHC.Stack
-import qualified Test.Tasty.HUnit as T
+import Test.Tasty.HUnit qualified as T
 
 import Effectful