Running nixpkgs-update (https://nix-community.org/update-bot/) with UPDATE_INFO: circt 0 -> 1
attrpath: circt
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/fyj794g2j908anvv89yd9b1m1pwd62ka-packages.json.drv
building '/nix/store/fyj794g2j908anvv89yd9b1m1pwd62ka-packages.json.drv'...

Going to be running update for following packages:
 - circt-1.140.0

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

Packages updated!

Diff after rewrites:
diff --git a/pkgs/by-name/ci/circt/package.nix b/pkgs/by-name/ci/circt/package.nix
index f855bf648c17..d23a649a3bb6 100644
--- a/pkgs/by-name/ci/circt/package.nix
+++ b/pkgs/by-name/ci/circt/package.nix
@@ -27,12 +27,12 @@ let
 in
 stdenv.mkDerivation (finalAttrs: {
   pname = "circt";
-  version = "1.140.0";
+  version = "1.142.0";
   src = fetchFromGitHub {
     owner = "llvm";
     repo = "circt";
     tag = "firtool-${finalAttrs.version}";
-    hash = "sha256-oitdYNGsEyraQqouOt9srfbDgVGFOAGZMdcf/rjnx5Q=";
+    hash = "sha256-gzVohZD6Z8HgQl04js6MRhWLPUP0iWGZPIVNW73SDMU=";
     fetchSubmodules = true;
   };
 

No auto update branch exists
Received ExitFailure 1 when running
Raw command: nix-build --option sandbox true --arg config "{ allowUnfree = true; allowAliases = false; }" --arg overlays "[ ]" -A circt
nix build failed.
-- Did not find vivado.
-- Did NOT find clang-tidy.
-- Did NOT find systemc headers.
-- Did not find Quartus.
-- Did not find Questa.
-- Did not find yosys.
-- Did not find iverilog.
-- Could NOT find ortools (missing: ortools_DIR)
-- Performing Test CMAKE_HAVE_LIBC_PTHREAD
-- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Success
-- Found Threads: TRUE
-- Found Z3: /nix/store/x9zx4vkdq54jpwzbfk8v6picl95arq94-z3-4.15.8-lib/lib/libz3.so (found version "4.15.8")
-- Z3 identified as a logical backend.
-- Found z3 at /nix/store/qzngzax9x0f84g5iapqr3xjc4vg1a2sz-z3-4.15.8/bin.
-- CIRCT Python bindings are disabled.
-- Found Python3: /nix/store/7p7pcpabck4qkbyvnfvdfpws80js8773-python3-3.13.12-env/bin/python3.13 (found version "3.13.12") found components: Interpreter
-- Found python at /nix/store/7p7pcpabck4qkbyvnfvdfpws80js8773-python3-3.13.12-env/bin/python3.13
-- Did not find SymbiYosys.
-- slang Verilog frontend is enabled
CMake Error at CMakeLists.txt:610 (find_package):
  Could not find a configuration file for package "slang" that is compatible
  with requested version "10.0".

  The following configuration files were considered but not accepted:

    /nix/store/6y4927j1hfa0hijsqjxckx51z2ixb621-sv-lang-9.1/lib/cmake/slang/slangConfig.cmake, version: 9.1.0



-- Configuring incomplete, errors occurred!