quickcheck-contractmodel-0.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
8d24361898201d628032f21a744a8ef2da23213f
Subdir
quickcheck-contractmodel
Timestamp

2023-04-24T15:30:00Z

Revisions

2023-04-24T15:33:00Z

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","QuickCheck ^>=2.14","quickcheck-dynamic >=3.0.2 && <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"]