diff --git a/Cargo.lock b/Cargo.lock
index fd49e72..683bb1b 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -575,6 +575,8 @@ dependencies = [
 [[package]]
 name = "navm"
 version = "0.14.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "bcaacc0e150da6d931c9bd71be0b4168c1bac253d5439d1c10dde33862de998b"
 dependencies = [
  "anyhow",
  "nar_dev_utils",
diff --git a/Cargo.toml b/Cargo.toml
index aa7a2e3..0204430 100644
--- 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】暂时没有特性