# 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" name = "lambda_mountain" version = "1.16.40" authors = ["Andrew "] description = "Typed Macro Assembler (backed by Coq proofs-of-correctness)" documentation = "https://andrew-johnson-4.github.io/lambda-mountain/" readme = "README.md" keywords = [ "programming-language", "interpreter", "compiler", ] license = "MIT" repository = "https://github.com/andrew-johnson-4/-" [dependencies.glob] version = "0.3"