Unverified Commit ec4ed42c authored by Wolfgang Walther's avatar Wolfgang Walther
Browse files

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.
parent 66799386

pkgs/applications/science/logic/tamarin-prover/default.nix

+3 −0
Original line number Diff line number Diff line
@@ -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