Merge pull request #130899 from arcticlimer/vscode-extensions.competitive-programming-helper

This commit is contained in:
Sandro 2021-07-21 13:16:45 +02:00 committed by GitHub
commit a60a2666b5
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 23 additions and 0 deletions

View file

@ -802,6 +802,12 @@
githubId = 13426784;
name = "arcnmx";
};
arcticlimer = {
email = "vinigm.nho@gmail.com";
github = "arcticlimer";
githubId = 59743220;
name = "Vinícius Müller";
};
ardumont = {
email = "eniotna.t@gmail.com";
github = "ardumont";

View file

@ -335,6 +335,23 @@ let
meta = { license = lib.licenses.mit; };
};
divyanshuagrawal.competitive-programming-helper = buildVscodeMarketplaceExtension {
mktplcRef = {
name = "competitive-programming-helper";
publisher = "DivyanshuAgrawal";
version = "5.8.5";
sha256 = "25v2tdAX7fVl2B5nvOIKN9vP1G5rA0G67CiDQn9n9Uc=";
};
meta = with lib; {
changelog = "https://marketplace.visualstudio.com/items/DivyanshuAgrawal.competitive-programming-helper/changelog";
description = "Makes judging, compiling, and downloading problems for competitve programming easy. Also supports auto-submit for a few sites.";
downloadPage = "https://marketplace.visualstudio.com/items?itemName=DivyanshuAgrawal.competitive-programming-helper";
homepage = "https://github.com/agrawal-d/cph";
license = licenses.gpl3;
maintainers = with maintainers; [ arcticlimer ];
};
};
donjayamanne.githistory = buildVscodeMarketplaceExtension {
meta = with lib; {
changelog = "https://marketplace.visualstudio.com/items/donjayamanne.githistory/changelog";