From 7f42327176f3494c33a78e1380e1521094354bb9 Mon Sep 17 00:00:00 2001
From: "Narazaki, Shuji" <shujinarazaki@protonmail.com>
Date: Fri, 7 Jul 2023 23:36:50 +0900
Subject: [PATCH] bump version to 0.17.1

---
 Cargo.toml | 2 +-
 flake.lock | 6 +++---
 flake.nix  | 2 +-
 3 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/Cargo.toml b/Cargo.toml
index b4b887b17..7e89d1739 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "splr"
-version = "0.17.1-RC1"
+version = "0.17.1"
 authors = ["Narazaki Shuji <shujinarazaki@protonmail.com>"]
 description = "A modern CDCL SAT solver in Rust"
 edition = "2021"
diff --git a/flake.lock b/flake.lock
index 72e481f84..2995f4c8b 100644
--- a/flake.lock
+++ b/flake.lock
@@ -2,11 +2,11 @@
   "nodes": {
     "nixpkgs": {
       "locked": {
-        "lastModified": 1675076814,
-        "narHash": "sha256-/ehSlmU0dGGkpsRAVjn9+le2fPeiqcs2gARb0mHfjkQ=",
+        "lastModified": 1688738153,
+        "narHash": "sha256-FHVW6kzWIlhRjpdNq/327kC6J7oQmVGvzkSIjzZbSdw=",
         "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "880161efe12c0b27e41fd1a45bb74a20c2877021",
+        "rev": "73d174c62ba412c79358895282b6ecee9497469a",
         "type": "github"
       },
       "original": {
diff --git a/flake.nix b/flake.nix
index ee8ea8e87..157e5d87d 100644
--- a/flake.nix
+++ b/flake.nix
@@ -14,7 +14,7 @@
                 stdenv.mkDerivation rec {
                   name = "splr-${version}";
                   pname = "splr";
-                  version = "0.17.0-20230130";
+                  version = "0.17.1-20230707";
                   src = self;
                   buildInputs = [ cargo libiconv rustc binutils ];
                   buildPhase = "cargo build --release";