# 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 are reading this file be aware that the original Cargo.toml # will likely look very different (and much more reasonable). # See Cargo.toml.orig for the original contents. [package] edition = "2021" name = "verusfmt" version = "0.5.0" build = false exclude = [ ".gitattributes", ".github/", "examples/", "tests/", "util/", ] autobins = false autoexamples = false autotests = false autobenches = false description = "An opinionated formatter for Verus" homepage = "https://github.com/verus-lang/verusfmt" readme = "README.md" keywords = [ "verus", "formatter", "pretty-printer", ] categories = ["development-tools"] license = "MIT" repository = "https://github.com/verus-lang/verusfmt" [profile.dev.package.insta] opt-level = 3 [profile.dev.package.similar] opt-level = 3 [profile.dist] lto = "thin" inherits = "release" [lib] name = "verusfmt" path = "src/lib.rs" [[bin]] name = "verusfmt" path = "src/main.rs" [dependencies.axoupdater] version = "0.7.2" features = [ "blocking", "github_releases", ] default-features = false [dependencies.clap] version = "4.3.11" features = ["derive"] [dependencies.fs-err] version = "2.9.0" [dependencies.insta] version = "1.30.0" [dependencies.miette] version = "7.2.0" features = ["fancy"] [dependencies.pest] version = "2.0" [dependencies.pest_derive] version = "2.0" [dependencies.pretty] version = "0.12.1" [dependencies.regex] version = "1.9.6" [dependencies.similar] version = "2.2.1" [dependencies.tempfile] version = "3.10.1" [dependencies.thiserror] version = "1.0.52" [dependencies.tracing] version = "0.1.37" [dependencies.tracing-subscriber] version = "0.3.17" [dev-dependencies.glob] version = "0.3.1" [dev-dependencies.insta] version = "1.30.0" [dev-dependencies.similar] version = "2.2.1" [dev-dependencies.stacker] version = "0.1.15"