2020-10-07 03:20:51 +03:00
|
|
|
[package]
|
|
|
|
|
name = "leo-dynamic-check"
|
|
|
|
|
version = "1.0.3"
|
|
|
|
|
authors = [ "The Aleo Team <hello@aleo.org>" ]
|
|
|
|
|
description = "Checks that a program is correct using type inference"
|
|
|
|
|
homepage = "https://aleo.org"
|
|
|
|
|
respository = "https://github.com/AleoHQ/leo"
|
|
|
|
|
keywords = [
|
|
|
|
|
"aleo",
|
|
|
|
|
"cryptography",
|
|
|
|
|
"leo",
|
|
|
|
|
"programming-language",
|
|
|
|
|
"zero-knowledge"
|
|
|
|
|
]
|
|
|
|
|
categories = [ "cryptography::croptocurrencies", "web-programming" ]
|
|
|
|
|
include = [ "Cargo.toml", "src", "README.md", "LICENSE.md" ]
|
|
|
|
|
license = "GPL-3.0"
|
|
|
|
|
edition = "2018"
|
|
|
|
|
|
|
|
|
|
[dependencies.leo-ast]
|
|
|
|
|
path = "../ast"
|
|
|
|
|
version = "1.0.3"
|
|
|
|
|
|
|
|
|
|
[dependencies.leo-imports]
|
|
|
|
|
path = "../imports"
|
|
|
|
|
version = "1.0.3"
|
|
|
|
|
|
2020-10-12 22:32:29 +03:00
|
|
|
[dependencies.leo-static-check]
|
|
|
|
|
path = "../static-check"
|
2020-10-07 03:20:51 +03:00
|
|
|
version = "1.0.3"
|
|
|
|
|
|
|
|
|
|
[dependencies.leo-typed]
|
|
|
|
|
path = "../typed"
|
|
|
|
|
version = "1.0.3"
|
|
|
|
|
|
|
|
|
|
[dependencies.serde]
|
|
|
|
|
version = "1.0"
|
|
|
|
|
|
|
|
|
|
[dependencies.thiserror]
|
|
|
|
|
version = "1.0"
|
