quickcheck-threatmodel-1.2.0
- Synopsis
-
- Description
-
- Author
-
Maximilian Algehed
- Maintainer
-
[email protected]
- License
-
- Source
-
-
https://github.com/input-output-hk/quickcheck-contractmodel
- Commit hash
- 7821c07e84b1676901c813f362878517e171a44d
- Subdir
- quickcheck-threatmodel
- Timestamp
-
2023-12-22T13:20:40Z
- Revisions
-
None
- Dependencies
-
- library quickcheck-threatmodel:
-
- ["base >=4.7 && <5","bytestring >=0.10.12 && <0.12","containers ^>=0.6.5.1","pretty ^>=1.1.3.6","time >=1.9.3 && <1.13","QuickCheck ^>=2.14","plutus-tx >=1.5.0 && <1.16","cardano-api >=8.36 && <8.37","cardano-strict-containers >=0.1.2 && <0.2","cardano-slotting >=0.1.1 && <0.2","cardano-ledger-binary >=1.1.1 && <1.3","cardano-ledger-allegra >=1.1.1 && <1.3","cardano-ledger-core >=1.2.0 && <1.10","cardano-ledger-shelley >=1.2.0 && <1.9","cardano-ledger-alonzo >=1.2.1 && <1.6","cardano-ledger-api >=1.2.0 && <1.8","cardano-ledger-babbage >=1.2.1 && <1.6","ouroboros-consensus >=0.7.0 && <0.15","ouroboros-consensus-cardano >=0.6.0 && <0.13","sop-extras >=0.1.0 && <0.2"]