Merge pull request #250759 from r-ryantm/auto-update/commit-mono

commit-mono: 1.132 -> 1.134
This commit is contained in:
Weijia Wang 2023-08-29 21:45:55 +02:00 committed by GitHub
commit 41ba84862d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -4,11 +4,11 @@
}: }:
stdenvNoCC.mkDerivation rec { stdenvNoCC.mkDerivation rec {
pname = "commit-mono"; pname = "commit-mono";
version = "1.132"; version = "1.134";
src = fetchzip { src = fetchzip {
url = "https://github.com/eigilnikolajsen/commit-mono/releases/download/${version}/CommitMono-${version}.zip"; url = "https://github.com/eigilnikolajsen/commit-mono/releases/download/${version}/CommitMono-${version}.zip";
sha256 = "sha256-a9zxzjfOFmqemSIb4Tav0l7YtKvbyizDy+1dwPuZ4d4="; sha256 = "sha256-r2+ehmJPwiodVZGnha8uMHaWcbbONiorrOvv6WW/kio=";
stripRoot = false; stripRoot = false;
}; };