| # 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] |
| edition = "2018" |
| name = "varisat-internal-macros" |
| version = "0.2.2" |
| authors = ["Jannis Harder <[email protected]>"] |
| description = "Internal macros for the Varisat SAT solver" |
| homepage = "https://jix.one/project/varisat/" |
| readme = "README.md" |
| license = "MIT/Apache-2.0" |
| repository = "https://github.com/jix/varisat" |
| |
| [lib] |
| proc-macro = true |
| [dependencies.proc-macro2] |
| version = "1.0.20" |
| |
| [dependencies.quote] |
| version = "1.0.7" |
| |
| [dependencies.regex] |
| version = "1.1.6" |
| |
| [dependencies.syn] |
| version = "1.0.40" |
| |
| [dependencies.synstructure] |
| version = "0.12.4" |
