nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-10-01 20:45:12 +00:00
Code Issues Packages Projects Releases Wiki Activity

vscode-extensions.banacorn.agda-mode: 0.10.2 -> 0.10.3

Browse Source
This commit is contained in:
R. Ryantm
2026-09-30 21:45:04 +00:00
parent fc872bf294
commit f3f7e45c4e
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/applications/editors/vscode/extensions/default.nix
View File

@@ -513,8 +513,8 @@ let
mktplcRef = {
publisher = "banacorn";
name = "agda-mode";
version = "0.10.2";
hash = "sha256-XpVhFFxmvoIHh64abRVQ+hrdauJBwg+doJGNoweH2hU=";
version = "0.10.3";
hash = "sha256-z1s4edXz1Wx29v/iSyxyEae5dygYuMsfawkGBMBeb94=";
};
meta = {
changelog = "https://marketplace.visualstudio.com/items/banacorn.agda-mode/changelog";