quickcheck-contractmodel-0.1.5.0
- Synopsis
-
- Description
-
- Author
-
Maximilian Algehed
- Maintainer
-
[email protected]
- License
-
- Source
-
-
https://github.com/input-output-hk/quickcheck-contractmodel
- Commit hash
- d60edefb7fb3ddb1519c39dd4857830231b15561
- Subdir
- quickcheck-contractmodel
- Timestamp
-
2023-09-19T11:06:08Z
- 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","pretty ^>=1.1.3.6","barbies ^>=2.0.4.0","QuickCheck ^>=2.14","quickcheck-dynamic ^>=3.2.0","quickcheck-threatmodel","cardano-api >=8.2.0 && <8.9","cardano-ledger-core >=1.2.0 && <1.5","cardano-ledger-shelley >=1.2.0 && <1.5"]