| # THIS FILE IS AUTOMATICALLY GENERATED BY CARGO |
| # |
| # When uploading crates to the registry Cargo will automatically |
| # "normalize" Cargo.toml files for maximal compatibility |
| # with all versions of Cargo and also rewrite `path` dependencies |
| # to registry (e.g., crates.io) dependencies |
| # |
| # If you believe there's an error in this file please file an |
| # issue against the rust-lang/cargo repository. If you're |
| # editing this file be aware that the upstream Cargo.toml |
| # will likely look very different (and much more reasonable) |
| |
| [package] |
| name = "polonius-engine" |
| version = "0.13.0" |
| authors = ["The Rust Project Developers", "Polonius Developers"] |
| description = "Core definition for the Rust borrow checker" |
| readme = "README.md" |
| keywords = ["compiler", "borrowck", "datalog"] |
| license = "Apache-2.0/MIT" |
| repository = "https://github.com/rust-lang-nursery/polonius" |
| [dependencies.datafrog] |
| version = "2.0.0" |
| |
| [dependencies.log] |
| version = "0.4" |
| |
| [dependencies.rustc-hash] |
| version = "1.0.0" |
