nixpkgs

[Backport release-25.11] tamarin-prover: add patch to allow maude 3.5.1

#468808

Open