Bump kes-agent SRP to remove SerDoc dependency

Author: fraser-iohk

cabal.project

@@ -36,7 +36,6 @@ import: ./asserts.cabal
 
 allow-newer:
     serdoc-core:tasty-quickcheck
-  , kes-agent:base
 
 package ouroboros-network
   -- Certain ThreadNet tests rely on transactions to be submitted promptly after
@@ -74,7 +73,7 @@ if impl (ghc >= 9.12)
 source-repository-package
   type: git
   location: https://github.com/input-output-hk/kes-agent
-  tag: a212f98b9bc567ebf3c8472e62f28450990f7821
-  --sha256: sha256-b/6L3WqQ+fY1K6uBJVeoOTE4RAc3SUc72qZtXO0DAfE=
+  tag: 07437ed49022b13759c87c4e314f08fcff64b81a
+  --sha256: sha256-oTsxaFAs1c/H0oYLhiivO5mr48oHNsPi5k2XyXxwCJg=
   subdir:
       kes-agent

ouroboros-consensus-cardano/ouroboros-consensus-cardano.cabal

@@ -162,7 +162,6 @@ library
     ouroboros-consensus ^>=0.26,
     ouroboros-consensus-protocol ^>=0.12,
     ouroboros-network-api ^>=0.13,
-    serdoc-core,
     serialise ^>=0.2,
     singletons ^>=3.0,
     small-steps,

ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Node/TPraos.hs

@@ -49,7 +49,6 @@ import           Cardano.Slotting.Time (mkSlotLength)
 import           Control.Monad.Except (Except)
 import qualified Control.Tracer as Tracer
 import           Data.Bifunctor (first)
-import qualified Data.SerDoc.Class as SerDoc
 import qualified Data.Text as T
 import qualified Data.Text as Text
 import           Lens.Micro ((^.))
@@ -173,8 +172,6 @@ protocolInfoShelley ::
       , ShelleyCompatible (TPraos c) ShelleyEra
       , TxLimits (ShelleyBlock (TPraos c) ShelleyEra)
       , MonadKESAgent m
-      , SerDoc.HasInfo (Agent.DirectCodec m) (KES.VerKeyKES (KES c))
-      , SerDoc.HasInfo (Agent.DirectCodec m) (KES.SignKeyKES (KES c))
       )
   => SL.ShelleyGenesis
   -> ProtocolParamsShelleyBased c

ouroboros-consensus-protocol/ouroboros-consensus-protocol.cabal

@@ -86,7 +86,6 @@ library
     ouroboros-consensus >=0.23 && <0.27,
     ouroboros-network-framework ^>=0.17,
     ouroboros-network-testing ^>=0.8,
-    serdoc-core,
     serialise,
     text,
 

ouroboros-consensus-protocol/src/ouroboros-consensus-protocol/Ouroboros/Consensus/Protocol/Praos/AgentClient.hs

@@ -41,7 +41,6 @@ import           Control.Monad.IOSim
 import           Control.Tracer
 import           Data.Coerce (coerce)
 import           Data.Kind
-import           Data.SerDoc.Class as SerDoc
 import           Data.Typeable
 import           Network.Socket
 import           Ouroboros.Consensus.Util.IOLike
@@ -54,8 +53,6 @@ import           Test.Ouroboros.Network.Data.AbsBearerInfo as ABI
 type KESAgentContext c m =
       ( AgentCrypto c
       , MonadKESAgent m
-      , SerDoc.HasInfo (Agent.DirectCodec m) (VerKeyKES (KES c))
-      , SerDoc.HasInfo (Agent.DirectCodec m) (SignKeyKES (KES c))
       , IOLike m
       )