From ec4ed42ca79a653057adcc621ef4eb3987ce695b Mon Sep 17 00:00:00 2001 From: Wolfgang Walther Date: Thu, 23 Oct 2025 12:33:47 +0200 Subject: [PATCH] tamarin-prover: mark as broken This keeps showing up in haskell-updates' build reports, but is not automatically marked broken by our scripts, because it is a top-level package. Let's mark it as broken until somebody can get around to fixing it. --- pkgs/applications/science/logic/tamarin-prover/default.nix | 3 +++ 1 file changed, 3 insertions(+) diff --git a/pkgs/applications/science/logic/tamarin-prover/default.nix b/pkgs/applications/science/logic/tamarin-prover/default.nix index c03d1825e152..6d382ed87d3d 100644 --- a/pkgs/applications/science/logic/tamarin-prover/default.nix +++ b/pkgs/applications/science/logic/tamarin-prover/default.nix @@ -32,6 +32,9 @@ let description = "Security protocol verification in the symbolic model"; maintainers = [ lib.maintainers.thoughtpolice ]; hydraPlatforms = lib.platforms.linux; # maude is broken on darwin + # Has been broken for a while now: + # https://hydra.nixos.org/job/nixpkgs/trunk/tamarin-prover.x86_64-linux + broken = true; }; # tamarin use symlinks to the LICENSE and Setup.hs files, so for these sublibraries