Add ouroboros-network and ouroboros-consensus SRPs for the Leios 202511 Demo

NOTE:
- Tests and benchmarks fail to build, and that's ok

Author: bladyjoker

cabal.project

@@ -97,18 +97,34 @@ if impl (ghc >= 9.12)
 constraints:
     hedgehog-extras == 0.7.0.0
 
-
-
-
 source-repository-package
   type: git
   location: https://github.com/IntersectMBO/ouroboros-consensus
-  tag: 045b3e39458d9ae077d3134858cedac70cfac8ba
-  --sha256: sha256-+M8WFkZY6qIxCUraqTc/9w+pphYqVOpnjIpXZeEZOpY=
+  tag: fe40068d881db59df3cb4be0cfd5a564a75bfabb
+  --sha256: sha256-qxj529w4d8dkpS5Kyv8aAAPu+hCQqtFvqpiJJxQ/BFE=
   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/ouroboros-network.git
+  tag: 7e0069f85d973cfa665e1c3d0963ece269fb68e0
+  --sha256: sha256-D85sAsK4Z9yyGll1rGILzuGw/xarzRDxZvOzgeHOjv4=
+  subdir:
+    cardano-ping
+    monoidal-synchronisation
+    quickcheck-monoids
+    network-mux
+    ouroboros-network
+    ouroboros-network-api
+    ouroboros-network-framework
+    ouroboros-network-mock
+    ouroboros-network-protocols
+    ouroboros-network-testing
+    ntp-client
+    cardano-client