{"name":"omena-umbrella","vers":"0.2.0","deps":[{"name":"omena-abstract-value","req":"=0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"omena-bridge","req":"=0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"omena-cascade","req":"=0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"omena-categorical","req":"=0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"omena-checker","req":"=0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"omena-engine-input-producers","req":"=0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"omena-ensemble","req":"=0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"omena-incremental","req":"=0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"omena-interner","req":"=0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"omena-lawvere","req":"=0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"omena-parser","req":"=0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"omena-query","req":"=0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"omena-query-checker-orchestrator","req":"=0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"omena-query-core","req":"=0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"omena-query-transform-runner","req":"=0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"omena-refinement","req":"=0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"omena-refinement-trait","req":"=0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"omena-resolver","req":"=0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"omena-rg-flow","req":"=0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"omena-semantic","req":"=0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"omena-sif","req":"=0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"omena-smt","req":"=0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"omena-spec-audit","req":"=0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"omena-streaming-ifds","req":"=0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"omena-syntax","req":"=0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"omena-transform-bundle","req":"=0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"omena-transform-cst","req":"=0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"omena-transform-egg","req":"=0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"omena-transform-passes","req":"=0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"omena-transform-print","req":"=0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"omena-transform-target","req":"=0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"omena-variational","req":"=0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"omena-zk-audit","req":"=0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"omena-zk-circuit","req":"=0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"9807d6da68cf9cdc45a77bd10e92853eb1c901ea15e23757c94a6e336138d0ff","features":{},"yanked":false,"rust_version":"1.93","pubtime":"2026-06-03T06:33:00Z"}