version = 4
[[package]]
name = "arrayref"
version = "0.3.9"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "76a2e8124351fda1ef8aaaa3bbd7ebbcb486bbcd4225aca0aa0d84bb2db8fecb"
[[package]]
name = "arrayvec"
version = "0.7.6"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "7c02d123df017efcdfbd739ef81735b36c5ba83ec3c59c80a9d7ecc718f92e50"
[[package]]
name = "blake3"
version = "1.8.6"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "76ae7bad254120e9e4c63bafc385310756f90c484eac0e36b8317cf09cb92a77"
dependencies = [
"arrayref",
"arrayvec",
"cc",
"cfg-if",
"constant_time_eq",
"cpufeatures",
]
[[package]]
name = "cc"
version = "1.2.64"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "dad887fd958be91b5098c0248def011f4523ab786cd411be668777e55063501f"
dependencies = [
"find-msvc-tools",
"shlex",
]
[[package]]
name = "cfg-if"
version = "1.0.4"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "9330f8b2ff13f34540b44e946ef35111825727b38d33286ef986142615121801"
[[package]]
name = "constant_time_eq"
version = "0.4.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "3d52eff69cd5e647efe296129160853a42795992097e8af39800e1060caeea9b"
[[package]]
name = "cpufeatures"
version = "0.3.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "8b2a41393f66f16b0823bb79094d54ac5fbd34ab292ddafb9a0456ac9f87d201"
dependencies = [
"libc",
]
[[package]]
name = "find-msvc-tools"
version = "0.1.9"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "5baebc0774151f905a1a2cc41989300b1e6fbb29aff0ceffa1064fdd3088d582"
[[package]]
name = "libc"
version = "0.2.186"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "68ab91017fe16c622486840e4c83c9a37afeff978bd239b5293d61ece587de66"
[[package]]
name = "omena-reactive"
version = "0.5.0"
dependencies = [
"blake3",
]
[[package]]
name = "shlex"
version = "2.0.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "f8fadd59c855ef2080decdef8ff161eb6661b86933c9d82e5ba29dc602a55aba"
[[patch.unused]]
name = "omena-abstract-value"
version = "0.5.0"
[[patch.unused]]
name = "omena-bridge"
version = "0.5.0"
[[patch.unused]]
name = "omena-bundler"
version = "0.5.0"
[[patch.unused]]
name = "omena-cascade"
version = "0.5.0"
[[patch.unused]]
name = "omena-cascade-proof"
version = "0.5.0"
[[patch.unused]]
name = "omena-categorical"
version = "0.5.0"
[[patch.unused]]
name = "omena-checker"
version = "0.5.0"
[[patch.unused]]
name = "omena-cli"
version = "0.5.0"
[[patch.unused]]
name = "omena-cross-file-summary"
version = "0.5.0"
[[patch.unused]]
name = "omena-cst-typed"
version = "0.5.0"
[[patch.unused]]
name = "omena-engine-input-producers"
version = "0.5.0"
[[patch.unused]]
name = "omena-ensemble"
version = "0.5.0"
[[patch.unused]]
name = "omena-evidence-graph"
version = "0.5.0"
[[patch.unused]]
name = "omena-incremental"
version = "0.5.0"
[[patch.unused]]
name = "omena-interner"
version = "0.5.0"
[[patch.unused]]
name = "omena-lawvere"
version = "0.5.0"
[[patch.unused]]
name = "omena-lsp-server"
version = "0.5.0"
[[patch.unused]]
name = "omena-meta-macros"
version = "0.5.0"
[[patch.unused]]
name = "omena-parser"
version = "0.5.0"
[[patch.unused]]
name = "omena-product-hints"
version = "0.5.0"
[[patch.unused]]
name = "omena-query"
version = "0.5.0"
[[patch.unused]]
name = "omena-query-checker-orchestrator"
version = "0.5.0"
[[patch.unused]]
name = "omena-query-core"
version = "0.5.0"
[[patch.unused]]
name = "omena-query-transform-runner"
version = "0.5.0"
[[patch.unused]]
name = "omena-reachability-datalog-lab"
version = "0.5.0"
[[patch.unused]]
name = "omena-refinement"
version = "0.5.0"
[[patch.unused]]
name = "omena-refinement-trait"
version = "0.5.0"
[[patch.unused]]
name = "omena-resolver"
version = "0.5.0"
[[patch.unused]]
name = "omena-rg-flow"
version = "0.5.0"
[[patch.unused]]
name = "omena-scss-eval"
version = "0.5.0"
[[patch.unused]]
name = "omena-semantic"
version = "0.5.0"
[[patch.unused]]
name = "omena-sif"
version = "0.5.0"
[[patch.unused]]
name = "omena-smt"
version = "0.5.0"
[[patch.unused]]
name = "omena-spec-audit"
version = "0.5.0"
[[patch.unused]]
name = "omena-streaming-ifds"
version = "0.5.0"
[[patch.unused]]
name = "omena-syntax"
version = "0.5.0"
[[patch.unused]]
name = "omena-testkit"
version = "0.5.0"
[[patch.unused]]
name = "omena-transform-bundle"
version = "0.5.0"
[[patch.unused]]
name = "omena-transform-cst"
version = "0.5.0"
[[patch.unused]]
name = "omena-transform-egg"
version = "0.5.0"
[[patch.unused]]
name = "omena-transform-passes"
version = "0.5.0"
[[patch.unused]]
name = "omena-transform-print"
version = "0.5.0"
[[patch.unused]]
name = "omena-transform-target"
version = "0.5.0"
[[patch.unused]]
name = "omena-tsgo-client"
version = "0.5.0"
[[patch.unused]]
name = "omena-umbrella"
version = "0.5.0"
[[patch.unused]]
name = "omena-value-lattice"
version = "0.5.0"
[[patch.unused]]
name = "omena-variational"
version = "0.5.0"
[[patch.unused]]
name = "omena-wasm"
version = "0.5.0"
[[patch.unused]]
name = "omena-zk-audit"
version = "0.5.0"
[[patch.unused]]
name = "omena-zk-circuit"
version = "0.5.0"