Add SRPs and update index-state

`cardano-ledger` requires `plutus-ledger-api ^>=1.25.0`,
hence the `index-state` update

cabal.project

@@ -16,7 +16,7 @@ index-state:
   -- Bump this if you need newer packages from Hackage
   , hackage.haskell.org 2024-03-26T06:28:59Z
   -- Bump this if you need newer packages from CHaP
-  , cardano-haskell-packages 2024-04-05T13:36:27Z
+  , cardano-haskell-packages 2024-04-08T13:36:27Z
 
 packages:
   ouroboros-consensus
@@ -26,6 +26,61 @@ packages:
   sop-extras
   strict-sop-core
 
+source-repository-package
+  type: git
+  location: [email protected]:IntersectMBO/cardano-ledger.git
+  tag: d04f0f406077dab2fa4772c8f6231c02aca2bbe0
+  --sha256: sha256-mJTPT+KDCVUQcM5rXQ30bwHkNmLDyyXl8dFf8fYJ7j4=
+  subdir: eras/allegra/impl
+    eras/alonzo/impl
+    eras/alonzo/test-suite
+    eras/babbage/impl
+    eras/babbage/test-suite
+    eras/conway/impl
+    eras/conway/test-suite
+    eras/mary/impl
+    eras/shelley/impl
+    eras/shelley/test-suite
+    eras/shelley-ma/test-suite
+    libs/cardano-ledger-api
+    libs/cardano-ledger-core
+    libs/cardano-ledger-binary
+    libs/cardano-protocol-tpraos
+    libs/non-integral
+    libs/small-steps
+    libs/cardano-data
+    libs/set-algebra
+    libs/vector-map
+    eras/byron/chain/executable-spec
+    eras/byron/ledger/executable-spec
+    eras/byron/ledger/impl
+    eras/byron/ledger/impl/test
+    eras/byron/crypto
+    eras/byron/crypto/test
+    -- Packages used during development and are not released to CHaPs:
+    -- libs/cardano-ledger-conformance
+    -- libs/cardano-ledger-test
+    -- libs/plutus-preprocessor
+    -- libs/ledger-state
+    -- libs/constrained-generators
+
+source-repository-package
+  type: git
+  location: [email protected]:IntersectMBO/ouroboros-network.git
+  tag: eb6ac9aa088aa3763e1163824a405fbb21303eb4
+  --sha256: sha256-KZAxb6Lf9++JtoOTkapvCMpQOwz97zkOO30Bu8Asuak=
+  subdir: cardano-ping
+          monoidal-synchronisation
+          network-mux
+          ouroboros-network
+          ouroboros-network-api
+          ouroboros-network-framework
+          ouroboros-network-mock
+          ouroboros-network-protocols
+          ouroboros-network-testing
+          ntp-client
+          cardano-client
+
 -- We want to always build the test-suites and benchmarks
 tests: true
 benchmarks: true