ouroboros-consensus-protocol-0.5.0.3

Synopsis

Cardano consensus protocols

Description

Cardano consensus protocols.

Author

IOHK Formal methods team

Maintainer

operations@iohk.io

License

Apache-2.0

Source
https://github.com/input-output-hk/ouroboros-consensus
Commit hash
f40712ff376b8ee65d1d3f14f285c008ea22a634
Subdir
ouroboros-consensus-protocol
Timestamp

2023-06-23T14:07:51Z

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.8 && <0.9","serialise","text"]
library protocol-testlib:
  • ["base","bytestring","cardano-crypto-class","cardano-crypto-tests","cardano-ledger-core","cardano-ledger-shelley-test","cardano-protocol-tpraos","cardano-slotting","ouroboros-consensus-protocol","QuickCheck"]