quickcheck-threatmodel-1.3.0

Synopsis

Description

Author

Maximilian Algehed

Maintainer

maximilian.algehed@quviq.com

License

Source
https://github.com/input-output-hk/quickcheck-contractmodel
Commit hash
d4123b5b94362b5bc5e3cfd642e44d0ea899670c
Subdir
quickcheck-threatmodel
Timestamp

2024-08-01T16:18:12Z

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 && <2.16","plutus-tx >=1.5.0 && <1.31","cardano-api >=9.0 && <9.2","cardano-strict-containers >=0.1.2 && <0.2","cardano-slotting >=0.1.1 && <0.3","cardano-ledger-binary >=1.1.1 && <1.4","cardano-ledger-allegra >=1.1.1 && <1.6","cardano-ledger-core >=1.2.0 && <1.14","cardano-ledger-shelley >=1.2.0 && <1.13","cardano-ledger-alonzo >=1.2.1 && <1.11","cardano-ledger-api >=1.2.0 && <1.10","cardano-ledger-babbage >=1.2.1 && <1.9","ouroboros-consensus >=0.7.0 && <0.21","ouroboros-consensus-cardano >=0.6.0 && <0.19","sop-extras >=0.1.0 && <0.3"]