From 77e6b5bfbf9b726d09d25119cc8a77d1bcc25ab5 Mon Sep 17 00:00:00 2001 From: "R. Ryantm" Date: Sat, 26 Jul 2025 01:34:25 +0000 Subject: [PATCH] vscode-extensions.ionide.ionide-fsharp: 7.26.3 -> 7.26.5 --- pkgs/applications/editors/vscode/extensions/default.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/applications/editors/vscode/extensions/default.nix b/pkgs/applications/editors/vscode/extensions/default.nix index 404c34838920..9520acc9111a 100644 --- a/pkgs/applications/editors/vscode/extensions/default.nix +++ b/pkgs/applications/editors/vscode/extensions/default.nix @@ -2430,8 +2430,8 @@ let mktplcRef = { name = "Ionide-fsharp"; publisher = "Ionide"; - version = "7.26.3"; - hash = "sha256-xbMPx7FO7MplFO0SDpWhmctEZdHft2UPdlss3J0Bj10="; + version = "7.26.5"; + hash = "sha256-h652UK81MxEhwyJKlWLnueQmhpl2pHByvhPrfH+4WXk="; }; meta = { changelog = "https://marketplace.visualstudio.com/items/Ionide.Ionide-fsharp/changelog";