diff options
author | Will Dietz <github@wdtz.org> | 2019-03-13 17:59:03 -0500 |
---|---|---|
committer | xeji <36407913+xeji@users.noreply.github.com> | 2019-03-13 23:59:03 +0100 |
commit | 4d82af02503fec564ba71453ea53a14ff72adbc5 (patch) | |
tree | fed2a981458d1c2613443e098e5933c8598e4919 /pkgs/data/fonts/inter-ui/default.nix | |
parent | 2556b7bfad8341aa25fa4a3f9a2d4e4c8c85f67f (diff) | |
download | nixpkgs-4d82af02503fec564ba71453ea53a14ff72adbc5.tar nixpkgs-4d82af02503fec564ba71453ea53a14ff72adbc5.tar.gz nixpkgs-4d82af02503fec564ba71453ea53a14ff72adbc5.tar.bz2 nixpkgs-4d82af02503fec564ba71453ea53a14ff72adbc5.tar.lz nixpkgs-4d82af02503fec564ba71453ea53a14ff72adbc5.tar.xz nixpkgs-4d82af02503fec564ba71453ea53a14ff72adbc5.tar.zst nixpkgs-4d82af02503fec564ba71453ea53a14ff72adbc5.zip |
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
Diffstat (limited to 'pkgs/data/fonts/inter-ui/default.nix')
-rw-r--r-- | pkgs/data/fonts/inter-ui/default.nix | 8 |
1 files 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/; |