Home
All packages
All package versions
quickcheck-contractmodel-0.1.7.0
Synopsis
Description
Author
Maximilian Algehed
Maintainer
maximilian.algehed@quviq.com
License
Source
https://github.com/input-output-hk/quickcheck-contractmodel
Commit hash
d4123b5b94362b5bc5e3cfd642e44d0ea899670c
Subdir
quickcheck-contractmodel
Timestamp
2024-08-01T16:18:12Z
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 && <2.4","pretty ^>=1.1.3.6","barbies ^>=2.0.4.0","QuickCheck >=2.14 && <2.16","quickcheck-dynamic >=3.2.0 && <3.5","quickcheck-threatmodel","cardano-api >=9.0 && <9.2","cardano-ledger-core >=1.2.0 && <1.14","cardano-ledger-shelley >=1.2.0 && <1.13"]