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

Jayman2000 approved these changes on 2026-02-05

nixpkgs-ci removed 9.needs: reviewer

nixpkgs-ci added 12.approvals: 1

Reviewers

Jayman2000

Assignees

No one assigned

Labels

10.rebuild-linux: 1-10 10.rebuild-darwin: 0 10.rebuild-linux: 1 12.approvals: 1 4.workflow: backport

Milestone

No milestone