From 55e5de416f19973a821606e92818ab4981eefc50 Mon Sep 17 00:00:00 2001
From: Weijia Wang <9713184+wegank@users.noreply.github.com>
Date: Wed, 17 May 2023 23:01:48 +0300
Subject: [PATCH] isabelle-components.isabelle-linter: add platforms

---
 .../science/logic/isabelle/components/isabelle-linter.nix        | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pkgs/applications/science/logic/isabelle/components/isabelle-linter.nix b/pkgs/applications/science/logic/isabelle/components/isabelle-linter.nix
index d5d71a95e374..7587c4638c18 100644
--- a/pkgs/applications/science/logic/isabelle/components/isabelle-linter.nix
+++ b/pkgs/applications/science/logic/isabelle/components/isabelle-linter.nix
@@ -30,5 +30,6 @@ stdenv.mkDerivation rec {
     homepage = "https://github.com/isabelle-prover/isabelle-linter";
     maintainers = with maintainers; [ jvanbruegge ];
     license = licenses.mit;
+    platforms = platforms.all;
   };
 }