From 446842e3525ba6e6cc4790d671f39b54ab96a916 Mon Sep 17 00:00:00 2001
From: ARCJ137442 <61109168+ARCJ137442@users.noreply.github.com>
Date: Sat, 13 Apr 2024 18:32:04 +0800
Subject: [PATCH] =?UTF-8?q?docs:=20:arrow=5Fup:=20=E6=9B=B4=E6=94=B9NAVM?=
 =?UTF-8?q?=E4=BE=9D=E8=B5=96=E6=BA=90=EF=BC=9A=E6=9C=AC=E5=9C=B0=E2=86=92?=
 =?UTF-8?q?crates.io?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 Cargo.lock | 2 ++
 Cargo.toml | 3 ++-
 2 files changed, 4 insertions(+), 1 deletion(-)

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】暂时没有特性