Running nixpkgs-update (https://nix-community.org/update-bot/) with UPDATE_INFO: bitwuzla 0.9.0 -> 0.9.1 https://github.com/bitwuzla/bitwuzla/releases
attrpath: bitwuzla
Checking auto update branch...
No auto update branch exists
[version] 
[version] updated version and sha256
[rustCrateVersion] 
[rustCrateVersion] No cargoHash found
[golangModuleVersion] 
[golangModuleVersion] Not a buildGoModule package with vendorHash
[npmDepsVersion] 
[npmDepsVersion] No npmDepsHash
[updateScript] 
[updateScript] skipping because derivation has no updateScript
Diff after rewrites:
diff --git a/pkgs/by-name/bi/bitwuzla/package.nix b/pkgs/by-name/bi/bitwuzla/package.nix
index 1645e8076947..0f4cdddd4fe9 100644
--- a/pkgs/by-name/bi/bitwuzla/package.nix
+++ b/pkgs/by-name/bi/bitwuzla/package.nix
@@ -23,13 +23,13 @@
 
 stdenv.mkDerivation (finalAttrs: {
   pname = "bitwuzla";
-  version = "0.9.0";
+  version = "0.9.1";
 
   src = fetchFromGitHub {
     owner = "bitwuzla";
     repo = "bitwuzla";
     tag = finalAttrs.version;
-    hash = "sha256-3ThDKoXzCqDtiX3JXshqRtwri8V7lOFxmr+4IqQbUAQ=";
+    hash = "sha256-3uStLdDFhXVgqzremUPRbxPUcl0IqVg5MRLltgm8rCA=";
   };
 
   strictDeps = true;

Successfully finished processing
[check][nixpkgs-review]
## `nixpkgs-review` result

Generated using [`nixpkgs-review`](https://github.com/Mic92/nixpkgs-review).

Command: `nixpkgs-review --extra-nixpkgs-config '{ allowBroken = false; }'`
Commit: `70b00421a8a150b8fd3c793a78d94bc231a0fcae`

---
### `x86_64-linux`
<details>
  <summary>:white_check_mark: 5 packages built:</summary>
  <ul>
    <li>bitwuzla</li>
    <li>haskellPackages.grisette</li>
    <li>haskellPackages.linearEqSolver</li>
    <li>haskellPackages.sbv</li>
    <li>haskellPackages.crackNum</li>
  </ul>
</details>

Automatic update generated by [nixpkgs-update](https://github.com/nix-community/nixpkgs-update) tools. This update was made based on information from https://github.com/bitwuzla/bitwuzla/releases.

meta.description for bitwuzla is: SMT solver for fixed-size bit-vectors, floating-point arithmetic, arrays, and uninterpreted functions

meta.homepage for bitwuzla is: https://bitwuzla.github.io




###### Updates performed
- Version update

###### To inspect upstream changes





###### Impact

<b>Checks done</b>

---

- built on NixOS
- The tests defined in `passthru.tests`, if any, passed
- found 0.9.1 with grep in /nix/store/ffxfsv1gl42j1h35ifg2z14gqayv5yqa-bitwuzla-0.9.1
- found 0.9.1 in filename of file in /nix/store/ffxfsv1gl42j1h35ifg2z14gqayv5yqa-bitwuzla-0.9.1

---

<details>
<summary>
<b>Rebuild report</b> (if merged into master) (click to expand)
</summary>

```
6 total rebuild path(s)

6 package rebuild(s)

First fifty rebuilds by attrpath

bitwuzla
haskellPackages.crackNum
haskellPackages.grisette
haskellPackages.linearEqSolver
haskellPackages.sbv
```

</details>

<details>
<summary>
<b>Instructions to test this update</b> (click to expand)
</summary>

---

Either **download from the cache**:
```
nix-store -r /nix/store/ffxfsv1gl42j1h35ifg2z14gqayv5yqa-bitwuzla-0.9.1 \
  --option binary-caches 'https://cache.nixos.org/ https://nixpkgs-update-cache.nix-community.org/' \
  --option trusted-public-keys '
  nixpkgs-update-cache.nix-community.org-1:U8d6wiQecHUPJFSqHN9GSSmNkmdiFW7GW7WNAnHW0SM=
  cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY=
  '
```
(The nixpkgs-update cache is only trusted for this store-path realization.)
For the cached download to work, your user must be in the `trusted-users` list or you can use `sudo` since root is effectively trusted.

Or, **build yourself**:
```
nix-build -A bitwuzla https://github.com/r-ryantm/nixpkgs/archive/70b00421a8a150b8fd3c793a78d94bc231a0fcae.tar.gz
```
Or:
```
nix build github:r-ryantm/nixpkgs/70b00421a8a150b8fd3c793a78d94bc231a0fcae#bitwuzla
```

After you've downloaded or built it, look at the files and if there are any, run the binaries:
```
ls -la /nix/store/ffxfsv1gl42j1h35ifg2z14gqayv5yqa-bitwuzla-0.9.1
ls -la /nix/store/ffxfsv1gl42j1h35ifg2z14gqayv5yqa-bitwuzla-0.9.1/bin
```

---

</details>
<br/>



### Pre-merge build results

We have automatically built all packages that will get rebuilt due to
this change.

This gives evidence on whether the upgrade will break dependent packages.
Note sometimes packages show up as _failed to build_ independent of the
change, simply because they are already broken on the target branch.

## `nixpkgs-review` result

Generated using [`nixpkgs-review`](https://github.com/Mic92/nixpkgs-review).

Command: `nixpkgs-review --extra-nixpkgs-config '{ allowBroken = false; }'`
Commit: `70b00421a8a150b8fd3c793a78d94bc231a0fcae`

---
### `x86_64-linux`
<details>
  <summary>:white_check_mark: 5 packages built:</summary>
  <ul>
    <li>bitwuzla</li>
    <li>haskellPackages.grisette</li>
    <li>haskellPackages.linearEqSolver</li>
    <li>haskellPackages.sbv</li>
    <li>haskellPackages.crackNum</li>
  </ul>
</details>

---

###### Maintainer pings

cc @symphorien for [testing](https://github.com/nix-community/nixpkgs-update/blob/main/doc/nixpkgs-maintainer-faq.md#r-ryantm-opened-a-pr-for-my-package-what-do-i-do).

> [!TIP]
> As a maintainer, if your package is located under `pkgs/by-name/*`, you can comment **`@NixOS/nixpkgs-merge-bot merge`** to automatically merge this update using the [`nixpkgs-merge-bot`](https://github.com/NixOS/nixpkgs/blob/master/ci/README.md#nixpkgs-merge-bot).
https://api.github.com/repos/NixOS/nixpkgs/pulls/526041