cabal project clean-up for release (#1675)

- Removes the ledger SRP from cabal.project
- Removes the plutus-related constraints from cabal.project
- Removes allow-newer for QuickCheck from cabal.project
- Use explicit imports rather than `hiding` to support QuickCheck-2.15
without `-wdodgy-imports` firing

Author: fraser-iohk

cabal.project

@@ -14,9 +14,9 @@ repository cardano-haskell-packages
 -- update either of these.
 index-state:
   -- Bump this if you need newer packages from Hackage
-  , hackage.haskell.org 2025-08-05T11:23:47Z
+  , hackage.haskell.org 2025-09-11T01:58:40Z
   -- Bump this if you need newer packages from CHaP
-  , cardano-haskell-packages 2025-08-21T09:41:03Z
+  , cardano-haskell-packages 2025-09-10T20:31:08Z
 
 packages:
   ouroboros-consensus
@@ -49,44 +49,3 @@ if impl (ghc >= 9.12)
   allow-newer:
     -- https://github.com/kapralVV/Unique/issues/11
     , Unique:hashable
-
-allow-newer:
-    -- https://github.com/phadej/vec/issues/121
-    , ral:QuickCheck
-    , fin:QuickCheck
-    , bin:QuickCheck
-
-source-repository-package
-  type: git
-  location: https://github.com/IntersectMBO/cardano-ledger
-  tag: faa7a9dc347697b11d4da5b7818b1731e11aeeef
-  --sha256: sha256-RvnNYY76OhRuC/uP5Lr+HLEKWyMHCWxx+10HlPrH6mQ=
-  subdir:
-    eras/allegra/impl
-    eras/alonzo/impl
-    eras/alonzo/test-suite
-    eras/babbage/impl
-    eras/byron/chain/executable-spec
-    eras/byron/crypto
-    eras/byron/ledger/executable-spec
-    eras/byron/ledger/impl
-    eras/conway/impl
-    eras/dijkstra/impl
-    eras/mary/impl
-    eras/shelley/impl
-    eras/shelley-ma/test-suite
-    eras/shelley/test-suite
-    libs/cardano-data
-    libs/cardano-ledger-api
-    libs/cardano-ledger-binary
-    libs/cardano-ledger-core
-    libs/cardano-protocol-tpraos
-    libs/non-integral
-    libs/set-algebra
-    libs/small-steps
-    libs/vector-map
-
-constraints:
-  plutus-core < 1.51,
-  plutus-ledger-api < 1.51,
-  plutus-tx < 1.51,

flake.lock

@@ -59,7 +59,7 @@ import Test.Consensus.Byron.Generators ()
 import Test.Consensus.Protocol.Serialisation.Generators ()
 import Test.Consensus.Shelley.Generators
 import Test.Consensus.Shelley.MockCrypto (CanMock)
-import Test.QuickCheck hiding (Some (..))
+import Test.QuickCheck (Arbitrary (..), Gen, choose, elements, frequency, oneof, vectorOf)
 import Test.Util.Orphans.Arbitrary ()
 import Test.Util.Serialisation.Roundtrip
   ( Coherent (..)

ouroboros-consensus-cardano/src/unstable-cardano-testlib/Test/Consensus/Cardano/Generators.hs

@@ -56,9 +56,23 @@ import Ouroboros.Consensus.HardFork.History.Util
 import Ouroboros.Consensus.Ledger.Tables.Combinators (K2 (..))
 import Ouroboros.Consensus.Util (Some (..), repeatedly, splits)
 import Test.Consensus.HardFork.Infra
-import Test.QuickCheck hiding (Some (..))
+import Test.QuickCheck
+  ( Arbitrary (..)
+  , Gen
+  , Property
+  , choose
+  , conjoin
+  , counterexample
+  , elements
+  , oneof
+  , property
+  , shrinkList
+  , sized
+  , tabulate
+  , (===)
+  )
 import Test.Tasty
-import Test.Tasty.QuickCheck hiding (Some (..))
+import Test.Tasty.QuickCheck (testProperty)
 import Test.Util.QuickCheck
 
 tests :: TestTree

ouroboros-consensus/test/consensus-test/Test/Consensus/HardFork/Forecast.hs

@@ -89,7 +89,7 @@ import qualified Test.QuickCheck as QC
 import qualified Test.QuickCheck.Monadic as QC
 import Test.QuickCheck.StateModel
 import Test.Tasty
-import Test.Tasty.QuickCheck hiding (Some (..))
+import Test.Tasty.QuickCheck (frequency, tabulate, testProperty)
 import Test.Util.TestBlock hiding
   ( TestBlock
   , TestBlockCodecConfig