cardano-protocol-tpraos-0.1.1.2

Synopsis

Description

Cardano Protocol: Transitional Praos

Author

IOHK Formal Methods Team

Maintainer

formal.methods@iohk.io

License

Apache-2.0

Source
https://github.com/input-output-hk/cardano-ledger
Commit hash
760a73e89ef040d3ad91b4b0386b3bbace9431a9
Subdir
libs/cardano-protocol-tpraos
Timestamp

2022-11-14T13:25:11Z

Revisions

None

Dependencies
library cardano-protocol-tpraos:
  • ["base >=4.12 && <4.17","bytestring","cardano-binary","cardano-crypto-class","cardano-ledger-alonzo","cardano-ledger-babbage","cardano-ledger-conway","cardano-ledger-core","cardano-ledger-shelley","cardano-ledger-shelley-ma","cardano-slotting","containers","deepseq","nothunks","mtl","quiet","non-integral","set-algebra","small-steps","transformers"]