# 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 = "eqlog" version = "0.8.0" authors = [ "Martin E. Bidlingmaier ", "Jakob Botsch Nielsen ", ] build = "build.rs" autobins = false autoexamples = false autotests = false autobenches = false description = "Datalog with equality" readme = "README.md" license = "MIT" repository = "https://github.com/eqlog/eqlog/" [lib] name = "eqlog" path = "src/lib.rs" [[bin]] name = "eqlog" path = "src/main.rs" [dependencies.base16ct] version = ">= 0" features = ["alloc"] [dependencies.by_address] version = ">= 0" [dependencies.clap] version = ">= 0" features = ["derive"] [dependencies.convert_case] version = ">= 0" [dependencies.eqlog-eqlog] version = "= 0.8.0" [dependencies.indoc] version = ">= 0" [dependencies.itertools] version = ">= 0" [dependencies.lalrpop-util] version = ">= 0" features = ["lexer"] [dependencies.maplit] version = ">= 0" [dependencies.regex] version = ">= 0" [dependencies.sha2] version = ">= 0" [build-dependencies.base16ct] version = ">= 0" features = ["alloc"] [build-dependencies.lalrpop] version = ">= 0" features = ["lexer"] [build-dependencies.sha2] version = ">= 0" [features] default = [] rebuild = ["eqlog-eqlog/rebuild"] rustfmt = []