# 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 = "2018" name = "tnt" version = "1.0.2" authors = ["SymmetricChaos "] description = "Simple runtime validated proofs in number theory" readme = "README.md" keywords = [ "number-theory", "math", "logic", ] license = "MIT" repository = "https://github.com/SymmetricChaos/tnt" [lib] name = "tnt" [dependencies.indexmap] version = "1.9.1" [dependencies.lazy_static] version = "1.4.0" [dependencies.num] version = "0.4.0" [dependencies.pest] version = "2.4.1" [dependencies.pest_derive] version = "2.4.1" [dependencies.regex] version = "1.5.4"