# 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 = "dedukti-parse" version = "0.3.1" authors = ["Michael Färber "] description = "Parser for the Dedukti file format" keywords = [ "dependent-types", "rewriting", "dedukti", ] categories = [ "no-std", "parser-implementations", ] license = "GPL-3.0-only" repository = "https://github.com/01mf02/kontroli-rs" [dependencies.logos] version = "0.12"