vscode-extensions.ionide.ionide-fsharp: 7.5.2 -> 7.5.4

2023-05-26 12:25:54 -03:00
parent e2cb3b4318
commit c4433d4ae0
1 changed files with 2 additions and 2 deletions
@@ -1581,8 +1581,8 @@ let
        mktplcRef = {
          name = "Ionide-fsharp";
          publisher = "Ionide";
-          version = "7.5.2";
-          sha256 = "sha256-v2fd2vGaGwRnebKiyjyd/2pgWit0H5lhJT+PXWQq0h4=";
+          version = "7.5.4";
+          sha256 = "sha256-cM3ssUzQnqt5WL8UaLYkrmfHscVa2sGa7/UWLXMIHGg=";
        };
        meta = {
          changelog = "https://marketplace.visualstudio.com/items/Ionide.Ionide-fsharp/changelog";