Skip to content

Commit 068072c

Browse files
committed
Update Consensus SRP to tip of PR 2132 (EB announcements)
1 parent b64debb commit 068072c

1 file changed

Lines changed: 13 additions & 4 deletions

File tree

cabal.project

Lines changed: 13 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -84,12 +84,21 @@ allow-newer:
8484
-- Do NOT add more source-repository-package stanzas here unless they are strictly
8585
-- temporary! Please read the section in CONTRIBUTING about updating dependencies.
8686

87-
-- Points to ouroboros-consensus/leios-prototype
87+
-- Points to patch on top of ouroboros-consensus/leios-prototype
8888
source-repository-package
8989
type: git
90-
location: https://github.com/IntersectMBO/ouroboros-consensus.git
91-
tag: e790deca75b4f72e57a1e36c2775bf4111220450
92-
--sha256: sha256-W64c1D44drtWNnUI6Nq5YP6X2LhRNEiJu1MM+d+Rp2s=
90+
location: https://github.com/IntersectMBO/ouroboros-consensus
91+
tag: 827e0834be99bba5ce7d23ac69a2a2e3b7d4cf0d
92+
--sha256: sha256-pcHxPYElb9cmAq4mdxvG8sPbo2WcfceLkPiNFZnZv8I=
93+
94+
-- Points to nfrisby-pr93-lookahead-merge-commit tag
95+
source-repository-package
96+
type: git
97+
location: https://github.com/IntersectMBO/typed-protocols
98+
tag: 9b4627221ae5d649f2303c6926a8dba3f9934658
99+
--sha256: sha256-55skVYIR0WjXMwJEirLgF0HFHUpFLBppuV9gvTWqoOI=
100+
subdir:
101+
typed-protocols
93102

94103
-- Points to ouroboros-ledger/leios-prototype
95104
source-repository-package

0 commit comments

Comments
 (0)