cardano-ledger-babbage-0.1.1.2
- Synopsis
-
TODO
- Description
-
TODO
- 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
- eras/babbage/impl
- Timestamp
-
2022-11-14T13:25:11Z
- Revisions
-
None
- Dependencies
-
- library cardano-ledger-babbage:
-
- ["base >=4.12 && <4.17","bytestring","cardano-binary","cardano-crypto-class","cardano-data","cardano-ledger-alonzo","cardano-ledger-core","cardano-ledger-shelley","cardano-ledger-shelley-ma","cardano-slotting","containers","data-default","deepseq","microlens","nothunks","plutus-ledger-api ^>=1.1","set-algebra","small-steps","cardano-strict-containers","text","transformers","validation-selective"]