3
0
Fork 0
forked from mirrors/nixpkgs

Merge pull request #147970 from reckenrode/ionide

ionide.ionide-fsharp: 5.5.5 -> 5.10.1
This commit is contained in:
Bobby Rong 2021-12-01 17:58:13 +08:00 committed by GitHub
commit 6752dcd0a1
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -921,8 +921,8 @@ let
mktplcRef = {
name = "Ionide-fsharp";
publisher = "Ionide";
version = "5.5.5";
sha256 = "xrBNiIbZVJ0sGUk/4PudD8kSyX94QkrFtf7Ho/sB0Vs=";
version = "5.10.1";
sha256 = "sha256-LkWWgyh4khPyUgekVeO8ZzPK+1gTrS8d9Yz6/kHomr8=";
};
meta = with lib; {
changelog = "https://marketplace.visualstudio.com/items/Ionide.Ionide-fsharp/changelog";