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

Merge pull request #232456 from hydrogenoxide/update/isabelle-linter 

isabelle-linter: unstable-2022-09-05 -> 1.2.1
parents ee8921a1 44110aeb

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

+3 −3
Original line number Diff line number Diff line
@@ -2,13 +2,13 @@ 


stdenv.mkDerivation rec {

  pname = "isabelle-linter";

  version = "unstable-2022-09-05";

  version = "1.2.1";



  src = fetchFromGitHub {

    owner = "isabelle-prover";

    repo = "isabelle-linter";

    rev = "0424fc05426d5f7a23adf19ad08c690c17184e86";

    sha256 = "02afbgmi195ibichjkpni2wjgjkszv7i6qkmmprwrmb4jd2wdvd5";

    rev = "Isabelle2022-v${version}";

    sha256 = "sha256-qlojNCsm3/49TtAVq6J31BbQipdIoDcn71pBotZyquY=";

  };



  nativeBuildInputs = [ isabelle ];