From 194f1daf425d61e2b5a7d3f25d322b9f0e22409f Mon Sep 17 00:00:00 2001
From: howardwu <howardwu@berkeley.edu>
Date: Fri, 28 Aug 2020 22:08:37 -0700
Subject: [PATCH 1/3] Update Cargo.toml

---
 Cargo.lock        | 2 +-
 ast/Cargo.toml    | 1 -
 linter/Cargo.toml | 2 +-
 3 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/Cargo.lock b/Cargo.lock
index e8e03e888c..fdc1bc052d 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -1319,7 +1319,7 @@ dependencies = [
 ]
 
 [[package]]
-name = "leo-liner"
+name = "leo-linter"
 version = "1.0.1"
 
 [[package]]
diff --git a/ast/Cargo.toml b/ast/Cargo.toml
index 397da1fc93..57469a5aeb 100644
--- a/ast/Cargo.toml
+++ b/ast/Cargo.toml
@@ -31,7 +31,6 @@ serde_json = { version = "1.0" }
 thiserror = { version = "1.0" }
 tracing = { version = "0.1" }
 
-
 [dev-dependencies]
 criterion = { version = "0.3" }
 
diff --git a/linter/Cargo.toml b/linter/Cargo.toml
index 43eab36c87..41e6e9c1ac 100644
--- a/linter/Cargo.toml
+++ b/linter/Cargo.toml
@@ -1,5 +1,5 @@
 [package]
-name = "leo-liner"
+name = "leo-linter"
 version = "1.0.1"
 authors = ["The Aleo Team <hello@aleo.org>"]
 description = "Linter of the Leo programming language"

From bf82bf4d1baa32b5ac12816d24c8219854cb57bc Mon Sep 17 00:00:00 2001
From: howardwu <howardwu@berkeley.edu>
Date: Fri, 28 Aug 2020 23:26:19 -0700
Subject: [PATCH 2/3] chore(leo): bump version for new release

---
 Cargo.lock          |  18 ++---
 Cargo.toml          | 175 +++++++++++++++++++++++++++++++++-----------
 ast/Cargo.toml      |  61 ++++++++++-----
 compiler/Cargo.toml | 127 +++++++++++++++++++++++---------
 gadgets/Cargo.toml  |  47 ++++++++----
 input/Cargo.toml    |  60 +++++++++++----
 linter/Cargo.toml   |  20 +++--
 package/Cargo.toml  |  45 ++++++++----
 state/Cargo.toml    |  74 ++++++++++++++-----
 typed/Cargo.toml    |  54 +++++++++-----
 10 files changed, 490 insertions(+), 191 deletions(-)

diff --git a/Cargo.lock b/Cargo.lock
index fdc1bc052d..57b7e2118a 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -1207,7 +1207,7 @@ checksum = "830d08ce1d1d941e6b30645f1a0eb5643013d835ce3779a5fc208261dbe10f55"
 
 [[package]]
 name = "leo-ast"
-version = "1.0.1"
+version = "1.0.2"
 dependencies = [
  "criterion",
  "from-pest",
@@ -1223,7 +1223,7 @@ dependencies = [
 
 [[package]]
 name = "leo-compiler"
-version = "1.0.1"
+version = "1.0.2"
 dependencies = [
  "bincode",
  "hex",
@@ -1253,7 +1253,7 @@ dependencies = [
 
 [[package]]
 name = "leo-gadgets"
-version = "1.0.1"
+version = "1.0.2"
 dependencies = [
  "rand",
  "rand_xorshift",
@@ -1265,7 +1265,7 @@ dependencies = [
 
 [[package]]
 name = "leo-input"
-version = "1.0.1"
+version = "1.0.2"
 dependencies = [
  "from-pest",
  "pest",
@@ -1281,7 +1281,7 @@ dependencies = [
 
 [[package]]
 name = "leo-lang"
-version = "1.0.1"
+version = "1.0.2"
 dependencies = [
  "clap",
  "colored",
@@ -1320,11 +1320,11 @@ dependencies = [
 
 [[package]]
 name = "leo-linter"
-version = "1.0.1"
+version = "1.0.2"
 
 [[package]]
 name = "leo-package"
-version = "1.0.1"
+version = "1.0.2"
 dependencies = [
  "serde",
  "serde_json",
@@ -1337,7 +1337,7 @@ dependencies = [
 
 [[package]]
 name = "leo-state"
-version = "1.0.1"
+version = "1.0.2"
 dependencies = [
  "leo-input",
  "leo-typed",
@@ -1356,7 +1356,7 @@ dependencies = [
 
 [[package]]
 name = "leo-typed"
-version = "1.0.1"
+version = "1.0.2"
 dependencies = [
  "criterion",
  "leo-ast",
diff --git a/Cargo.toml b/Cargo.toml
index c98f0b3afa..f3cbd52d73 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -1,13 +1,19 @@
 [package]
 name = "leo-lang"
-version = "1.0.1"
-authors = ["The Aleo Team <hello@aleo.org>"]
+version = "1.0.2"
+authors = [ "The Aleo Team <hello@aleo.org>" ]
 description = "The Leo programming language"
 homepage = "https://aleo.org"
 repository = "https://github.com/AleoHQ/leo"
-keywords = ["aleo", "cryptography", "leo", "programming-language", "zero-knowledge"]
-categories = ["cryptography::cryptocurrencies", "web-programming"]
-include = ["Cargo.toml", "leo", "README.md", "LICENSE.md"]
+keywords = [
+  "aleo",
+  "cryptography",
+  "leo",
+  "programming-language",
+  "zero-knowledge"
+]
+categories = [ "cryptography::cryptocurrencies", "web-programming" ]
+include = [ "Cargo.toml", "leo", "README.md", "LICENSE.md" ]
 license = "GPL-3.0"
 edition = "2018"
 
@@ -19,50 +25,133 @@ name = "leo"
 path = "leo/main.rs"
 
 [workspace]
-members = [ "ast", "compiler", "gadgets", "input", "linter", "package", "typed", "state"]
+members = [
+  "ast",
+  "compiler",
+  "gadgets",
+  "input",
+  "linter",
+  "package",
+  "typed",
+  "state"
+]
 
-[dependencies]
-leo-compiler = { path = "./compiler", version = "1.0.1" }
-leo-gadgets = { path = "./gadgets", version = "1.0.1" }
-leo-input = { path = "./input", version = "1.0.1" }
-leo-package = { path = "./package", version = "1.0.1" }
-leo-state = { path = "./state", version = "1.0.1" }
+[dependencies.leo-compiler]
+path = "./compiler"
+version = "1.0.2"
 
-snarkos-algorithms = { version = "1.1.3", default-features = false }
-snarkos-curves = { version = "1.1.3", default-features = false }
-snarkos-errors = { version = "1.1.3", default-features = false }
-snarkos-gadgets = { version = "1.1.3", default-features = false }
-snarkos-models =  { version = "1.1.3", default-features = false }
-snarkos-utilities = { version = "1.1.3" }
+[dependencies.leo-gadgets]
+path = "./gadgets"
+version = "1.0.2"
 
-clap = { version = "2.33.3" }
-colored = { version = "2.0" }
-dirs = { version = "3.0.1" }
-console = { version = "0.12.0" }
-dotenv = { version = "0.15.0" }
-env_logger = { version = "0.7" }
-from-pest = { version = "0.3.1" }
-lazy_static = { version = "1.4.0" }
-notify= { version = "4.0.15" }
-num-bigint = { version = "0.3" }
-rand = { version = "0.7" }
-rand_core = { version = "0.5.1" }
-reqwest = { version = "0.10.7", features = ["blocking", "json"] }
-self_update = { version = "0.19.0", features = ["archive-zip"] }
-serde = { version = "1.0", features = ["derive"] }
-serde_json = { version = "1.0" }
-thiserror = { version = "1.0" }
-toml = { version = "0.5" }
-tracing = { version = "0.1" }
-tracing-subscriber = { version = "0.2", features = ["fmt"] }
-zip = { version = "0.5" }
+[dependencies.leo-input]
+path = "./input"
+version = "1.0.2"
 
-[dev-dependencies]
-rusty-hook = { version = "0.11.2" }
+[dependencies.leo-package]
+path = "./package"
+version = "1.0.2"
+
+[dependencies.leo-state]
+path = "./state"
+version = "1.0.2"
+
+[dependencies.snarkos-algorithms]
+version = "1.1.3"
+default-features = false
+
+[dependencies.snarkos-curves]
+version = "1.1.3"
+default-features = false
+
+[dependencies.snarkos-errors]
+version = "1.1.3"
+default-features = false
+
+[dependencies.snarkos-gadgets]
+version = "1.1.3"
+default-features = false
+
+[dependencies.snarkos-models]
+version = "1.1.3"
+default-features = false
+
+[dependencies.snarkos-utilities]
+version = "1.1.3"
+
+[dependencies.clap]
+version = "2.33.3"
+
+[dependencies.colored]
+version = "2.0"
+
+[dependencies.dirs]
+version = "3.0.1"
+
+[dependencies.console]
+version = "0.12.0"
+
+[dependencies.dotenv]
+version = "0.15.0"
+
+[dependencies.env_logger]
+version = "0.7"
+
+[dependencies.from-pest]
+version = "0.3.1"
+
+[dependencies.lazy_static]
+version = "1.4.0"
+
+[dependencies.notify]
+version = "4.0.15"
+
+[dependencies.num-bigint]
+version = "0.3"
+
+[dependencies.rand]
+version = "0.7"
+
+[dependencies.rand_core]
+version = "0.5.1"
+
+[dependencies.reqwest]
+version = "0.10.7"
+features = [ "blocking", "json" ]
+
+[dependencies.self_update]
+version = "0.19.0"
+features = [ "archive-zip" ]
+
+[dependencies.serde]
+version = "1.0"
+features = [ "derive" ]
+
+[dependencies.serde_json]
+version = "1.0"
+
+[dependencies.thiserror]
+version = "1.0"
+
+[dependencies.toml]
+version = "0.5"
+
+[dependencies.tracing]
+version = "0.1"
+
+[dependencies.tracing-subscriber]
+version = "0.2"
+features = [ "fmt" ]
+
+[dependencies.zip]
+version = "0.5"
+
+[dev-dependencies.rusty-hook]
+version = "0.11.2"
 
 [features]
-default = []
-ci_skip = ["leo-compiler/ci_skip"]
+default = [ ]
+ci_skip = [ "leo-compiler/ci_skip" ]
 
 [profile.release]
 opt-level = 3
diff --git a/ast/Cargo.toml b/ast/Cargo.toml
index 57469a5aeb..540eaf9143 100644
--- a/ast/Cargo.toml
+++ b/ast/Cargo.toml
@@ -1,13 +1,19 @@
 [package]
 name = "leo-ast"
-version = "1.0.1"
-authors = ["The Aleo Team <hello@aleo.org>"]
+version = "1.0.2"
+authors = [ "The Aleo Team <hello@aleo.org>" ]
 description = "AST of the Leo programming language"
 homepage = "https://aleo.org"
 repository = "https://github.com/AleoHQ/leo"
-keywords = ["aleo", "cryptography", "leo", "programming-language", "zero-knowledge"]
-categories = ["cryptography::cryptocurrencies", "web-programming"]
-include = ["Cargo.toml", "src", "README.md", "LICENSE.md"]
+keywords = [
+  "aleo",
+  "cryptography",
+  "leo",
+  "programming-language",
+  "zero-knowledge"
+]
+categories = [ "cryptography::cryptocurrencies", "web-programming" ]
+include = [ "Cargo.toml", "src", "README.md", "LICENSE.md" ]
 license = "GPL-3.0"
 edition = "2018"
 
@@ -20,20 +26,37 @@ name = "ast"
 path = "benches/ast.rs"
 harness = false
 
-[dependencies]
-from-pest = { version = "0.3.1" }
-lazy_static = { version = "1.3.0" }
-pest = { version = "2.0" }
-pest-ast = { version = "0.3.3" }
-pest_derive = { version = "2.0" }
-serde = { version = "1.0", features = ["derive"] }
-serde_json = { version = "1.0" }
-thiserror = { version = "1.0" }
-tracing = { version = "0.1" }
+[dependencies.from-pest]
+version = "0.3.1"
 
-[dev-dependencies]
-criterion = { version = "0.3" }
+[dependencies.lazy_static]
+version = "1.3.0"
+
+[dependencies.pest]
+version = "2.0"
+
+[dependencies.pest-ast]
+version = "0.3.3"
+
+[dependencies.pest_derive]
+version = "2.0"
+
+[dependencies.serde]
+version = "1.0"
+features = [ "derive" ]
+
+[dependencies.serde_json]
+version = "1.0"
+
+[dependencies.thiserror]
+version = "1.0"
+
+[dependencies.tracing]
+version = "0.1"
+
+[dev-dependencies.criterion]
+version = "0.3"
 
 [features]
-default = []
-ci_skip = []
+default = [ ]
+ci_skip = [ ]
diff --git a/compiler/Cargo.toml b/compiler/Cargo.toml
index 9bc061d281..bac031b641 100644
--- a/compiler/Cargo.toml
+++ b/compiler/Cargo.toml
@@ -1,46 +1,107 @@
 [package]
 name = "leo-compiler"
-version = "1.0.1"
-authors = ["The Aleo Team <hello@aleo.org>"]
+version = "1.0.2"
+authors = [ "The Aleo Team <hello@aleo.org>" ]
 description = "Compiler of the Leo programming language"
 homepage = "https://aleo.org"
 repository = "https://github.com/AleoHQ/leo"
-keywords = ["aleo", "cryptography", "leo", "programming-language", "zero-knowledge"]
-categories = ["cryptography::cryptocurrencies", "web-programming"]
-include = ["Cargo.toml", "src", "README.md", "LICENSE.md"]
+keywords = [
+  "aleo",
+  "cryptography",
+  "leo",
+  "programming-language",
+  "zero-knowledge"
+]
+categories = [ "cryptography::cryptocurrencies", "web-programming" ]
+include = [ "Cargo.toml", "src", "README.md", "LICENSE.md" ]
 license = "GPL-3.0"
 edition = "2018"
 
-[dependencies]
-leo-ast = { path = "../ast", version = "1.0.1" }
-leo-gadgets = { path = "../gadgets", version = "1.0.1" }
-leo-input = { path = "../input", version = "1.0.1" }
-leo-package = { path = "../package", version = "1.0.1"}
-leo-typed = { path = "../typed", version = "1.0.1" }
-leo-state = { path = "../state", version = "1.0.1" }
+[dependencies.leo-ast]
+path = "../ast"
+version = "1.0.2"
 
-snarkos-curves = { version = "1.1.3", default-features = false }
-snarkos-dpc = {  version = "1.1.3", default-features = false }
-snarkos-errors = { version = "1.1.3", default-features = false }
-snarkos-gadgets = { version = "1.1.3", default-features = false }
-snarkos-models =  { version = "1.1.3", default-features = false }
-snarkos-objects = { version = "1.1.3", default-features = false }
-snarkos-utilities = { version = "1.1.3" }
+[dependencies.leo-gadgets]
+path = "../gadgets"
+version = "1.0.2"
 
-bincode = { version = "1.0" }
-hex = { version = "0.4.2" }
-pest = { version = "2.0" }
-rand = { version = "0.7" }
-rand_xorshift = { version = "0.2", default-features = false }
-serde = { version = "1.0" }
-sha2 = { version = "0.9" }
-thiserror = { version = "1.0" }
-tracing = { version = "0.1" }
-tracing-subscriber = { version = "0.2" }
+[dependencies.leo-input]
+path = "../input"
+version = "1.0.2"
 
-[dev-dependencies]
-num-bigint = { version = "0.3" }
+[dependencies.leo-package]
+path = "../package"
+version = "1.0.2"
+
+[dependencies.leo-typed]
+path = "../typed"
+version = "1.0.2"
+
+[dependencies.leo-state]
+path = "../state"
+version = "1.0.2"
+
+[dependencies.snarkos-curves]
+version = "1.1.3"
+default-features = false
+
+[dependencies.snarkos-dpc]
+version = "1.1.3"
+default-features = false
+
+[dependencies.snarkos-errors]
+version = "1.1.3"
+default-features = false
+
+[dependencies.snarkos-gadgets]
+version = "1.1.3"
+default-features = false
+
+[dependencies.snarkos-models]
+version = "1.1.3"
+default-features = false
+
+[dependencies.snarkos-objects]
+version = "1.1.3"
+default-features = false
+
+[dependencies.snarkos-utilities]
+version = "1.1.3"
+
+[dependencies.bincode]
+version = "1.0"
+
+[dependencies.hex]
+version = "0.4.2"
+
+[dependencies.pest]
+version = "2.0"
+
+[dependencies.rand]
+version = "0.7"
+
+[dependencies.rand_xorshift]
+version = "0.2"
+default-features = false
+
+[dependencies.serde]
+version = "1.0"
+
+[dependencies.sha2]
+version = "0.9"
+
+[dependencies.thiserror]
+version = "1.0"
+
+[dependencies.tracing]
+version = "0.1"
+
+[dependencies.tracing-subscriber]
+version = "0.2"
+
+[dev-dependencies.num-bigint]
+version = "0.3"
 
 [features]
-default = []
-ci_skip = ["leo-ast/ci_skip", "leo-typed/ci_skip"]
+default = [ ]
+ci_skip = [ "leo-ast/ci_skip", "leo-typed/ci_skip" ]
diff --git a/gadgets/Cargo.toml b/gadgets/Cargo.toml
index 9bae6015ff..8fd29aca23 100644
--- a/gadgets/Cargo.toml
+++ b/gadgets/Cargo.toml
@@ -1,24 +1,43 @@
 [package]
 name = "leo-gadgets"
-version = "1.0.1"
-authors = ["The Aleo Team <hello@aleo.org>"]
+version = "1.0.2"
+authors = [ "The Aleo Team <hello@aleo.org>" ]
 description = "Gadgets of the Leo programming language"
 homepage = "https://aleo.org"
 repository = "https://github.com/AleoHQ/leo"
-keywords = ["aleo", "cryptography", "leo", "programming-language", "zero-knowledge"]
-categories = ["cryptography::cryptocurrencies", "web-programming"]
-include = ["Cargo.toml", "src", "README.md", "LICENSE.md"]
+keywords = [
+  "aleo",
+  "cryptography",
+  "leo",
+  "programming-language",
+  "zero-knowledge"
+]
+categories = [ "cryptography::cryptocurrencies", "web-programming" ]
+include = [ "Cargo.toml", "src", "README.md", "LICENSE.md" ]
 license = "GPL-3.0"
 edition = "2018"
 
-[dependencies]
-snarkos-errors = { version = "1.1.3", default-features = false }
-snarkos-models = { version = "1.1.3", default-features = false }
-snarkos-utilities = { version = "1.1.3" }
+[dependencies.snarkos-errors]
+version = "1.1.3"
+default-features = false
 
-rand = { version = "0.7", default-features = false }
-rand_xorshift = { version = "0.2", default-features = false }
-thiserror = { version = "1.0" }
+[dependencies.snarkos-models]
+version = "1.1.3"
+default-features = false
 
-[dev-dependencies]
-snarkos-utilities = { version = "1.1.3" }
\ No newline at end of file
+[dependencies.snarkos-utilities]
+version = "1.1.3"
+
+[dependencies.rand]
+version = "0.7"
+default-features = false
+
+[dependencies.rand_xorshift]
+version = "0.2"
+default-features = false
+
+[dependencies.thiserror]
+version = "1.0"
+
+[dev-dependencies.snarkos-utilities]
+version = "1.1.3"
diff --git a/input/Cargo.toml b/input/Cargo.toml
index eaaae4590b..3ba99f88bf 100644
--- a/input/Cargo.toml
+++ b/input/Cargo.toml
@@ -1,25 +1,53 @@
 [package]
 name = "leo-input"
-version = "1.0.1"
-authors = ["The Aleo Team <hello@aleo.org>"]
+version = "1.0.2"
+authors = [ "The Aleo Team <hello@aleo.org>" ]
 description = "Input parser of the Leo programming language"
 homepage = "https://aleo.org"
 repository = "https://github.com/AleoHQ/leo"
-keywords = ["aleo", "cryptography", "leo", "programming-language", "zero-knowledge"]
-categories = ["cryptography::cryptocurrencies", "web-programming"]
-include = ["Cargo.toml", "src", "README.md", "LICENSE.md"]
+keywords = [
+  "aleo",
+  "cryptography",
+  "leo",
+  "programming-language",
+  "zero-knowledge"
+]
+categories = [ "cryptography::cryptocurrencies", "web-programming" ]
+include = [ "Cargo.toml", "src", "README.md", "LICENSE.md" ]
 license = "GPL-3.0"
 edition = "2018"
 
-[dependencies]
-snarkos-algorithms = { version = "1.1.3", default-features = false }
-snarkos-curves = { version = "1.1.3", default-features = false }
-snarkos-errors = { version = "1.1.3", default-features = false }
-snarkos-gadgets = { version = "1.1.3", default-features = false }
-snarkos-models = { version = "1.1.3", default-features = false }
+[dependencies.snarkos-algorithms]
+version = "1.1.3"
+default-features = false
 
-from-pest = { version = "0.3.1" }
-pest = { version = "2.0" }
-pest-ast = { version = "0.3.3" }
-pest_derive = { version = "2.0" }
-thiserror = { version = "1.0" }
+[dependencies.snarkos-curves]
+version = "1.1.3"
+default-features = false
+
+[dependencies.snarkos-errors]
+version = "1.1.3"
+default-features = false
+
+[dependencies.snarkos-gadgets]
+version = "1.1.3"
+default-features = false
+
+[dependencies.snarkos-models]
+version = "1.1.3"
+default-features = false
+
+[dependencies.from-pest]
+version = "0.3.1"
+
+[dependencies.pest]
+version = "2.0"
+
+[dependencies.pest-ast]
+version = "0.3.3"
+
+[dependencies.pest_derive]
+version = "2.0"
+
+[dependencies.thiserror]
+version = "1.0"
diff --git a/linter/Cargo.toml b/linter/Cargo.toml
index 41e6e9c1ac..129ed49dfd 100644
--- a/linter/Cargo.toml
+++ b/linter/Cargo.toml
@@ -1,14 +1,20 @@
+dependencies = { }
+
 [package]
 name = "leo-linter"
-version = "1.0.1"
-authors = ["The Aleo Team <hello@aleo.org>"]
+version = "1.0.2"
+authors = [ "The Aleo Team <hello@aleo.org>" ]
 description = "Linter of the Leo programming language"
 homepage = "https://aleo.org"
 repository = "https://github.com/AleoHQ/leo"
-keywords = ["aleo", "cryptography", "leo", "programming-language", "zero-knowledge"]
-categories = ["cryptography::cryptocurrencies", "web-programming"]
-include = ["Cargo.toml", "src", "README.md", "LICENSE.md"]
+keywords = [
+  "aleo",
+  "cryptography",
+  "leo",
+  "programming-language",
+  "zero-knowledge"
+]
+categories = [ "cryptography::cryptocurrencies", "web-programming" ]
+include = [ "Cargo.toml", "src", "README.md", "LICENSE.md" ]
 license = "GPL-3.0"
 edition = "2018"
-
-[dependencies]
diff --git a/package/Cargo.toml b/package/Cargo.toml
index 0093edf123..14afff3175 100644
--- a/package/Cargo.toml
+++ b/package/Cargo.toml
@@ -1,21 +1,40 @@
 [package]
 name = "leo-package"
-version = "1.0.1"
-authors = ["The Aleo Team <hello@aleo.org>"]
+version = "1.0.2"
+authors = [ "The Aleo Team <hello@aleo.org>" ]
 description = "Package parser of the Leo programming language"
 homepage = "https://aleo.org"
 repository = "https://github.com/AleoHQ/leo"
-keywords = ["aleo", "cryptography", "leo", "programming-language", "zero-knowledge"]
-categories = ["cryptography::cryptocurrencies", "web-programming"]
-include = ["Cargo.toml", "src", "README.md", "LICENSE.md"]
+keywords = [
+  "aleo",
+  "cryptography",
+  "leo",
+  "programming-language",
+  "zero-knowledge"
+]
+categories = [ "cryptography::cryptocurrencies", "web-programming" ]
+include = [ "Cargo.toml", "src", "README.md", "LICENSE.md" ]
 license = "GPL-3.0"
 edition = "2018"
 
-[dependencies]
-serde = { version = "1.0", features = ["derive"] }
-serde_json = { version = "1.0" }
-thiserror = { version = "1.0" }
-toml = { version = "0.5" }
-tracing = { version = "0.1" }
-walkdir = { version = "2" }
-zip = { version = "0.5" }
+[dependencies.serde]
+version = "1.0"
+features = [ "derive" ]
+
+[dependencies.serde_json]
+version = "1.0"
+
+[dependencies.thiserror]
+version = "1.0"
+
+[dependencies.toml]
+version = "0.5"
+
+[dependencies.tracing]
+version = "0.1"
+
+[dependencies.walkdir]
+version = "2"
+
+[dependencies.zip]
+version = "0.5"
diff --git a/state/Cargo.toml b/state/Cargo.toml
index 16839506f7..760baa0a87 100644
--- a/state/Cargo.toml
+++ b/state/Cargo.toml
@@ -1,31 +1,65 @@
 [package]
 name = "leo-state"
-version = "1.0.1"
-authors = ["The Aleo Team <hello@aleo.org>"]
+version = "1.0.2"
+authors = [ "The Aleo Team <hello@aleo.org>" ]
 description = "State parser of the Leo programming language"
 homepage = "https://aleo.org"
 repository = "https://github.com/AleoHQ/leo"
-keywords = ["aleo", "cryptography", "leo", "programming-language", "zero-knowledge"]
-categories = ["cryptography::cryptocurrencies", "web-programming"]
-include = ["Cargo.toml", "src", "README.md", "LICENSE.md"]
+keywords = [
+  "aleo",
+  "cryptography",
+  "leo",
+  "programming-language",
+  "zero-knowledge"
+]
+categories = [ "cryptography::cryptocurrencies", "web-programming" ]
+include = [ "Cargo.toml", "src", "README.md", "LICENSE.md" ]
 license = "GPL-3.0"
 edition = "2018"
 
-[dependencies]
-leo-input = { path = "../input", version = "1.0.1" }
-leo-typed = { path = "../typed", version = "1.0.1" }
+[dependencies.leo-input]
+path = "../input"
+version = "1.0.2"
 
-snarkos-algorithms = { version = "1.1.3", default-features = false }
-snarkos-curves = { version = "1.1.3", default-features = false }
-snarkos-dpc = {  version = "1.1.3", default-features = false }
-snarkos-errors = { version = "1.1.3", default-features = false }
-snarkos-models =  { version = "1.1.3", default-features = false }
-snarkos-objects = { version = "1.1.3", default-features = false }
-snarkos-utilities = { version = "1.1.3" }
+[dependencies.leo-typed]
+path = "../typed"
+version = "1.0.2"
 
-rand = { version = "0.7" }
-rand_xorshift = { version = "0.2" }
-thiserror = { version = "1.0" }
+[dependencies.snarkos-algorithms]
+version = "1.1.3"
+default-features = false
 
-[dev-dependencies]
-snarkos-storage = { version = "1.1.4" }
+[dependencies.snarkos-curves]
+version = "1.1.3"
+default-features = false
+
+[dependencies.snarkos-dpc]
+version = "1.1.3"
+default-features = false
+
+[dependencies.snarkos-errors]
+version = "1.1.3"
+default-features = false
+
+[dependencies.snarkos-models]
+version = "1.1.3"
+default-features = false
+
+[dependencies.snarkos-objects]
+version = "1.1.3"
+default-features = false
+
+[dependencies.snarkos-utilities]
+version = "1.1.3"
+
+[dependencies.rand]
+version = "0.7"
+
+[dependencies.rand_xorshift]
+version = "0.2"
+
+[dependencies.thiserror]
+version = "1.0"
+
+[dev-dependencies.snarkos-storage]
+version = "1.1.4"
diff --git a/typed/Cargo.toml b/typed/Cargo.toml
index 1ccdac0745..8d84a3565c 100644
--- a/typed/Cargo.toml
+++ b/typed/Cargo.toml
@@ -1,13 +1,19 @@
 [package]
 name = "leo-typed"
-version = "1.0.1"
-authors = ["The Aleo Team <hello@aleo.org>"]
+version = "1.0.2"
+authors = [ "The Aleo Team <hello@aleo.org>" ]
 description = "Typed AST of the Leo programming language"
 homepage = "https://aleo.org"
 repository = "https://github.com/AleoHQ/leo"
-keywords = ["aleo", "cryptography", "leo", "programming-language", "zero-knowledge"]
-categories = ["cryptography::cryptocurrencies", "web-programming"]
-include = ["Cargo.toml", "src", "README.md", "LICENSE.md"]
+keywords = [
+  "aleo",
+  "cryptography",
+  "leo",
+  "programming-language",
+  "zero-knowledge"
+]
+categories = [ "cryptography::cryptocurrencies", "web-programming" ]
+include = [ "Cargo.toml", "src", "README.md", "LICENSE.md" ]
 license = "GPL-3.0"
 edition = "2018"
 
@@ -20,20 +26,34 @@ name = "typed_ast"
 path = "benches/typed_ast.rs"
 harness = false
 
-[dependencies]
-leo-ast = { path = "../ast", version = "1.0.1" }
-leo-input = { path = "../input", version = "1.0.1" }
+[dependencies.leo-ast]
+path = "../ast"
+version = "1.0.2"
 
-snarkos-errors = { version = "1.1.3", default-features = false }
-snarkos-models = { version = "1.1.3", default-features = false }
+[dependencies.leo-input]
+path = "../input"
+version = "1.0.2"
 
-pest = { version = "2.0" }
-serde = { version = "1.0" }
-serde_json = { version = "1.0" }
+[dependencies.snarkos-errors]
+version = "1.1.3"
+default-features = false
 
-[dev-dependencies]
-criterion = { version = "0.3" }
+[dependencies.snarkos-models]
+version = "1.1.3"
+default-features = false
+
+[dependencies.pest]
+version = "2.0"
+
+[dependencies.serde]
+version = "1.0"
+
+[dependencies.serde_json]
+version = "1.0"
+
+[dev-dependencies.criterion]
+version = "0.3"
 
 [features]
-default = []
-ci_skip = ["leo-ast/ci_skip"]
+default = [ ]
+ci_skip = [ "leo-ast/ci_skip" ]

From 3b737b2a34ac3c4ce32804b82c34ba5d097abf02 Mon Sep 17 00:00:00 2001
From: howardwu <howardwu@berkeley.edu>
Date: Fri, 28 Aug 2020 23:38:30 -0700
Subject: [PATCH 3/3] Update leo cli version to dedicated file

---
 leo/leo-version | 1 +
 leo/main.rs     | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)
 create mode 100644 leo/leo-version

diff --git a/leo/leo-version b/leo/leo-version
new file mode 100644
index 0000000000..570c796513
--- /dev/null
+++ b/leo/leo-version
@@ -0,0 +1 @@
+v1.0.2
diff --git a/leo/main.rs b/leo/main.rs
index 8214e43df8..ae9ea633ec 100644
--- a/leo/main.rs
+++ b/leo/main.rs
@@ -21,7 +21,7 @@ use clap::{App, AppSettings, Arg};
 #[cfg_attr(tarpaulin, skip)]
 fn main() -> Result<(), CLIError> {
     let arguments = App::new("leo")
-        .version("v1.0.1")
+        .version(include_str!("./leo-version"))
         .about("Leo compiler and package manager")
         .author("The Aleo Team <hello@aleo.org>")
         .settings(&[