Bump versions of kontroli / kocheck.

01mf02 · Jun 9, 2022 · 1943c41 · 1943c41
1 parent dc8b9e9
commit 1943c41
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 7 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/kocheck/Cargo.toml b/kocheck/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "kocheck"
-version = "0.3.0"
+version = "0.4.0"
 authors = ["Michael Färber <[email protected]>"]
 edition = "2021"
 description = "Type checker for the lambda-Pi calculus modulo rewriting"
@@ -19,7 +19,7 @@ clap = { version = "3.1.18", features = ["derive"] }
 colosseum = "0.2.2"
 flume = { version = "0.10.12", default-features = false }
 mimalloc = { version = "0.1.29", default-features = false, optional = true }
-kontroli = { version = "0.3", path = "../kontroli" }
+kontroli = { version = "0.4.0", path = "../kontroli" }
 log = "0.4.17"
 env_logger = "0.9.0"
 rayon = "1.5.3"
diff --git a/kontroli/Cargo.toml b/kontroli/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "kontroli"
-version = "0.3.0"
+version = "0.4.0"
 authors = ["Michael Färber <[email protected]>"]
 edition = "2021"
 description = "Type checking for the lambda-Pi calculus modulo rewriting"
@@ -11,7 +11,7 @@ keywords = ["verification", "dependent-types", "type-checking", "rewriting", "de
 categories = ["concurrency", "no-std", "science"]
 
 [dependencies]
-dedukti-parse = { version = "0.2", path = "../dedukti-parse" }
+dedukti-parse = { version = "0.3.1", path = "../dedukti-parse" }
 fnv = "1.0.7"
 im = "15.1.0"
 lazy-st = "0.2"