bump CHaP and hackage, remove ledger srp

Author: carbolymer

cabal.project

@@ -13,8 +13,8 @@ repository cardano-haskell-packages
 -- See CONTRIBUTING for information about these, including some Nix commands
 -- you need to run if you change them
 index-state:
-  , hackage.haskell.org 2025-06-22T20:18:27Z
-  , cardano-haskell-packages 2025-08-21T00:00:00Z
+  , hackage.haskell.org 2025-09-11T01:58:40Z
+  , cardano-haskell-packages 2025-09-10T20:31:08Z
 
 packages:
     cardano-api
@@ -171,41 +171,12 @@ allow-newer:
   -- , hedgehog-quickcheck:QuickCheck
   , *:QuickCheck
 
-source-repository-package
-  type: git
-  location: https://github.com/IntersectMBO/cardano-ledger
-  tag: 4edd7fd8b7101d24625c88d45c31f15e6345998e
-  --sha256: sha256-cJQIEmKeGDOkvNMm4Gmhp3l0Ikhpu/PQD9WqzSZWB68=
-  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
-    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
-
 source-repository-package
   type: git
   location: https://github.com/IntersectMBO/ouroboros-consensus
-  tag: e62e46a91e1912dede59ee48ce55bd09574ca72a
-  --sha256: sha256-up0zy9tN1+wOxFO2cD/9W69HVaZjw8+aL8jJPf7LTCw=
+  -- latest master
+  tag: 8d56cce5d995e8fc5dada4e67a418fef30cbede0
+  --sha256: sha256-vXSfWB0bue1kRM5Fy3Dqf96fhainoq7ue3d+dBVFCjY=
   subdir:
       ouroboros-consensus
       ouroboros-consensus-cardano

cardano-api/cardano-api.cabal

@@ -132,7 +132,7 @@ library
     cardano-ledger-byron >=1.2,
     cardano-ledger-conway >=1.19,
     cardano-ledger-core >=1.17 && <1.19,
-    cardano-ledger-dijkstra >= 0.1,
+    cardano-ledger-dijkstra >=0.1,
     cardano-ledger-mary >=1.8,
     cardano-ledger-shelley >=1.16,
     cardano-protocol-tpraos >=1.4,
@@ -189,7 +189,7 @@ library
     time,
     transformers,
     transformers-except ^>=0.1.3,
-    typed-protocols ^>= 1.0,
+    typed-protocols ^>=1.0,
     validation,
     vector,
     yaml,
@@ -325,8 +325,8 @@ library gen
     cardano-ledger-byron-test >=1.5,
     cardano-ledger-conway,
     cardano-ledger-core >=1.14,
-    cardano-ledger-mary,
     cardano-ledger-dijkstra >=0.1,
+    cardano-ledger-mary,
     cardano-ledger-shelley >=1.13,
     cardano-strict-containers,
     containers,
@@ -361,11 +361,11 @@ test-suite cardano-api-test
     cardano-crypto-tests ^>=2.2,
     cardano-crypto-wrapper,
     cardano-ledger-alonzo,
+    cardano-ledger-api >=1.11,
     cardano-ledger-binary,
     cardano-ledger-conway,
     cardano-ledger-core >=1.14,
     cardano-ledger-mary,
-    cardano-ledger-api >=1.11,
     cardano-protocol-tpraos,
     cardano-slotting,
     cborg,
@@ -434,16 +434,16 @@ test-suite cardano-api-golden
     cardano-crypto-class ^>=2.2.1,
     cardano-data >=1.0,
     cardano-ledger-alonzo,
+    cardano-ledger-api >=1.11,
     cardano-ledger-binary,
     cardano-ledger-core >=1.14,
     cardano-ledger-shelley,
-    cardano-ledger-api >=1.11,
     cardano-protocol-tpraos,
     containers,
     errors,
     filepath,
     hedgehog >=1.1,
-    hedgehog-extras ^>=0.8,
+    hedgehog-extras ^>=0.10,
     microlens,
     plutus-core ^>=1.52,
     plutus-ledger-api,

cardano-wasm/cardano-wasm.cabal

@@ -85,7 +85,7 @@ test-suite cardano-wasm-golden
     build-depends:
       filepath,
       hedgehog >=1.1,
-      hedgehog-extras ^>=0.8,
+      hedgehog-extras ^>=0.10,
       tasty,
       tasty-hedgehog,