Home
All packages
All package versions
quickcheck-contractmodel-0.1.4.1
Synopsis
Description
Author
Maximilian Algehed
Maintainer
maximilian.algehed@quviq.com
License
Source
https://github.com/input-output-hk/quickcheck-contractmodel
Commit hash
97252cfb352351ba1ade544c2c1c9000c558a6d8
Subdir
quickcheck-contractmodel
Timestamp
2023-05-09T08:38:54Z
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"]