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

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 ];