version = 4
[[package]]
name = "bitflags"
version = "2.13.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "b4388bee8683e3d04af747c73422af53102d2bd24d9eadb6cbc100baef4b43f8"
[[package]]
name = "cfg-if"
version = "1.0.4"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "9330f8b2ff13f34540b44e946ef35111825727b38d33286ef986142615121801"
[[package]]
name = "cstree"
version = "0.14.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "06cb7daab41fe0fd49e9482eb456fb6e49c2fb64843cd824721befeda0059264"
dependencies = [
"hashbrown",
"indexmap",
"parking_lot",
"rustc-hash",
"text-size",
"triomphe",
]
[[package]]
name = "equivalent"
version = "1.0.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "877a4ace8713b0bcf2a4e7eec82529c029f1d0619886d18145fea96c3ffe5c0f"
[[package]]
name = "hashbrown"
version = "0.17.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "ed5909b6e89a2db4456e54cd5f673791d7eca6732202bbf2a9cc504fe2f9b84a"
[[package]]
name = "indexmap"
version = "2.14.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "d466e9454f08e4a911e14806c24e16fba1b4c121d1ea474396f396069cf949d9"
dependencies = [
"equivalent",
"hashbrown",
]
[[package]]
name = "libc"
version = "0.2.186"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "68ab91017fe16c622486840e4c83c9a37afeff978bd239b5293d61ece587de66"
[[package]]
name = "lock_api"
version = "0.4.14"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "224399e74b87b5f3557511d98dff8b14089b3dadafcab6bb93eab67d3aace965"
dependencies = [
"scopeguard",
]
[[package]]
name = "omena-syntax"
version = "0.3.0"
dependencies = [
"cstree",
]
[[package]]
name = "parking_lot"
version = "0.12.5"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "93857453250e3077bd71ff98b6a65ea6621a19bb0f559a85248955ac12c45a1a"
dependencies = [
"lock_api",
"parking_lot_core",
]
[[package]]
name = "parking_lot_core"
version = "0.9.12"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "2621685985a2ebf1c516881c026032ac7deafcda1a2c9b7850dc81e3dfcb64c1"
dependencies = [
"cfg-if",
"libc",
"redox_syscall",
"smallvec",
"windows-link",
]
[[package]]
name = "redox_syscall"
version = "0.5.18"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "ed2bf2547551a7053d6fdfafda3f938979645c44812fbfcda098faae3f1a362d"
dependencies = [
"bitflags",
]
[[package]]
name = "rustc-hash"
version = "2.1.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "6b1e7f9a428571be2dc5bc0505c13fb6bf936822b894ec87abf8a08a4e51742d"
[[package]]
name = "scopeguard"
version = "1.2.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "94143f37725109f92c262ed2cf5e59bce7498c01bcc1502d7b9afe439a4e9f49"
[[package]]
name = "smallvec"
version = "1.15.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "8ed6a63f02c8539c91a8685a86f4099661ba3da017932f6ebbea6de3f0fa7c90"
[[package]]
name = "stable_deref_trait"
version = "1.2.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "6ce2be8dc25455e1f91df71bfa12ad37d7af1092ae736f3a6cd0e37bc7810596"
[[package]]
name = "text-size"
version = "1.1.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "f18aa187839b2bdb1ad2fa35ead8c4c2976b64e4363c386d45ac0f7ee85c9233"
[[package]]
name = "triomphe"
version = "0.1.15"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "dd69c5aa8f924c7519d6372789a74eac5b94fb0f8fcf0d4a97eb0bfc3e785f39"
dependencies = [
"stable_deref_trait",
]
[[package]]
name = "windows-link"
version = "0.2.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "f0805222e57f7521d6a62e36fa9163bc891acd422f971defe97d64e70d0a4fe5"
[[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-refinement-trait"
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-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"