maude: 3.3.1 -> 3.4

[timKraeuter]

Description of changes

Things done

• Built on platform(s)
  • x86_64-linux
  • aarch64-linux
  • x86_64-darwin
  • aarch64-darwin
• For non-Linux: Is sandboxing enabled in nix.conf? (See Nix manual)
  • sandbox = relaxed
  • sandbox = true
• Tested, as applicable:
  • NixOS test(s) (look inside nixos/tests)
  • and/or package tests
  • or, for functions and "core" functionality, tests in lib/tests or pkgs/test
  • made sure NixOS tests are linked to the relevant packages
• Tested compilation of all packages that depend on this change using nix-shell -p nixpkgs-review --run "nixpkgs-review rev HEAD". Note: all changes have to be committed, also see nixpkgs-review usage
• Tested basic functionality of all binary files (usually in ./result/bin/)
• 24.11 Release Notes (or backporting 23.11 and 24.05 Release notes)
  • (Package updates) Added a release notes entry if the change is major or breaking
  • (Module updates) Added a release notes entry if the change is significant
  • (Module addition) Added a release notes entry if adding a new NixOS module
• Fits CONTRIBUTING.md.

---

Add a 👍 reaction to pull requests you find important.

[Bot-wxt1221]

The old url now jumps to this new one. LGTM.

[donovanglover]

Result of nixpkgs-review pr 331988 run on x86_64-linux 1

1 package failed to build:

• tamarin-prover

1 package built:

• maude

Seems to be caused by https://github.com/tamarin-prover/tamarin-prover/blob/7b79a738b75c6fc8825614c23e3dc43381d3a203/src/Main/Console.hs#L176

[timKraeuter]

Result of nixpkgs-review pr 331988 run on x86_64-linux 1
1 package failed to build:
1 package built:

Seems to be caused by https://github.com/tamarin-prover/tamarin-prover/blob/7b79a738b75c6fc8825614c23e3dc43381d3a203/src/Main/Console.hs#L176

Thanks for the information. I created a pull request to update Maude in the tamarin-prover.

[drupol]

Looks like tests are broken.

[timKraeuter]

Once my pull request to tamarin-prover is merged and the package is updated, it should work.

[drupol]

Mark it as draft then please, so we don't spend time on this yet.

[timKraeuter]

My pull request to tamarin-prover was merged. They aim for a release in mid-September, which would include my fix.
I will wait with this pull request until a new release of the prover, which then becomes compatible with the new Maude version.