Unverified Commit 5b61dd80 authored by Weijia Wang's avatar Weijia Wang Committed by GitHub
Browse files

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

opensmt: 2.5.0 -> 2.5.1
parents 0ba51a51 b954ef28
Loading
Loading
Loading
Loading
+2 −2
Original line number Diff line number Diff line
@@ -6,13 +6,13 @@

stdenv.mkDerivation rec {
  pname = "opensmt";
  version = "2.5.0";
  version = "2.5.1";

  src = fetchFromGitHub {
    owner = "usi-verification-and-security";
    repo = "opensmt";
    rev = "v${version}";
    sha256 = "sha256-+u0Go+QU56mmV1G+m+sDOhi3QaWveZILS9fWv8THoWc=";
    sha256 = "sha256-XwrhqxDunao4uyUyBhDgGdMjRlmetke77Zmb7za+Aes=";
  };

  nativeBuildInputs = [ cmake bison flex ];