Merge pull request #147970 from reckenrode/ionide
ionide.ionide-fsharp: 5.5.5 -> 5.10.1
commit6752dcd0a143eb4a3340d3bc055f49ea03f649d3
authorBobby Rong <rjl931189261@126.com>
dateWed 1 Dec 2021, 17:58 (5 years ago)
parent43ed124640050f
pkgs/misc/vscode-extensions/default.nix+2−2
@@ -921,8 +921,8 @@ let
921921 mktplcRef = {
922922 name = "Ionide-fsharp";
923923 publisher = "Ionide";
924− version = "5.5.5";
925− sha256 = "xrBNiIbZVJ0sGUk/4PudD8kSyX94QkrFtf7Ho/sB0Vs=";
924+ version = "5.10.1";
925+ sha256 = "sha256-LkWWgyh4khPyUgekVeO8ZzPK+1gTrS8d9Yz6/kHomr8=";
926926 };
927927 meta = with lib; {
928928 changelog = "https://marketplace.visualstudio.com/items/Ionide.Ionide-fsharp/changelog";