Unverified Commit 92889d42 authored by Nick Cao's avatar Nick Cao Committed by GitHub
Browse files

vscode-extensions.leanprover.lean4: 0.0.226 -> 0.0.229 (#507965)

parents 2bd754c5 5c6a7d99

pkgs/applications/editors/vscode/extensions/leanprover.lean4/default.nix

+2 −2
Original line number Diff line number Diff line
@@ -7,8 +7,8 @@ vscode-utils.buildVscodeMarketplaceExtension { 
  mktplcRef = {

    name = "lean4";

    publisher = "leanprover";

    version = "0.0.226";

    hash = "sha256-K5zqYX1I3yHLgXzDCPGCnQzChQ4pPCHGriRKSP7ZbGE=";

    version = "0.0.229";

    hash = "sha256-gwyBpoUXlTVbxljU+/bxeIvMhS7/t5QYlop6z474nWg=";

  };



  meta = {