@cardano cardano-ledger-shelley0.1.0.0

Categories
License
Apache-2.0
Maintainer
formal.methods@iohk.io
Links
Versions
- 1.16.0.0 Fri, 21 Mar 2025
- 1.15.0.0 Fri, 13 Dec 2024
- 1.14.1.0 Mon, 14 Oct 2024
- 1.14.0.0 Wed, 9 Oct 2024
- 1.13.1.0 Sun, 1 Sep 2024
- 1.13.0.0 Tue, 20 Aug 2024

Installation
In your cabal file:
Dependencies (30)
- base >=4.12 && <4.15
- bytestring
- containers
- deepseq
- mtl
- text
Dependents (38)
@cardano/cardano-node-socket-emulator, @cardano/marlowe-chain-sync, @cardano/quickcheck-threatmodel, @cardano/ouroboros-consensus-cardano-tools, @cardano/plutus-ledger, @cardano/ouroboros-consensus-shelley, Show all…

Shelley Ledger Executable Model