ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-10-15 00:52:07 +03:00
Code Issues Projects Releases Wiki Activity

vscode-extensions.banacorn.agda-mode: init at 0.4.7

Browse Source 
Release: https://github.com/banacorn/agda-mode-vscode/releases/tag/v0.4.7
This commit is contained in:
Anillc 2024-06-19 03:21:58 +08:00
parent 92487a01c4
commit 646211cda4
No known key found for this signature in database
GPG Key ID: 0BE8A88F47B2145C
1 changed files with 17 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -484,6 +484,23 @@ let
};
};
banacorn.agda-mode = buildVscodeMarketplaceExtension {
mktplcRef = {
publisher = "banacorn";
name = "agda-mode";
version = "0.4.7";
hash = "sha256-gNa3n16lP3ooBRvGaugTua4IXcIzpMk7jBYMJDQsY00=";
};
meta = {
changelog = "https://marketplace.visualstudio.com/items/banacorn.agda-mode/changelog";
description = "agda-mode on VS Code";
downloadPage = "https://marketplace.visualstudio.com/items?itemName=banacorn.agda-mode";
homepage = "https://github.com/banacorn/agda-mode-vscode";
maintainers = with lib.maintainers; [ Anillc ];
license = lib.licenses.mit;
};
};
batisteo.vscode-django = buildVscodeMarketplaceExtension {
mktplcRef = {
publisher = "batisteo";