vscode-extensions.banacorn.agda-mode: 0.6.3 -> 0.6.4 (#434411)

This commit is contained in:
Yohann Boniface 2025-08-17 13:39:15 +02:00 committed by GitHub
commit e1b788a9cb
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -493,8 +493,8 @@ let
mktplcRef = {
publisher = "banacorn";
name = "agda-mode";
version = "0.6.3";
hash = "sha256-ZyFY3pzNUUpdAB3lqys/z0NOUrQA/qmPquRPNFw/JAI=";
version = "0.6.4";
hash = "sha256-KBOVVVDw+72QSYv4jynqeVBdIfYz+T5hD2//royVJpw=";
};
meta = {
changelog = "https://marketplace.visualstudio.com/items/banacorn.agda-mode/changelog";