diff --git a/random.cabal b/random.cabal
--- a/random.cabal
+++ b/random.cabal
@@ -1,6 +1,6 @@
 cabal-version:      >=1.10
 name:               random
-version:            1.2.1.1
+version:            1.2.1.2
 license:            BSD3
 license-file:       LICENSE
 maintainer:         core-libraries-committee@haskell.org
@@ -63,9 +63,7 @@
 extra-source-files:
     README.md
     CHANGELOG.md
-tested-with:         GHC == 7.10.2
-                   , GHC == 7.10.3
-                   , GHC == 8.0.2
+tested-with:         GHC == 8.0.2
                    , GHC == 8.2.2
                    , GHC == 8.4.3
                    , GHC == 8.4.4
@@ -99,7 +97,7 @@
 
     build-depends:
         base >=4.8 && <5,
-        bytestring >=0.10.4 && <0.12,
+        bytestring >=0.10.4 && <0.13,
         deepseq >=1.1 && <2,
         mtl >=2.2 && <2.4,
         splitmix >=0.1 && <0.2
@@ -119,7 +117,7 @@
         RangeTest
 
     default-language: Haskell2010
-    ghc-options:      -with-rtsopts=-M8M
+    ghc-options:      -rtsopts -with-rtsopts=-M9M
     if impl(ghc >= 8.0)
         ghc-options:
             -Wno-deprecations
@@ -135,7 +133,7 @@
     default-language: Haskell2010
     build-depends:
         base,
-        doctest >=0.15 && <0.21
+        doctest >=0.15 && <0.23
     if impl(ghc >= 8.2) && impl(ghc < 8.10)
         build-depends:
             mwc-random >=0.13 && <0.16,
@@ -162,7 +160,7 @@
         random,
         smallcheck >=1.2 && <1.3,
         stm,
-        tasty >=1.0 && <1.5,
+        tasty >=1.0 && <1.6,
         tasty-smallcheck >=0.8 && <0.9,
         tasty-hunit >=0.10 && <0.11,
         transformers
@@ -173,14 +171,12 @@
     type:             exitcode-stdio-1.0
     main-is:          Spec.hs
     hs-source-dirs:   test-inspection
-    build-depends:
-
     default-language: Haskell2010
     ghc-options:      -Wall
     build-depends:
         base,
         random,
-        tasty >=1.0 && <1.5
+        tasty >=1.0 && <1.6
     if impl(ghc >= 8.0)
         build-depends:
             tasty-inspection-testing
diff --git a/test-inspection/Spec/Inspection.hs b/test-inspection/Spec/Inspection.hs
--- a/test-inspection/Spec/Inspection.hs
+++ b/test-inspection/Spec/Inspection.hs
@@ -1,3 +1,4 @@
+{-# LANGUAGE CPP              #-}
 {-# LANGUAGE DeriveAnyClass   #-}
 {-# LANGUAGE DeriveGeneric    #-}
 {-# LANGUAGE TemplateHaskell  #-}
@@ -43,7 +44,15 @@
   [ $(inspectObligations [(`doesNotUse` 'StateGenM), hasNoGenerics, hasNoTypeClasses] 'uniform_Word8)
   , $(inspectObligations [(`doesNotUse` 'StateGenM), hasNoGenerics, hasNoTypeClasses] 'uniform_Int8)
   , $(inspectObligations [(`doesNotUse` 'StateGenM), hasNoGenerics, hasNoTypeClasses] 'uniform_Char)
-  , $(inspectObligations [(`doesNotUse` 'StateGenM), hasNoGenerics, hasNoTypeClasses] 'uniform_MyAction)
+  , $(inspectObligations [(`doesNotUse` 'StateGenM), hasNoTypeClasses] 'uniform_MyAction)
+
+#if !MIN_VERSION_base(4,17,0)
+  -- Starting from GHC 9.4 and base-4.17
+  -- 'error' :: M1 C ('MetaCons "Never" 'PrefixI 'False) ..
+  -- survives. This does not really matter, because Never is uninhabited,
+  -- but fails inspection testing.
+  , $(inspectTest $ hasNoGenerics 'uniform_MyAction)
+#endif
 
   , $(inspectObligations [(`doesNotUse` 'StateGenM), hasNoGenerics, hasNoTypeClasses] 'uniformR_Word8)
   , $(inspectObligations [(`doesNotUse` 'StateGenM), hasNoGenerics, hasNoTypeClasses] 'uniformR_Int8)