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

vscode-extensions.banacorn.agda-mode: 0.6.0 -> 0.6.1 (#424923)

Browse Source
This commit is contained in:
Pol Dellaiera
2025-07-20 07:59:23 +02:00
committed by GitHub
parent 26ad8f3fa1 72f51f3e98
commit 49160a2019
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
@@ -493,8 +493,8 @@ let
mktplcRef = {
publisher = "banacorn";
name = "agda-mode";
version = "0.6.0";
hash = "sha256-C55ogw05iFmodYox/igaCu0MkEbvqpTPX1MSlcz8G50=";
version = "0.6.1";
hash = "sha256-Hd4pIjIUT1lAx6bjPu7LLL4RakRkjUtQ91mPI7iiquQ=";
};
meta = {
changelog = "https://marketplace.visualstudio.com/items/banacorn.agda-mode/changelog";