diff --git a/pkgs/by-name/be/benchexec/package.nix b/pkgs/by-name/be/benchexec/package.nix index be860eaad4d0..bca21cbc4506 100644 --- a/pkgs/by-name/be/benchexec/package.nix +++ b/pkgs/by-name/be/benchexec/package.nix @@ -9,17 +9,22 @@ }: python3.pkgs.buildPythonApplication rec { pname = "benchexec"; - version = "3.21"; + version = "3.27"; src = fetchFromGitHub { owner = "sosy-lab"; repo = "benchexec"; rev = version; - hash = "sha256-bE3brmmLHZQakDKvd47I1hm9Dcsu6DrSeJyjWWtEZWI="; + hash = "sha256-lokz7klAQAascij0T/T43/PrbMh6ZUAvFnIqg13pVUk="; }; pyproject = true; + postPatch = '' + substituteInPlace pyproject.toml \ + --replace-fail 'setuptools ==' 'setuptools >=' + ''; + nativeBuildInputs = with python3.pkgs; [ setuptools ]; # NOTE: CPU Energy Meter is not added,