# 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" rust-version = "1.38" name = "materially" version = "1.0.0" exclude = [ "/.github/", ".gitignore", ] description = "A macro for material implication" homepage = "https://github.com/Jules-Bertholet/materially" readme = "README.md" keywords = [ "logic", "logical", "implication", "implies", "macro", ] categories = [ "development-tools::testing", "mathematics", "no-std::no-alloc", "rust-patterns", ] license = "MIT OR Apache-2.0" repository = "https://github.com/Jules-Bertholet/materially" [lints.rust] unsafe_code = "forbid"