# 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 = "mm0b_parser" version = "0.1.4" authors = ["Mario Carneiro "] include = ["Cargo.toml", "src/**/*.rs", "../../README.md", "rustfmt.toml"] description = "parsing tools for Metamath Zero's MMB binary format" readme = "../../README.md" keywords = ["theorem", "proving", "proof", "assistant"] categories = ["command-line-utilities", "development-tools", "mathematics"] license = "CC0-1.0" repository = "https://github.com/digama0/mm0" [dependencies.byteorder] version = "1.4" [dependencies.memchr] version = "2.3" [dependencies.mm0_util] version = "0.1.4" default-features = false [dependencies.zerocopy] version = "0.5"