Merge pull request #241456 from jopejoe1/noto

noto-fonts: 23.5.1 -> 23.7.1
This commit is contained in:
Felix Bühler 2023-07-05 22:49:45 +02:00 committed by GitHub
commit abcf91eae4
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

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