Merge pull request #220173 from ratsclub/master

vscode-extensions.ionide.ionide-fsharp: 6.0.5 -> 7.5.1
This commit is contained in:
superherointj 2023-03-08 16:52:34 -03:00 committed by GitHub
commit 3b12bfe6c4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1442,8 +1442,8 @@ let
mktplcRef = {
name = "Ionide-fsharp";
publisher = "Ionide";
version = "6.0.5";
sha256 = "sha256-vlmLr/1rBreqZifzEwAlhyGzHG28oZa+kmMzRl53tOI=";
version = "7.5.1";
sha256 = "sha256-AiDYqYF+F69O/aeolIEzqLmg20YN/I4EV6XMa8UgMns=";
};
meta = with lib; {
changelog = "https://marketplace.visualstudio.com/items/Ionide.Ionide-fsharp/changelog";