Unverified Commit 2597afa8 authored by Weijia Wang's avatar Weijia Wang Committed by GitHub
Browse files

Merge pull request #232489 from wegank/isabelle-linter-platforms 

isabelle-components.isabelle-linter: add platforms
parents 31be1604 55e5de41

pkgs/applications/science/logic/isabelle/components/isabelle-linter.nix

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

  };

}