diff options
| author | Will Dietz <w@wdtz.org> | 2019-03-29 02:18:19 -0500 |
|---|---|---|
| committer | Will Dietz <w@wdtz.org> | 2019-04-05 15:50:53 -0500 |
| commit | 3d3bf7d0e0d908ca6a17513740f2240bdf8e0ab3 (patch) | |
| tree | 34586c5b56e88cf4bf7de60dd9ce3a537ae79dab | |
| parent | dfeaf5e3165ef1dee2af34f2f2fc45b68ee524ee (diff) | |
| download | nixlib-3d3bf7d0e0d908ca6a17513740f2240bdf8e0ab3.tar nixlib-3d3bf7d0e0d908ca6a17513740f2240bdf8e0ab3.tar.gz nixlib-3d3bf7d0e0d908ca6a17513740f2240bdf8e0ab3.tar.bz2 nixlib-3d3bf7d0e0d908ca6a17513740f2240bdf8e0ab3.tar.lz nixlib-3d3bf7d0e0d908ca6a17513740f2240bdf8e0ab3.tar.xz nixlib-3d3bf7d0e0d908ca6a17513740f2240bdf8e0ab3.tar.zst nixlib-3d3bf7d0e0d908ca6a17513740f2240bdf8e0ab3.zip | |
Revert "inter-ui: 3.1 -> 3.3 (#57605)"
Don't change font name for the `inter-ui` attribute, breaks configs (as reported by a user on the PR). This reverts commit 4d82af02503fec564ba71453ea53a14ff72adbc5.
| -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 81d392982eec..4d9973aa2a25 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.3"; + version = "3.1"; in fetchzip { - name = "inter-${version}"; + name = "inter-ui-${version}"; - url = "https://github.com/rsms/inter/releases/download/v${version}/Inter-${version}.zip"; + url = "https://github.com/rsms/inter/releases/download/v${version}/Inter-UI-${version}.zip"; postFetch = '' mkdir -p $out/share/fonts/opentype unzip -j $downloadedFile \*.otf -d $out/share/fonts/opentype ''; - sha256 = "17fv33ryvbla4f4mfgw7m7gjlwyjlni90a8gpb7jws1qzn0vgazg"; + sha256 = "0cdjpwylynwmab0x5z5lw43k39vis74xj1ciqg8nw12ccprbmj60"; meta = with stdenv.lib; { homepage = https://rsms.me/inter/; |