Merge pull request #244265 from r-ryantm/auto-update/opensmt

opensmt: 2.5.1 -> 2.5.2
2023-07-19 10:50:25 +00:00
parent 1f164b3610 baf2e9b036
commit 1bca3030f1
1 changed files with 2 additions and 2 deletions
@@ -6,13 +6,13 @@

 stdenv.mkDerivation rec {
  pname = "opensmt";
-  version = "2.5.1";
+  version = "2.5.2";

  src = fetchFromGitHub {
    owner = "usi-verification-and-security";
    repo = "opensmt";
    rev = "v${version}";
-    sha256 = "sha256-XwrhqxDunao4uyUyBhDgGdMjRlmetke77Zmb7za+Aes=";
+    sha256 = "sha256-gP2oaTEBVk54oK4Le5VudF7+HM8JXCzVqv8UXc08RFQ=";
  };

  nativeBuildInputs = [ cmake bison flex ];