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

2024-01-18 12:29:40 -03:00
parent f5a9fea291
commit 93e848020b
1 changed files with 2 additions and 2 deletions
@@ -1884,8 +1884,8 @@ let
        mktplcRef = {
          name = "Ionide-fsharp";
          publisher = "Ionide";
-          version = "7.5.4";
-          sha256 = "sha256-cM3ssUzQnqt5WL8UaLYkrmfHscVa2sGa7/UWLXMIHGg=";
+          version = "7.17.0";
+          sha256 = "sha256-CC6ySeuO61O/mAkQYGoK/1cd4hlyS0vG+Lqv0HQ7K6c=";
        };
        meta = {
          changelog = "https://marketplace.visualstudio.com/items/Ionide.Ionide-fsharp/changelog";