quickcheck-contractmodel-0.1.4.0

Synopsis

Description

Author

Maximilian Algehed

Maintainer

maximilian.algehed@quviq.com

License

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

2023-04-24T20:02:26Z

Revisions

None

Dependencies
library quickcheck-contractmodel:
  • ["base >=4.7 && <5","bytestring ^>=0.10.12","containers ^>=0.6.5.1","lens ^>=5.0 || ^>=5.1 || ^>=5.2","mmorph ^>=1.2","mtl ^>=2.2.2","pretty ^>=1.1.3.6","time ^>=1.9.3","barbies ^>=2.0.4.0","QuickCheck ^>=2.14","quickcheck-dynamic ^>=3.1.0","plutus-tx ^>=1.0","cardano-api ^>=1.35.4","cardano-ledger-core ^>=0.1","cardano-ledger-alonzo ^>=0.1","cardano-ledger-shelley ^>=0.1","cardano-ledger-shelley-ma ^>=0.1","cardano-ledger-babbage ^>=0.1","cardano-slotting ^>=0.1","ouroboros-consensus ^>=0.1.0.1","ouroboros-consensus-cardano ^>=0.1.0.1","strict-containers ^>=0.1"]