Update dependency on cardano-ledger-specs

The ledger state format changed because of
IntersectMBO/cardano-ledger#1968 The decoder is
backwards-compatible, so the ledger doesn't break binary compatibility.

The other visible change is
IntersectMBO/cardano-ledger#1966

cabal.project

@@ -152,8 +152,8 @@ source-repository-package
 source-repository-package
  type: git
  location: https://github.com/input-output-hk/cardano-ledger-specs
- tag: f1b1a0c3832aa3edffecebd744acd978d5d6611e
- --sha256: 0zm3l434dkf6z0nb78iak4s9ppycqnl4f7nridkv0l0q9ahwzbk8
+ tag: 8d836e61bb88bda4a6a5c00694735928390067a1
+ --sha256: 0jpdz2294k5q8c90hbg7s808ypglar94j1rm2x81h69ilsp5g3j3
  subdir:
  byron/chain/executable-spec
  byron/crypto

ouroboros-consensus-shelley-test/ouroboros-consensus-shelley-test.cabal

@@ -47,6 +47,7 @@ library
  -- cardano-ledger-specs
  , shelley-spec-ledger
  , shelley-spec-ledger-test
+ , small-steps
 
  , ouroboros-network
  , ouroboros-consensus

ouroboros-consensus-shelley-test/src/Test/Consensus/Shelley/Generators.hs

@@ -38,7 +38,9 @@ import Test.Util.Serialisation.Roundtrip (SomeResult (..),
 
 import Test.Consensus.Shelley.MockCrypto (CanMock)
 import Test.Shelley.Spec.Ledger.ConcreteCryptoTypes as SL
-import Test.Shelley.Spec.Ledger.Serialisation.Generators (genPParams)
+import Test.Shelley.Spec.Ledger.Serialisation.EraIndepGenerators
+ (genPParams)
+import Test.Shelley.Spec.Ledger.Serialisation.Generators ()
 
 {-------------------------------------------------------------------------------
  Generators

ouroboros-consensus-shelley-test/src/Test/Consensus/Shelley/MockCrypto.hs

@@ -18,14 +18,14 @@ import Cardano.Crypto.DSIGN (MockDSIGN)
 import Cardano.Crypto.Hash (HashAlgorithm)
 import Cardano.Crypto.KES (MockKES)
 
-import  Cardano.Ledger.Core (Value)
+import qualified Cardano.Ledger.Core as Core
 import Cardano.Ledger.Crypto (Crypto (..))
-import Cardano.Ledger.Torsor (Delta)
+import Control.State.Transition.Extended (PredicateFailure)
 import qualified Shelley.Spec.Ledger.API as SL
+import qualified Shelley.Spec.Ledger.Tx as SL (ValidateScript)
 
 import Test.Cardano.Crypto.VRF.Fake (FakeVRF)
 import qualified Test.Shelley.Spec.Ledger.ConcreteCryptoTypes as SL (Mock)
-import qualified Test.Shelley.Spec.Ledger.Utils as SL (ShelleyTest)
 
 import Ouroboros.Consensus.Shelley.Eras (EraCrypto, ShelleyBasedEra,
  ShelleyEra)
@@ -57,9 +57,9 @@ type Block h = ShelleyBlock (MockShelley h)
 type CanMock era =
  ( ShelleyBasedEra era
  , SL.Mock (EraCrypto era)
-  -- TODO #2677 the generators in the ledger impose this constraint
- , SL.ShelleyTest era
- , Arbitrary (SL.WitnessSet era)
- , Arbitrary (Value era)
- , Arbitrary (Delta (Value era))
+ , SL.ValidateScript era
+ , Arbitrary (Core.TxBody era)
+ , Arbitrary (Core.Value era)
+ , Arbitrary (Core.Script era)
+ , Arbitrary (PredicateFailure (SL.UTXOW era))
  )