isabelle: mark as broken on darwin

There is no dedicated darwin maintainer for isabelle
2024-07-06 18:41:30 +01:00
parent b68d63c236
commit ed0f599b4f
1 changed files with 1 additions and 0 deletions
@@ -221,6 +221,7 @@ in stdenv.mkDerivation (finalAttrs: rec {
    license = licenses.bsd3;
    maintainers = [ maintainers.jwiegley maintainers.jvanbruegge ];
    platforms = platforms.unix;
+    broken = stdenv.isDarwin;
  };

  passthru.withComponents = f: