version

cozodb · Sep 16, 2023 · 5e0b928 · 5e0b928
1 parent 0107e6b
commit 5e0b928
Show file tree

Hide file tree

Showing 5 changed files with 4 additions and 4 deletions.
diff --git a/.DS_Store b/.DS_Store
diff --git a/README-zh.md b/README-zh.md
@@ -9,7 +9,7 @@
 首先你需要根据你的操作系统和处理器，从 [GitHub](下载页面) 下载对应的预编译的 C 语言库（以 `libcozo_c` 开头的文件）。下载后需要将其解压，然后设置一些环境变量。这个 [脚本](pull_libs.sh) 在类 UNIX 系统里可以帮你把这些做了：
 
 ```bash
-COZO_VERSION=0.7.2
+COZO_VERSION=0.7.5
 
 COZO_PLATFORM=x86_64-unknown-linux-gnu # for Linux
 #COZO_PLATFORM=aarch64-apple-darwin # uncomment for ARM Mac

diff --git a/README.md b/README.md
@@ -14,7 +14,7 @@ variables before you can use this library.
 The following script ([here](pull_libs.sh)) does this for you on UNIX systems:
 
 ```bash
-COZO_VERSION=0.7.2
+COZO_VERSION=0.7.5
 
 COZO_PLATFORM=x86_64-unknown-linux-gnu # for Linux
 #COZO_PLATFORM=aarch64-apple-darwin # uncomment for ARM Mac

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-0.7.2
+0.7.5
diff --git a/pull_libs.sh b/pull_libs.sh
@@ -7,7 +7,7 @@
 # You can obtain one at https://mozilla.org/MPL/2.0/.
 #
 
-COZO_VERSION=0.7.2
+COZO_VERSION=0.7.5
 
 COZO_PLATFORM=x86_64-unknown-linux-gnu # for Linux
 #COZO_PLATFORM=aarch64-apple-darwin # uncomment for ARM Mac