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
This commit is contained in:
Will Dietz 2019-03-13 17:59:03 -05:00 committed by xeji
parent 2556b7bfad
commit 4d82af0250

View File

@ -1,18 +1,18 @@
{ stdenv, fetchzip }: { stdenv, fetchzip }:
let let
version = "3.1"; version = "3.3";
in fetchzip { 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 = '' postFetch = ''
mkdir -p $out/share/fonts/opentype mkdir -p $out/share/fonts/opentype
unzip -j $downloadedFile \*.otf -d $out/share/fonts/opentype unzip -j $downloadedFile \*.otf -d $out/share/fonts/opentype
''; '';
sha256 = "0cdjpwylynwmab0x5z5lw43k39vis74xj1ciqg8nw12ccprbmj60"; sha256 = "17fv33ryvbla4f4mfgw7m7gjlwyjlni90a8gpb7jws1qzn0vgazg";
meta = with stdenv.lib; { meta = with stdenv.lib; {
homepage = https://rsms.me/inter/; homepage = https://rsms.me/inter/;