nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-08-27 02:34:53 +00:00
Code Issues Packages Projects Releases Wiki Activity

vscode-extensions.banacorn.agda-mode: 0.10.0 -> 0.10.1 (#554921)

Browse Source
This commit is contained in:
Nick Cao
2026-08-21 19:17:21 +00:00
committed by GitHub
parent a70748b447 b23806ad8f
commit bbd04eeeb2
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.0";
hash = "sha256-rz3Ehq/2AewE5ADYHVk8pHICSWO58i8v+nBwzkFkGCY=";
version = "0.10.1";
hash = "sha256-jQn7DJ3LKnuWDtoTu0FhDXMZSUwasz8lwJ6O9K06B3M=";
};
meta = {
changelog = "https://marketplace.visualstudio.com/items/banacorn.agda-mode/changelog";