tamarin-prover: Mark broken

2021-05-11 01:56:48 +02:00 · 2021-05-11 01:56:48 +02:00 · 39c0dd99a4
commit 39c0dd99a4
parent 6af00835f7
1 changed files with 4 additions and 0 deletions
--- a/pkgs/applications/science/logic/tamarin-prover/default.nix
+++ b/pkgs/applications/science/logic/tamarin-prover/default.nix
@ -92,4 +92,8 @@ mkDerivation (common "tamarin-prover" src // {
          tamarin-prover-term
          tamarin-prover-theory
        ];
+
+  # tamarin-prover 1.6 is incompatible with maude 3.1.
+  hydraPlatforms = lib.platforms.none;
+  broken = true;
 })