Merge pull request #62352 from dtzWill/update/inter-3.7

inter: 3.5 -> 3.7
This commit is contained in:
Will Dietz 2019-06-04 01:01:26 -05:00 committed by GitHub
commit 95fbb1207d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,7 +1,7 @@
{ lib, fetchzip }:
let
version = "3.5";
version = "3.7";
in fetchzip {
name = "inter-${version}";
@ -12,14 +12,14 @@ in fetchzip {
unzip -j $downloadedFile \*.otf -d $out/share/fonts/opentype
'';
sha256 = "0zqixzzbb3n1j4jvpjm0hlxc32j53hgq4j078gihjkhgvjhsklf2";
sha256 = "1ja1v3605vp09azpabgmk710kic85zxwi4kksmqj9z805fmxddp6";
meta = with lib; {
homepage = https://rsms.me/inter/;
description = "A typeface specially designed for user interfaces";
license = licenses.ofl;
platforms = platforms.all;
maintainers = with maintainers; [ demize ];
maintainers = with maintainers; [ demize dtzWill ];
};
}