# 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" rust-version = "1.60" name = "air_main" version = "0.0.1" description = "The Main Library of the Air Programming Language" homepage = "https://github.com/LambdaAlpha/airlang" keywords = [ "air", "language", "specification", "formal", "logic", ] categories = ["compilers"] license = "MIT OR Apache-2.0" repository = "https://github.com/LambdaAlpha/airlang_rs" [[test]] name = "main" [dependencies.airlang] version = "0.1.0" [dependencies.airlang_ext] version = "0.1.0"