bump version to 0.17.2

shnarazk · Feb 4, 2024 · 729e81e · 729e81e
1 parent fbae80a
commit 729e81e
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "splr"
-version = "0.17.1"
+version = "0.17.2"
 authors = ["Narazaki Shuji <[email protected]>"]
 description = "A modern CDCL SAT solver in Rust"
 edition = "2021"

diff --git a/ChangeLog.md b/ChangeLog.md
@@ -1,4 +1,4 @@
-## 0.1X.X, 2024-0X-0X
+## 0.17.2, 2024-02-04
 
 - Add feature `platform_wasm`
 

diff --git a/flake.nix b/flake.nix
@@ -22,7 +22,7 @@
                 default = craneLib.buildPackage {
                   # name = "splr-${version}";
                   # pname = "splr";
-                  # version = "0.17.1-20240106";
+                  # version = "0.17.2-20240204";
                   src = craneLib.cleanCargoSource (craneLib.path ./.);
                   buildInputs = [cargo rustc binutils ]
                    ++ lib.optional stdenv.isDarwin [ libiconv ];