Add SRPs

cabal.project

@@ -14,11 +14,74 @@ repository cardano-haskell-packages
 -- you need to run if you change them
 index-state:
   , hackage.haskell.org 2024-05-02T11:03:23Z
-  , cardano-haskell-packages 2024-05-03T12:56:13Z
+  , cardano-haskell-packages 2024-05-08T00:00:00Z
 
 packages:
   cardano-cli
 
+source-repository-package
+  type: git
+  location: https://github.com/IntersectMBO/cardano-ledger
+  tag: 15afd0483d81f281018cf7d42629ed561845bc86
+  --sha256: sha256-1YX3tq2+poqQULTccLh8oaKRWAlsaimtQVXDAmv1O+U=
+  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
+
+source-repository-package
+  type: git
+  location: https://github.com/IntersectMBO/ouroboros-network
+  tag: 821feaa29b9f82d1364345348b304484bc189283
+  --sha256: sha256-yQEj74pnTVJQeeHNRr5ejW1KSKp89OFbNROtOdthG/o=
+  subdir: ouroboros-network
+          ouroboros-network-api
+          ouroboros-network-framework
+          ouroboros-network-protocols
+          quickcheck-monoids
+
+source-repository-package
+  type: git
+  location: https://github.com/IntersectMBO/ouroboros-consensus
+  tag: 3f873d650ce079796296ada20f117cf8f39e7462
+  --sha256: sha256-H+pxQgS4NKUQXb/TOX3r+K9fV6EW2ueAP9C80e83ir0=
+  subdir: ouroboros-consensus
+          ouroboros-consensus-cardano
+          ouroboros-consensus-protocol
+          ouroboros-consensus-diffusion
+          sop-extras
+          strict-sop-core
+
+source-repository-package
+  type: git
+  location: https://github.com/IntersectMBO/cardano-api
+  tag: 5d64c9e475a34a0d64310f774705e1489672ce1f
+  --sha256: sha256-XO6yqSu7+MGuhXTlBBzlMbZLxR43O2TKoJD/nzCQ3j4=
+  subdir: cardano-api
+          cardano-api-gen
+
 program-options
   ghc-options: -Werror
 
@@ -40,4 +103,4 @@ 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.
+-- temporary! Please read the section in CONTRIBUTING about updating dependencies.