vscode-extensions.almenon.arepl: init at 3.0.0 (#397196)

{

  lib,

  vscode-utils,

}:

vscode-utils.buildVscodeMarketplaceExtension {

  mktplcRef = {

    name = "arepl";

    publisher = "almenon";

    version = "3.0.0";

    hash = "sha256-NadsB/6kUQ7/d9o3rUc7889jO+4MdvBhtyI4UUGpzqk=";

  };

  meta = {

    description = "Preferred dark/light themes by John Papa";

    downloadPage = "https://marketplace.visualstudio.com/items?itemName=almenon.arepl";

    homepage = "https://github.com/Almenon/AREPL-vscode";

    license = lib.licenses.mit;

    maintainers = [ lib.maintainers.therobot2105 ];

  };

}

        };

      };

      almenon.arepl = callPackage ./almenon.arepl { };

      alygin.vscode-tlaplus = buildVscodeMarketplaceExtension {

        mktplcRef = {

          name = "vscode-tlaplus";