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

stdenv.mkDerivation rec {

  pname = "opensmt";

  version = "2.4.3";

  version = "2.5.0";

  src = fetchFromGitHub {

    owner = "usi-verification-and-security";

    repo = "opensmt";

    rev = "v${version}";

    sha256 = "sha256-v0CyVMi7Hb4Kdw8v/ZcKXpVHabq4m2cOhsNGXXVI4dw=";

    sha256 = "sha256-+u0Go+QU56mmV1G+m+sDOhi3QaWveZILS9fWv8THoWc=";

  };

  nativeBuildInputs = [ cmake bison flex ];