gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

vscode-extensions.banacorn.agda-mode: 0.5.4 -> 0.5.5

Browse Source
This commit is contained in:
emaryn
2025-04-08 14:59:48 +05:30
committed by Masum Reza
parent 576393b6bf
commit 8b49226119
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/applications/editors/vscode/extensions/default.nix
+2 -2
View File
@@ -490,8 +490,8 @@ let
mktplcRef = {
publisher = "banacorn";
name = "agda-mode";
version = "0.5.4";
hash = "sha256-U+J1FxFMK0tfi+YueXohnommHXagoadVYsZLp5lAC3Q=";
version = "0.5.5";
hash = "sha256-xz+KO743jGziLzO7pINTcOX9JV68MJ0juDl+rpr9hk8=";
};
meta = {
changelog = "https://marketplace.visualstudio.com/items/banacorn.agda-mode/changelog";