Bump leios-prototype packages

Author: ch1bo

cabal.project

@@ -97,12 +97,21 @@ if impl (ghc >= 9.12)
 constraints:
     hedgehog-extras == 0.7.0.0
 
+-- Points to cardano-api/leios-prototype
+source-repository-package
+  type: git
+  location: https://github.com/IntersectMBO/cardano-api
+  tag: 419affa98ec7e5c8c28e73ebb432e9e294bd66ea
+  --sha256: sha256-uizkUBNrCWXQuSupgo3JyPAaoRZjvujqcOZ1H2VYf9s==
+  subdir:
+    cardano-api
+
 -- Points to ouroboros-consensus/leios-prototype
 source-repository-package
   type: git
   location: https://github.com/IntersectMBO/ouroboros-consensus
-  tag: f93c731d665326481cbd846b91c19e7f3b7a8fde
-  --sha256: sha256-nCYHfLPAGFNop6OuPpte05yAjGnezWN20fCbDdE5Vmk=
+  tag: c7022e997a6ebc742b91ad0388a3934430b0fcb1
+  --sha256: sha256-t/PSEO1VtpUggh1Uwwt6TyPAcyNRcZl+RRxz/hAQy7o=
   subdir:
     ouroboros-consensus
     ouroboros-consensus-cardano
@@ -112,6 +121,19 @@ source-repository-package
     sop-extras
     strict-sop-core
 
+-- Points to cardano-ledger/leios-prototype
+source-repository-package
+  type: git
+  location: https://github.com/IntersectMBO/cardano-ledger.git
+  tag: 1327573bfb86f7e596151f77d03fc38982be8749
+  --sha256: sha256-CzA6eucrpsc8WMAtG9aNP0DcGtCxghHe0HSX+Yxvcd8=
+  subdir:
+    eras/alonzo/impl
+    eras/conway/impl
+    eras/shelley/impl
+    eras/shelley/test-suite
+    libs/cardano-ledger-core
+
 -- Points to ouroboros-network/leios-prototype
 source-repository-package
   type: git