Running nixpkgs-update (https://nix-community.org/update-bot/) with UPDATE_INFO: benchexec 3.27 -> 3.35 https://github.com/sosy-lab/benchexec/releases
attrpath: benchexec
Checking auto update branch...
[version] 
[version] skipping because derivation has updateScript
[rustCrateVersion] 
[rustCrateVersion] No cargoHash found
[golangModuleVersion] 
[golangModuleVersion] Not a buildGoModule package with vendorHash
[npmDepsVersion] 
[npmDepsVersion] No npmDepsHash
[updateScript] 
[updateScript] Success
[updateScript] this derivation will be built:
  /nix/store/5v6zc9rbnlk5x13zd2mbyshxa57ihm6l-packages.json.drv
building '/nix/store/5v6zc9rbnlk5x13zd2mbyshxa57ihm6l-packages.json.drv'...
structuredAttrs is enabled

Going to be running update for following packages:
 - benchexec-3.27

Press Enter key to continue...
Running update for:
Enqueuing group of 1 packages
 - benchexec-3.27: UPDATING ...
 - benchexec-3.27: DONE.

Packages updated!

Diff after rewrites:
diff --git a/pkgs/by-name/be/benchexec/package.nix b/pkgs/by-name/be/benchexec/package.nix
index 6f118a2f71d9..b7a582e4eace 100644
--- a/pkgs/by-name/be/benchexec/package.nix
+++ b/pkgs/by-name/be/benchexec/package.nix
@@ -9,13 +9,13 @@
 }:
 python3.pkgs.buildPythonApplication (finalAttrs: {
   pname = "benchexec";
-  version = "3.27";
+  version = "3.35";
 
   src = fetchFromGitHub {
     owner = "sosy-lab";
     repo = "benchexec";
     tag = finalAttrs.version;
-    hash = "sha256-lokz7klAQAascij0T/T43/PrbMh6ZUAvFnIqg13pVUk=";
+    hash = "sha256-qYBSpDZqKBPiGkftjTVxVah+eS8NaAt9q0UEaara+iE=";
   };
 
   pyproject = true;

No auto update branch exists
Old version 3.27" not present in staging derivation file with contents: {
  lib,
  fetchFromGitHub,
  python3,
  libseccomp,
  nixosTests,
  testers,
  benchexec,
}:

python3.pkgs.buildPythonApplication (finalAttrs: {
  pname = "benchexec";
  version = "3.35";
  pyproject = true;

  src = fetchFromGitHub {
    owner = "sosy-lab";
    repo = "benchexec";
    tag = finalAttrs.version;
    hash = "sha256-qYBSpDZqKBPiGkftjTVxVah+eS8NaAt9q0UEaara+iE=";
  };

  build-system = with python3.pkgs; [ setuptools ];

  # NOTE: CPU Energy Meter is not added,
  # because BenchExec should call the wrapper configured
  # via `security.wrappers.cpu-energy-meter`
  # in `programs.cpu-energy-meter`, which will have the required
  # capabilities to access MSR.
  # If we add `cpu-energy-meter` here, BenchExec will instead call an executable
  # without `CAP_SYS_RAWIO` and fail.
  dependencies = with python3.pkgs; [
    coloredlogs
    lxml
    pystemd
    pyyaml
  ];

  makeWrapperArgs = [
    "--set-default"
    "LIBSECCOMP"
    "${lib.getLib libseccomp}/lib/libseccomp.so"
  ];

  passthru.tests =
    let
      testVersion =
        result:
        testers.testVersion {
          command = "${result} --version";
          package = benchexec;
        };
    in
    {
      nixos = nixosTests.benchexec;
      benchexec-version = testVersion "benchexec";
      runexec-version = testVersion "runexec";
      table-generator-version = testVersion "table-generator";
      containerexec-version = testVersion "containerexec";
    };

  meta = {
    description = "Framework for Reliable Benchmarking and Resource Measurement";
    homepage = "https://github.com/sosy-lab/benchexec";
    maintainers = with lib.maintainers; [ lorenzleutgeb ];
    license = lib.licenses.asl20;
    mainProgram = "benchexec";
  };
})