From b517214053b04dbe27ed2a85311c3d5d5537ba79 Mon Sep 17 00:00:00 2001
From: Nicolas Frisby <nick.frisby@iohk.io>
Date: Tue, 8 Aug 2023 16:24:42 -0700
Subject: [PATCH] DONOTMERGE: add s-r-p for ledger and consensus

---
 cabal.project                                 | 47 +++++++++++++++++++
 .../Api/Governance/Actions/VotingProcedure.hs |  6 +--
 .../internal/Cardano/Api/Query/Types.hs       |  2 +-
 3 files changed, 51 insertions(+), 4 deletions(-)

diff --git a/cabal.project b/cabal.project
index d4c47fd019..da666b05c7 100644
--- a/cabal.project
+++ b/cabal.project
@@ -41,3 +41,50 @@ write-ghc-environment-files: always
 -- IMPORTANT
 -- Do NOT add more source-repository-package stanzas here unless they are strictly
 -- temporary! Please read the section in CONTRIBUTING about updating dependencies.
+
+source-repository-package
+  type: git
+  location: https://github.com/input-output-hk/cardano-ledger
+  tag: bf2dc0fdde313723b4f7a35362839920670e67ea
+  subdir:
+    eras/allegra/impl
+    eras/alonzo/impl
+    eras/alonzo/test-suite
+    eras/babbage/impl
+    eras/babbage/test-suite
+    eras/byron/chain/executable-spec
+    eras/byron/crypto
+    eras/byron/crypto/test
+    eras/byron/ledger/executable-spec
+    eras/byron/ledger/impl
+    eras/byron/ledger/impl/test
+    eras/conway/impl
+    eras/conway/test-suite
+    eras/mary/impl
+    eras/shelley-ma/test-suite
+    eras/shelley/impl
+    eras/shelley/test-suite
+    libs/cardano-data
+    libs/cardano-ledger-api
+    libs/cardano-ledger-binary
+    libs/cardano-ledger-core
+    libs/cardano-ledger-pretty
+    libs/cardano-ledger-test
+    libs/cardano-protocol-tpraos
+    libs/ledger-state
+    libs/non-integral
+    libs/plutus-preprocessor
+    libs/set-algebra
+    libs/small-steps-test
+    libs/small-steps
+    libs/vector-map
+
+source-repository-package
+  type: git
+  location: https://github.com/input-output-hk/ouroboros-consensus
+  tag: 2d4e4eeee1d9821788c9db9ecbe55d25834c4eff
+  subdir:
+      ouroboros-consensus
+      ouroboros-consensus-cardano
+      ouroboros-consensus-diffusion
+      ouroboros-consensus-protocol
diff --git a/cardano-api/internal/Cardano/Api/Governance/Actions/VotingProcedure.hs b/cardano-api/internal/Cardano/Api/Governance/Actions/VotingProcedure.hs
index b2fb25a4f2..64e31ed421 100644
--- a/cardano-api/internal/Cardano/Api/Governance/Actions/VotingProcedure.hs
+++ b/cardano-api/internal/Cardano/Api/Governance/Actions/VotingProcedure.hs
@@ -60,7 +60,7 @@ deriving instance Show (TxVotes era)
 deriving instance Eq (TxVotes era)
 
 newtype GovernanceActionId ledgerera = GovernanceActionId
-  { unGovernanceActionId :: Ledger.GovernanceActionId (EraCrypto ledgerera)
+  { unGovernanceActionId :: Ledger.GovActionId (EraCrypto ledgerera)
   }
   deriving (Show, Eq, Ord)
 
@@ -72,9 +72,9 @@ makeGoveranceActionId
 makeGoveranceActionId sbe txid govix =
   shelleyBasedEraConstraints sbe
       $ GovernanceActionId
-      $ Ledger.GovernanceActionId
+      $ Ledger.GovActionId
           { Ledger.gaidTxId = toShelleyTxId txid
-          , Ledger.gaidGovActionIx = Ledger.GovernanceActionIx govix
+          , Ledger.gaidGovActionIx = Ledger.GovActionIx govix
           }
 
 -- TODO: Conway era -
diff --git a/cardano-api/internal/Cardano/Api/Query/Types.hs b/cardano-api/internal/Cardano/Api/Query/Types.hs
index 1d6e68f44e..b90d787f4a 100644
--- a/cardano-api/internal/Cardano/Api/Query/Types.hs
+++ b/cardano-api/internal/Cardano/Api/Query/Types.hs
@@ -38,7 +38,7 @@ data DebugLedgerState era where
 instance
     ( Typeable era
     , Core.EraTxOut (ShelleyLedgerEra era)
-    , Core.EraGovernance (ShelleyLedgerEra era)
+    , Core.EraGov (ShelleyLedgerEra era)
     , DecCBOR (Shelley.StashedAVVMAddresses (ShelleyLedgerEra era))
     ) => FromCBOR (DebugLedgerState era) where
   fromCBOR = DebugLedgerState <$>