docs: ⬆️ 更改NAVM依赖源：本地→crates.io

ARCJ137442 · Apr 13, 2024 · 446842e · 446842e
1 parent a19a098
commit 446842e
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -53,7 +53,8 @@ features = [
 [dependencies.navm]
 # ! 本地依赖可以不添加版本
 # 载入NAVM API，引入「非公理虚拟机」模型
-path = "../NAVM.rs"
+# path = "../NAVM.rs"
+version = "0" # 现已发布于`crates.io`
 # git = "https://github.com/ARCJ137442/NAVM.rs"
 # ! 【2024-03-23 19:19:01】似乎Rust-Analyzer无法获取私有仓库数据
 features = [] # ! 【2024-03-21 09:24:51】暂时没有特性