Merge #202356: seahub: fix build

This commit is contained in:
Vladimír Čunát 2022-11-24 08:32:49 +01:00
commit edd5e02166
No known key found for this signature in database
GPG Key ID: E747DF1F9575A3AA

View File

@ -12,7 +12,7 @@ let
version = "0.7.0";
src = old.src.override {
inherit version;
sha256 = "0izl6bibhz3v538ad5hl13lfr6kvprf62rcl77wq2i5538h8hg3s";
hash = "sha256-ejyIIBqlRIH5OZRlYVy+e5rs6AgUlqbQKHt8uOIy9Ec=";
};
});
};