quickcheck-contractmodel-0.1.6.0

Synopsis

Description

Author

Maximilian Algehed

Maintainer

maximilian.algehed@quviq.com

License

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

2023-12-22T13:20:40Z

Revisions

None

Dependencies
library quickcheck-contractmodel:
  • ["base >=4.7 && <5","containers ^>=0.6.5.1","lens ^>=5.0 || ^>=5.1 || ^>=5.2","mmorph ^>=1.2","mtl >=2.2.2 && <2.4","pretty ^>=1.1.3.6","barbies ^>=2.0.4.0","QuickCheck ^>=2.14","quickcheck-dynamic >=3.2.0 && <3.4","quickcheck-threatmodel","cardano-api >=8.36 && <8.37","cardano-ledger-core >=1.2.0 && <1.10","cardano-ledger-shelley >=1.2.0 && <1.9"]