version = 4
[[package]]
name = "omena-refinement-trait"
version = "0.3.0"
dependencies = [
"serde",
]
[[package]]
name = "proc-macro2"
version = "1.0.106"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "8fd00f0bb2e90d81d1044c2b32617f68fcb9fa3bb7640c23e9c748e53fb30934"
dependencies = [
"unicode-ident",
]
[[package]]
name = "quote"
version = "1.0.45"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "41f2619966050689382d2b44f664f4bc593e129785a36d6ee376ddf37259b924"
dependencies = [
"proc-macro2",
]
[[package]]
name = "serde"
version = "1.0.228"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "9a8e94ea7f378bd32cbbd37198a4a91436180c5bb472411e48b5ec2e2124ae9e"
dependencies = [
"serde_core",
"serde_derive",
]
[[package]]
name = "serde_core"
version = "1.0.228"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "41d385c7d4ca58e59fc732af25c3983b67ac852c1a25000afe1175de458b67ad"
dependencies = [
"serde_derive",
]
[[package]]
name = "serde_derive"
version = "1.0.228"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "d540f220d3187173da220f885ab66608367b6574e925011a9353e4badda91d79"
dependencies = [
"proc-macro2",
"quote",
"syn",
]
[[package]]
name = "syn"
version = "2.0.117"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "e665b8803e7b1d2a727f4023456bbbbe74da67099c585258af0ad9c5013b9b99"
dependencies = [
"proc-macro2",
"quote",
"unicode-ident",
]
[[package]]
name = "unicode-ident"
version = "1.0.24"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "e6e4313cd5fcd3dad5cafa179702e2b244f760991f45397d14d4ebf38247da75"
[[patch.unused]]
name = "omena-abstract-value"
version = "0.3.0"
[[patch.unused]]
name = "omena-bridge"
version = "0.3.0"
[[patch.unused]]
name = "omena-bundler"
version = "0.3.0"
[[patch.unused]]
name = "omena-cascade"
version = "0.3.0"
[[patch.unused]]
name = "omena-cascade-proof"
version = "0.3.0"
[[patch.unused]]
name = "omena-categorical"
version = "0.3.0"
[[patch.unused]]
name = "omena-checker"
version = "0.3.0"
[[patch.unused]]
name = "omena-cli"
version = "0.3.0"
[[patch.unused]]
name = "omena-cross-file-summary"
version = "0.3.0"
[[patch.unused]]
name = "omena-cst-typed"
version = "0.3.0"
[[patch.unused]]
name = "omena-engine-input-producers"
version = "0.3.0"
[[patch.unused]]
name = "omena-ensemble"
version = "0.3.0"
[[patch.unused]]
name = "omena-evidence-graph"
version = "0.3.0"
[[patch.unused]]
name = "omena-incremental"
version = "0.3.0"
[[patch.unused]]
name = "omena-interner"
version = "0.3.0"
[[patch.unused]]
name = "omena-lawvere"
version = "0.3.0"
[[patch.unused]]
name = "omena-lsp-server"
version = "0.3.0"
[[patch.unused]]
name = "omena-meta-macros"
version = "0.3.0"
[[patch.unused]]
name = "omena-parser"
version = "0.3.0"
[[patch.unused]]
name = "omena-product-hints"
version = "0.3.0"
[[patch.unused]]
name = "omena-query"
version = "0.3.0"
[[patch.unused]]
name = "omena-query-checker-orchestrator"
version = "0.3.0"
[[patch.unused]]
name = "omena-query-core"
version = "0.3.0"
[[patch.unused]]
name = "omena-query-transform-runner"
version = "0.3.0"
[[patch.unused]]
name = "omena-reachability-datalog-lab"
version = "0.3.0"
[[patch.unused]]
name = "omena-refinement"
version = "0.3.0"
[[patch.unused]]
name = "omena-resolver"
version = "0.3.0"
[[patch.unused]]
name = "omena-rg-flow"
version = "0.3.0"
[[patch.unused]]
name = "omena-scss-eval"
version = "0.3.0"
[[patch.unused]]
name = "omena-semantic"
version = "0.3.0"
[[patch.unused]]
name = "omena-sif"
version = "0.3.0"
[[patch.unused]]
name = "omena-smt"
version = "0.3.0"
[[patch.unused]]
name = "omena-spec-audit"
version = "0.3.0"
[[patch.unused]]
name = "omena-streaming-ifds"
version = "0.3.0"
[[patch.unused]]
name = "omena-syntax"
version = "0.3.0"
[[patch.unused]]
name = "omena-testkit"
version = "0.3.0"
[[patch.unused]]
name = "omena-transform-bundle"
version = "0.3.0"
[[patch.unused]]
name = "omena-transform-cst"
version = "0.3.0"
[[patch.unused]]
name = "omena-transform-egg"
version = "0.3.0"
[[patch.unused]]
name = "omena-transform-passes"
version = "0.3.0"
[[patch.unused]]
name = "omena-transform-print"
version = "0.3.0"
[[patch.unused]]
name = "omena-transform-target"
version = "0.3.0"
[[patch.unused]]
name = "omena-tsgo-client"
version = "0.3.0"
[[patch.unused]]
name = "omena-umbrella"
version = "0.3.0"
[[patch.unused]]
name = "omena-value-lattice"
version = "0.3.0"
[[patch.unused]]
name = "omena-variational"
version = "0.3.0"
[[patch.unused]]
name = "omena-wasm"
version = "0.3.0"
[[patch.unused]]
name = "omena-zk-audit"
version = "0.3.0"
[[patch.unused]]
name = "omena-zk-circuit"
version = "0.3.0"