byron-spec-ledger-1.1.0.2

Synopsis

Executable specification of Cardano ledger

Description

Author

IOHK

Maintainer

operations@iohk.io

License

Apache-2.0

Source
https://github.com/IntersectMBO/cardano-ledger
Commit hash
f649f9751074d2ab3de033fc3912f29c9862c1f5
Subdir
eras/byron/ledger/executable-spec
Timestamp

2026-07-29T17:00:01Z

Revisions

None

Dependencies
library byron-spec-ledger:
  • ["Unique >=0.4.7.6","base >=4.18 && <5","bimap >=0.4 && <0.6","bytestring","cardano-crypto-class","cardano-ledger-binary >=1.0","containers","crypton","hashable","hedgehog >=1.0.4","microlens >=0.5","microlens-th","nothunks","small-steps:{small-steps,testlib} >=1.1"]
test-suite byron-spec-ledger-test:
  • ["Unique","base","bimap","byron-spec-ledger","containers","hedgehog","microlens","microlens-th","small-steps:{small-steps,testlib} >=1.1","tasty","tasty-hedgehog","tasty-hunit"]