Merge pull request #183333 from r-ryantm/auto-update/gummi

gummi: 0.8.2 -> 0.8.3
This commit is contained in:
Florian Klink 2022-07-29 13:07:50 +07:00 committed by GitHub
commit 2d4cd6f07f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -4,14 +4,14 @@
}:
stdenv.mkDerivation rec {
version = "0.8.2";
version = "0.8.3";
pname = "gummi";
src = pkgs.fetchFromGitHub {
owner = "alexandervdm";
repo = "gummi";
rev = version;
sha256 = "sha256-7txAyzJrEoGPjchXstMWIF1Vy+aoba6aa6+JNUYnKQs=";
sha256 = "sha256-71n71KjLmICp4gznd27NlbyA3kayje3hYk/cwkOXEO0=";
};
nativeBuildInputs = [