Merge pull request #135807 from JohannesRudolph/patch-1

This commit is contained in:
Sandro 2021-08-26 18:04:52 +02:00 committed by GitHub
commit 6412360325
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -852,8 +852,8 @@ let
mktplcRef = {
name = "nix-ide";
publisher = "jnoortheen";
version = "0.1.7";
sha256 = "1bw4wyq9abimxbhl7q9g8grvj2ax9qqq6mmqbiqlbsi2arvk0wrm";
version = "0.1.16";
sha256 = "04ky1mzyjjr1mrwv3sxz4mgjcq5ylh6n01lvhb19h3fmwafkdxbp";
};
};