quickcheck-contractmodel-0.1.4.1
- Synopsis
-
- Description
-
- Author
-
Maximilian Algehed
- Maintainer
-
[email protected]
- 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"]