summaryrefslogtreecommitdiffstats
path: root/vendor/polonius-engine/Cargo.toml
diff options
context:
space:
mode:
Diffstat (limited to 'vendor/polonius-engine/Cargo.toml')
-rw-r--r--vendor/polonius-engine/Cargo.toml29
1 files changed, 29 insertions, 0 deletions
diff --git a/vendor/polonius-engine/Cargo.toml b/vendor/polonius-engine/Cargo.toml
new file mode 100644
index 000000000..e3a8f7429
--- /dev/null
+++ b/vendor/polonius-engine/Cargo.toml
@@ -0,0 +1,29 @@
+# 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"