Merge pull request #246787 from jopejoe1/notofonts

noto-fonts: 23.7.1 -> 23.8.1
This commit is contained in:
davidak 2023-08-06 14:02:09 +02:00 committed by GitHub
commit 5a9f1ad3cc
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -35,13 +35,13 @@ rec {
}:
stdenvNoCC.mkDerivation rec {
inherit pname;
version = "23.7.1";
version = "23.8.1";
src = fetchFromGitHub {
owner = "notofonts";
repo = "notofonts.github.io";
rev = "noto-monthly-release-${version}";
hash = "sha256-+P0mQ3PaGGPGK3SFPtCe7wrjMgOgZeRpkEQulLeu/zs=";
hash = "sha256-TYCJzioZcNFV8N5wLr7Fo69g/p5GQF/tbGgYoLUV7Us=";
};
_variants = map (variant: builtins.replaceStrings [ " " ] [ "" ] variant) variants;