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

Open

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

nixpkgs-ci wants to merge 1 commit into release-25.11 from backport-467234-to-release-25.11

tamarin-prover: add patch to allow maude 3.5.1

1dec0296

nixpkgs-ci added 10.rebuild-linux: 1-10

nixpkgs-ci added 10.rebuild-darwin: 0

nixpkgs-ci added 10.rebuild-linux: 1

nixpkgs-ci added 9.needs: reviewer

nixpkgs-ci added 4.workflow: backport

Reviewers

No reviews

Assignees

No one assigned

Labels

10.rebuild-linux: 1-10 10.rebuild-darwin: 0 10.rebuild-linux: 1 4.workflow: backport 9.needs: reviewer

Milestone

No milestone