version 0.3.8

metamath · Apr 15, 2024 · 922b200 · 922b200
1 parent 10688fe
commit 922b200
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/metamath-knife/Cargo.toml b/metamath-knife/Cargo.toml
@@ -2,7 +2,7 @@
 name = "metamath-knife"
 readme = "metamath-knife/README.md"
 description = "A command-line tool for Metamath, including parallel and incremental verifier for Metamath databases"
-version = "0.3.6"
+version = "0.3.8"
 authors.workspace = true
 license.workspace = true
 repository.workspace = true

diff --git a/metamath-rs/Cargo.toml b/metamath-rs/Cargo.toml
@@ -2,7 +2,7 @@
 name = "metamath-rs"
 readme = "metamath-rs/README.md"
 description = "A library manipulating Metamath databases, including a parallel and incremental verifier for Metamath databases"
-version = "0.3.6"
+version = "0.3.8"
 authors.workspace = true
 license.workspace = true
 repository.workspace = true