opensmt: 2.4.1 -> 2.4.2

stdenv.mkDerivation rec {

  pname = "opensmt";

  version = "2.4.1";

  version = "2.4.2";

  src = fetchFromGitHub {

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

    repo = "opensmt";

    rev = "v${version}";

    sha256 = "sha256-Hy+NCR0gbU06WnfIyKy6XTH94vd0CevwGbZ7KlXVvIQ=";

    sha256 = "sha256-BvENPCrQ9XWg4NgFIcOP04BysBGBmCRakA6NCFccKWE=";

  };

  nativeBuildInputs = [ cmake bison flex ];