From 4d82af02503fec564ba71453ea53a14ff72adbc5 Mon Sep 17 00:00:00 2001 From: Will Dietz Date: Wed, 13 Mar 2019 17:59:03 -0500 Subject: [PATCH] inter-ui: 3.1 -> 3.3 (#57605) FWIW new name but not sure worth renaming attribute (to 'inter' or maybe 'inter-font'?) https://github.com/rsms/inter/releases/tag/v3.3 https://github.com/rsms/inter/releases/tag/v3.2 --- pkgs/data/fonts/inter-ui/default.nix | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/pkgs/data/fonts/inter-ui/default.nix b/pkgs/data/fonts/inter-ui/default.nix index 4d9973aa2a2..81d392982ee 100644 --- a/pkgs/data/fonts/inter-ui/default.nix +++ b/pkgs/data/fonts/inter-ui/default.nix @@ -1,18 +1,18 @@ { stdenv, fetchzip }: let - version = "3.1"; + version = "3.3"; in fetchzip { - name = "inter-ui-${version}"; + name = "inter-${version}"; - url = "https://github.com/rsms/inter/releases/download/v${version}/Inter-UI-${version}.zip"; + url = "https://github.com/rsms/inter/releases/download/v${version}/Inter-${version}.zip"; postFetch = '' mkdir -p $out/share/fonts/opentype unzip -j $downloadedFile \*.otf -d $out/share/fonts/opentype ''; - sha256 = "0cdjpwylynwmab0x5z5lw43k39vis74xj1ciqg8nw12ccprbmj60"; + sha256 = "17fv33ryvbla4f4mfgw7m7gjlwyjlni90a8gpb7jws1qzn0vgazg"; meta = with stdenv.lib; { homepage = https://rsms.me/inter/;