From 37c633f7ae518456af1f3064bd5c386e2de92c37 Mon Sep 17 00:00:00 2001
From: Rick van Schijndel <rol3517@gmail.com>
Date: Sat, 28 May 2022 15:28:44 +0200
Subject: treewide: pkgs/applications: mark broken for darwin

---
 pkgs/applications/science/logic/mcrl2/default.nix | 1 +
 1 file changed, 1 insertion(+)

(limited to 'pkgs/applications/science/logic/mcrl2/default.nix')

diff --git a/pkgs/applications/science/logic/mcrl2/default.nix b/pkgs/applications/science/logic/mcrl2/default.nix
index da9231efb813e..a042bd6c751b8 100644
--- a/pkgs/applications/science/logic/mcrl2/default.nix
+++ b/pkgs/applications/science/logic/mcrl2/default.nix
@@ -16,6 +16,7 @@ stdenv.mkDerivation rec {
   dontWrapQtApps = true;
 
   meta = with lib; {
+    broken = stdenv.isDarwin;
     description = "A toolset for model-checking concurrent systems and protocols";
     longDescription = ''
       A formal specification language with an associated toolset,
-- 
cgit 1.4.1