opensmt: 2.6.0 -> 2.7.0

2024-05-30 04:55:03 +00:00
parent 3852c7ab26
commit 59c0a02bcb
1 changed files with 2 additions and 2 deletions
@@ -6,13 +6,13 @@

 stdenv.mkDerivation rec {
  pname = "opensmt";
-  version = "2.6.0";
+  version = "2.7.0";

  src = fetchFromGitHub {
    owner = "usi-verification-and-security";
    repo = "opensmt";
    rev = "v${version}";
-    sha256 = "sha256-glIiyPSkLG7sGYw5ujfl47GuDuPIPdP+UybA1vSn0Uw=";
+    sha256 = "sha256-zhNNnwc41B4sNq50kPub29EYhqV+FoDKRD/CLHnVyZw=";
  };

  nativeBuildInputs = [ cmake bison flex ];