# 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 = "tlauc" version = "1.0.4" authors = ["Andrew Helwer <2n8rn1w1f@mozmail.com>"] build = false exclude = [ "tests", ".github", ".gitignore", ".gitmodules", ] autobins = false autoexamples = false autotests = false autobenches = false description = "Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa" readme = "README.md" keywords = [ "tla+", "tlaplus", "pluscal", "unicode", ] categories = [ "command-line-utilities", "text-editors", ] license = "MIT" repository = "https://github.com/tlaplus-community/tlauc" [lib] name = "tlauc" path = "src/lib.rs" [[bin]] name = "tlauc" path = "src/main.rs" [dependencies.anyhow] version = "1.0.81" [dependencies.clap] version = "4.5.4" features = ["derive"] [dependencies.csv] version = "1.3.0" [dependencies.serde] version = "1.0.197" features = ["derive"] [dependencies.streaming-iterator] version = "0.1.9" [dependencies.tree-sitter] version = "0.24.3" [dependencies.tree-sitter-language] version = "0.1.2" [dependencies.tree-sitter-tlaplus] version = "1.5.0" [dev-dependencies.glob] version = "0.3.1" [dev-dependencies.rayon] version = "1.10.0"