plutus-metatheory-1.50.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
3e0504c181c0a14df67a3363c000f91002ff9a60
Subdir
plutus-metatheory
Timestamp

2025-07-22T10:42:20Z

Revisions

None

Dependencies
library plutus-metatheory:
  • ["aeson","base","bytestring","composition-prelude","directory","extra","filepath","ghc-prim","ieee754","megaparsec","memory","mtl","optparse-applicative","plutus-core ^>=1.50","plutus-core:plutus-core-execlib","process","text","time","transformers","vector"]
executable plc-agda:
  • ["base","plutus-metatheory ^>=1.50"]
test-suite test-NEAT:
  • ["base","data-default-class","lazy-search","mtl","plutus-core ^>=1.50","plutus-core:plutus-core-testlib","plutus-metatheory ^>=1.50","size-based","Stream","tasty","tasty-hunit"]
test-suite test-certifier:
  • ["base","filepath","plutus-core","plutus-core:plutus-core-testlib","plutus-core:untyped-plutus-core-testlib","plutus-metatheory ^>=1.50","process","tasty","tasty-hunit","text"]