leonv/nixos
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

update agda-mode vscode extension

Browse source
This commit is contained in:
Leon Vatthauer 2024-02-21 13:33:07 +01:00
parent f72e93eced
commit 8632688d6c
Signed by: leonv
SSH key fingerprint: SHA256:G4+ddwoZmhLPRB1agvXzZMXIzkVJ36dUYZXf5NxT+u8
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
common/vscode.nix
View file

@ -13,6 +13,7 @@
bbenoist.nix bbenoist.nix
mkhl.direnv mkhl.direnv
catppuccin.catppuccin-vsc catppuccin.catppuccin-vsc
valentjn.vscode-ltex
] ++ pkgs.vscode-utils.extensionsFromVscodeMarketplace [ ] ++ pkgs.vscode-utils.extensionsFromVscodeMarketplace [
{ {
name = "theme-panda"; name = "theme-panda";
@ -23,8 +24,8 @@
{ {
name = "agda-mode"; name = "agda-mode";
publisher = "banacorn"; publisher = "banacorn";
version = "0.4.1"; version = "0.4.7";
sha256 = "sha256-Zt2OifhS5BI0HcMZkKOa1gqV9Vpj0lIUR6VcHvX5M9o="; sha256 = "sha256-gNa3n16lP3ooBRvGaugTua4IXcIzpMk7jBYMJDQsY00=";
} }
{ {
name = "yuck"; name = "yuck";