Merge pull request #58645 from dtzWill/update/inter-3.4

inter(-ui): 3.3 -> 3.4
This commit is contained in:
markuskowa 2019-04-01 13:05:37 +02:00 committed by GitHub
commit e46e12619a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions

View File

@ -1,7 +1,7 @@
{ stdenv, fetchzip }: { stdenv, fetchzip }:
let let
version = "3.3"; version = "3.4";
in fetchzip { in fetchzip {
name = "inter-${version}"; name = "inter-${version}";
@ -12,7 +12,7 @@ in fetchzip {
unzip -j $downloadedFile \*.otf -d $out/share/fonts/opentype unzip -j $downloadedFile \*.otf -d $out/share/fonts/opentype
''; '';
sha256 = "17fv33ryvbla4f4mfgw7m7gjlwyjlni90a8gpb7jws1qzn0vgazg"; sha256 = "1dl4zc1a5dl9xkg094zmzy6bk7gms8vhsiln58ix7sffzcf3pri8";
meta = with stdenv.lib; { meta = with stdenv.lib; {
homepage = https://rsms.me/inter/; homepage = https://rsms.me/inter/;