- Synopsis
-
Cardano consensus protocols
- Description
-
Cardano consensus protocols.
- Author
-
IOHK Formal methods team
- Maintainer
-
[email protected]
- License
-
Apache-2.0
- Source
-
-
https://github.com/input-output-hk/ouroboros-network
- Commit hash
- 4341989aff9006b97b8aa171a316140a91e2c277
- Subdir
- ouroboros-consensus-protocol
- Timestamp
-
2023-04-13T17:15:17Z
- Revisions
-
None
- Dependencies
-
- library ouroboros-consensus-protocol:
-
- ["base >=4.14 && <4.17","bytestring","cardano-binary","cardano-crypto-class","cardano-ledger-binary","cardano-ledger-core","cardano-ledger-shelley","cardano-protocol-tpraos","cardano-slotting","cborg","containers","mtl","nothunks","ouroboros-consensus ==0.4.0.0","serialise","text"]
- library ouroboros-consensus-protocol-test:
-
- ["base >=4.14 && <4.17","bytestring","cardano-crypto-class","cardano-crypto-tests","cardano-ledger-core","cardano-ledger-shelley-test","cardano-protocol-tpraos","cardano-slotting","ouroboros-consensus-protocol","QuickCheck"]