Different versions for library and binary

metamath · Nov 26, 2023 · 476fd5b · 476fd5b
1 parent f0b7f55
commit 476fd5b
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 3 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -9,7 +9,6 @@ resolver = "2"
 authors = ["David A. Wheeler <[email protected]>", "Stefan O'Rear <[email protected]>"]
 license = "MIT OR Apache-2.0"
 readme = "README.md"
-version = "0.3.6"
 description = "A parallel and incremental verifier for Metamath databases"
 repository = "https://github.com/metamath/metamath-knife"
 keywords = ["theorem", "proving", "verifier", "proof", "assistant"]

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.workspace = true
+version = "0.3.6"
 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.workspace = true
+version = "0.3.6"
 authors.workspace = true
 license.workspace = true
 repository.workspace = true