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

vscode-extensions.banacorn.agda-mode: 0.6.7 -> 0.6.8 (#490087)

Browse Source
This commit is contained in:
Nick Cao
2026-02-13 20:59:51 +00:00
committed by GitHub
parent 2bd15cc156 36cf37b08f
commit ea1da745a4
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
@@ -497,8 +497,8 @@ let
mktplcRef = {
publisher = "banacorn";
name = "agda-mode";
version = "0.6.7";
hash = "sha256-G8zAFEMM+fsndBjySkQpRlEj9+EGmMNTTI9AUIoMWR0=";
version = "0.6.8";
hash = "sha256-rMRajooaU3W2tHhM3rBsRS0i5Ppp137m9yW9eIqLPos=";
};
meta = {
changelog = "https://marketplace.visualstudio.com/items/banacorn.agda-mode/changelog";