plutus-metatheory-1.71.0.0

Synopsis

Command line tool for running plutus core programs

Description

Author

James Chapman

Maintainer

james.chapman@iohk.io

License

Apache-2.0

Source
https://github.com/IntersectMBO/plutus
Commit hash
261766ad1d582bce8c86bad1af7a3b0e5355b21c
Subdir
plutus-metatheory
Timestamp

2026-09-29T22:14:46Z

Revisions

None

Dependencies
library plutus-metatheory:
  • ["base","bytestring","composition-prelude","containers","deepseq","directory","extra","file-embed","filepath","mtl","optparse-applicative","plutus-core ^>=1.71","plutus-ledger-api","plutus-ledger-api:plutus-execlib","prettyprinter","serialise","text","transformers","vector ^>=0.13.2"]
executable plc-agda:
  • ["base","plutus-metatheory ^>=1.71"]
test-suite test-NEAT:
  • ["base","data-default-class","lazy-search","mtl","plutus-core ^>=1.71","plutus-core:plutus-core-testlib","plutus-metatheory ^>=1.71","tasty","tasty-hunit"]
test-suite test-integer-division:
  • ["base","plutus-core:untyped-plutus-core-testlib","plutus-metatheory ^>=1.71","tasty","tasty-quickcheck"]
test-suite test-certifier:
  • ["base","plutus-core","plutus-core:untyped-plutus-core-testlib","plutus-metatheory ^>=1.71","tasty","tasty-hunit","text"]
test-suite test-certifier-report:
  • ["base","bytestring","extra","filepath","lens","plutus-core","plutus-ledger-api","plutus-ledger-api:plutus-execlib","plutus-metatheory ^>=1.71","plutus-tx","tasty","tasty-golden","transformers"]