Loading pkgs/applications/editors/vscode/extensions/default.nix +2 −2 Original line number Diff line number Diff line Loading @@ -3937,8 +3937,8 @@ let mktplcRef = { publisher = "rocq-prover"; name = "vsrocq"; version = "2.3.2"; hash = "sha256-S3rKCzdGb5/UAJC6Z5GGC1Brib9PKiqQv8dRANYbp70="; version = "2.3.4"; hash = "sha256-2zYoCUtyhboQt68UJEmWOvrTrIOV2QmpaXU5mUhJfsA="; }; meta = { description = "VsRocq is an extension for Visual Studio Code with support for the Rocq Prover"; Loading Loading
pkgs/applications/editors/vscode/extensions/default.nix +2 −2 Original line number Diff line number Diff line Loading @@ -3937,8 +3937,8 @@ let mktplcRef = { publisher = "rocq-prover"; name = "vsrocq"; version = "2.3.2"; hash = "sha256-S3rKCzdGb5/UAJC6Z5GGC1Brib9PKiqQv8dRANYbp70="; version = "2.3.4"; hash = "sha256-2zYoCUtyhboQt68UJEmWOvrTrIOV2QmpaXU5mUhJfsA="; }; meta = { description = "VsRocq is an extension for Visual Studio Code with support for the Rocq Prover"; Loading