quickcheck-contractmodel-0.1.2.0

Synopsis

Description

Author

Maximilian Algehed

Maintainer

maximilian.algehed@quviq.com

License

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

2023-02-24T06:30:00Z

Revisions

2023-03-21T14:40:22Z

Dependencies
library quickcheck-contractmodel:
  • ["base >=4.7 && <5","bytestring ^>=0.10.12","containers ^>=0.6.5.1","lens ^>=5.2","mmorph ^>=1.2","mtl ^>=2.2.2","pretty ^>=1.1.3.6","time ^>=1.9.3","QuickCheck ^>=2.14","quickcheck-dynamic >=3.0.2","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"]