Commit 49c368f2 authored by R. RyanTM's avatar R. RyanTM
Browse files

vscode-extensions.rocq-prover.vsrocq: 2.3.2 -> 2.3.4

parent 4c41edb2

pkgs/applications/editors/vscode/extensions/default.nix

+2 −2
Original line number Diff line number Diff line
@@ -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";