diff options
author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-02-05 00:01:30 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-02-05 00:01:30 +0100 |
commit | 031102569969f4392de7c94bb4aeb7b0ac41b682 (patch) | |
tree | bd9f57d43d1019d37e1203b82766b0d71cf84f4e | |
parent | 3f1f2ff33d72da62495dfc7d71a30a2e576bafda (diff) | |
parent | fcefb080f7d4500e6d2b9edeb9cdf713ca3a4ab6 (diff) |
Merge pull request #214505 from r-ryantm/auto-update/redhat-official-fonts
redhat-official-fonts: 4.0.2 -> 4.0.3
-rw-r--r-- | pkgs/data/fonts/redhat-official/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/data/fonts/redhat-official/default.nix b/pkgs/data/fonts/redhat-official/default.nix index fd732b401bea..76782d510509 100644 --- a/pkgs/data/fonts/redhat-official/default.nix +++ b/pkgs/data/fonts/redhat-official/default.nix @@ -2,13 +2,13 @@ stdenvNoCC.mkDerivation rec { pname = "redhat-official"; - version = "4.0.2"; + version = "4.0.3"; src = fetchFromGitHub { owner = "RedHatOfficial"; repo = "RedHatFont"; rev = version; - hash = "sha256-p5RS/57CDApwnRDwMi0gIEJYTDAtibIyyU2w/pnbHJI="; + hash = "sha256-r43KtMIedNitb5Arg8fTGB3hrRZoA8oUHVEL24k4LeQ="; }; installPhase = '' |