max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: Nix: update vscode-lean4

Browse source
This commit is contained in:
Sebastian Ullrich 2021-04-08 09:51:01 +02:00
parent 2da8e5afa1
commit 898222686c
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
nix/packages.nix
View file

@ -59,8 +59,8 @@ let
vscode-lean4 = vscode-utils.extensionFromVscodeMarketplace {
name = "lean4";
publisher = "leanprover";
version = "0.0.18";
sha256 = "sha256-VYjm7Yp6iItjbVAkH6bjTCDGvnkYNKr7bN3WDUZnDzQ=";
version = "0.0.23";
sha256 = "sha256-DlP3O2mMAIXV7XwcZFHpa4Vp/9cxxtu9O+gQUW8MddA=";
};
lean-vscode = vscode-with-extensions.override {
vscodeExtensions = [ vscode-lean4 ];