chore: ⬆️ 更新NAVM依赖版本 0.15→0.17

Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "babel_nar"
-version = "0.25.1"
+version = "0.25.2"
 edition = "2021"
 description = """
 Implementation and application supports of the NAVM model
@@ -54,7 +54,7 @@ features = [
 # ! 本地依赖可以不添加版本
 # 载入NAVM API，引入「非公理虚拟机」模型
 # path = "../NAVM.rs"
-version = "0.15" # 现已发布于`crates.io`
+version = "0.17" # 现已发布于`crates.io`
 # git = "https://github.com/ARCJ137442/NAVM.rs"
 # ! 【2024-03-23 19:19:01】似乎Rust-Analyzer无法获取私有仓库数据
 features = [] # ! 【2024-03-21 09:24:51】暂时没有特性