Merge pull request #255170 from plusgut/marksman-update

marksman: 2023-03-04 -> 2023-07-25
This commit is contained in:
K900
2023-09-15 13:29:48 +03:00
committed by GitHub
+4 -4
View File
@@ -8,13 +8,13 @@
buildDotnetModule rec {
pname = "marksman";
version = "2023-03-04";
version = "2023-07-25";
src = fetchFromGitHub {
owner = "artempyanykh";
repo = "marksman";
rev = version;
sha256 = "sha256-jBZC2z1wtDMIssgRrKkZpl9NQ3XkRCcxo5eylwB2OBQ=";
sha256 = "sha256-DxubrZAj2MOF7gUMDl8rW1jGHaw70KGe5Nit1SBQBW8=";
};
projectFile = "Marksman/Marksman.fsproj";
@@ -25,8 +25,8 @@ buildDotnetModule rec {
nugetDeps = ./deps.nix;
dotnet-sdk = dotnetCorePackages.sdk_6_0;
dotnet-runtime = dotnetCorePackages.runtime_6_0;
dotnet-sdk = dotnetCorePackages.sdk_7_0;
dotnet-runtime = dotnetCorePackages.runtime_7_0;
postInstall = ''
install -m 644 -D -t "$out/share/doc/${pname}" LICENSE