nodeCabal: add cardano-protocol-tpraos from ledger srp

johnalotoski · johnalotoski · commit eb769c255ed7 · 2026-04-21T16:16:05.000-05:00
diff --git a/cabal.project b/cabal.project
@@ -142,6 +142,7 @@ source-repository-package
     eras/shelley/impl
     eras/shelley/test-suite
     libs/cardano-ledger-core
+    libs/cardano-protocol-tpraos
 
 -- Points to ouroboros-network/leios-prototype
 source-repository-package
