maude 3.3.1 -> 3.4 https://github.com/SRI-CSL/Maude/releases
attrpath: maude
Checking auto update branch...
No auto update branch exists
[version] 
[version] updated version and sha256
[rustCrateVersion] 
[rustCrateVersion] No cargoSha256 or cargoHash found
[golangModuleVersion] 
[golangModuleVersion] Not a buildGoModule package with vendorSha256 or vendorHash
[npmDepsVersion] 
[npmDepsVersion] No npmDepsHash
[updateScript] 
[updateScript] skipping because derivation has no updateScript
Diff after rewrites:
diff --git a/pkgs/development/interpreters/maude/default.nix b/pkgs/development/interpreters/maude/default.nix
index f8d4e98c90b2..9d28655045c5 100644
--- a/pkgs/development/interpreters/maude/default.nix
+++ b/pkgs/development/interpreters/maude/default.nix
@@ -5,7 +5,7 @@
 }:
 
 let
-  version = "3.3.1";
+  version = "3.4";
 in
 
 stdenv.mkDerivation {
@@ -14,7 +14,7 @@ stdenv.mkDerivation {
 
   src = fetchurl {
     url = "https://github.com/SRI-CSL/Maude/archive/refs/tags/Maude${version}.tar.gz";
-    sha256 = "ueM8qi3fLogWT8bA+ZyBnd9Zr9oOKuoiu2YpG6o5J1E=";
+    sha256 = "sha256-IXWEWAmh388NpNSt9wnOpLkzhZ09N+AStO2wn5dRT8o=";
   };
 
   nativeBuildInputs = [ flex bison unzip makeWrapper ];

Successfully finished processing
cachix "/nix/store/091lz1jx5q6s4kbhc0r8qx2qc5irkjzz-maude-3.4"
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 3
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 4
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 5
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 5
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 3
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 3
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 3
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 3
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 3
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 3
[check][nixpkgs-review]
Result of `nixpkgs-review --extra-nixpkgs-config '{ allowInsecurePredicate = x: true; }'` run on x86_64-linux [1](https://github.com/Mic92/nixpkgs-review)
<details>
  <summary>1 package failed to build:</summary>
  <ul>
    <li>tamarin-prover</li>
  </ul>
</details>
<details>
  <summary>1 package built:</summary>
  <ul>
    <li>maude</li>
  </ul>
</details>

Automatic update generated by [nixpkgs-update](https://github.com/ryantm/nixpkgs-update) tools. This update was made based on information from https://github.com/SRI-CSL/Maude/releases.


meta.description for maude is: High-level specification language

meta.homepage for maude is: http://maude.cs.illinois.edu/




###### Updates performed
- Version update

###### To inspect upstream changes





###### Impact

<b>Checks done</b>

---

- built on NixOS
- Warning: a test defined in `passthru.tests` did not pass
- found 3.4 with grep in /nix/store/091lz1jx5q6s4kbhc0r8qx2qc5irkjzz-maude-3.4
- found 3.4 in filename of file in /nix/store/091lz1jx5q6s4kbhc0r8qx2qc5irkjzz-maude-3.4

---

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

```
2 total rebuild path(s)

2 package rebuild(s)

First fifty rebuilds by attrpath
maude
tamarin-prover
```

</details>

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

---

Either **download from Cachix**:
```
nix-store -r /nix/store/091lz1jx5q6s4kbhc0r8qx2qc5irkjzz-maude-3.4 \
  --option binary-caches 'https://cache.nixos.org/ https://nix-community.cachix.org/' \
  --option trusted-public-keys '
  nix-community.cachix.org-1:mB9FSh9qf2dCimDSUo8Zy7bkq5CX+/rkCWyvRCYg3Fs=
  cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY=
  '
```
(The Cachix cache is only trusted for this store-path realization.)
For the Cachix 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 maude https://github.com/r-ryantm/nixpkgs/archive/6e4502c98551f24fba854e23fe194bcd2f18f8f4.tar.gz
```
Or:
```
nix build github:r-ryantm/nixpkgs/6e4502c98551f24fba854e23fe194bcd2f18f8f4#maude
```

After you've downloaded or built it, look at the files and if there are any, run the binaries:
```
ls -la /nix/store/091lz1jx5q6s4kbhc0r8qx2qc5irkjzz-maude-3.4
ls -la /nix/store/091lz1jx5q6s4kbhc0r8qx2qc5irkjzz-maude-3.4/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.

Result of `nixpkgs-review --extra-nixpkgs-config '{ allowInsecurePredicate = x: true; }'` run on x86_64-linux [1](https://github.com/Mic92/nixpkgs-review)
<details>
  <summary>1 package failed to build:</summary>
  <ul>
    <li>tamarin-prover</li>
  </ul>
</details>
<details>
  <summary>1 package built:</summary>
  <ul>
    <li>maude</li>
  </ul>
</details>

---

###### Maintainer pings

cc @peti for [testing](https://github.com/ryantm/nixpkgs-update/blob/master/doc/nixpkgs-maintainer-faq.md#r-ryantm-opened-a-pr-for-my-package-what-do-i-do).
https://api.github.com/repos/NixOS/nixpkgs/pulls/297323