2019-05-13 02:55:32 +01:00
|
|
|
{ lib, fetchzip }:
|
2019-03-29 07:24:46 +00:00
|
|
|
|
|
|
|
let
|
2019-09-14 04:54:15 +01:00
|
|
|
version = "3.10";
|
2019-03-29 07:24:46 +00:00
|
|
|
in fetchzip {
|
|
|
|
name = "inter-${version}";
|
|
|
|
|
|
|
|
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
|
|
|
|
'';
|
|
|
|
|
2019-09-14 04:54:15 +01:00
|
|
|
sha256 = "029fjpgdml8qx2cqn4rnh2xm3z4cnh74jlzjb8pbfm2azsnvi6r1";
|
2019-03-29 07:24:46 +00:00
|
|
|
|
2019-05-13 02:55:32 +01:00
|
|
|
meta = with lib; {
|
2019-03-29 07:24:46 +00:00
|
|
|
homepage = https://rsms.me/inter/;
|
|
|
|
description = "A typeface specially designed for user interfaces";
|
|
|
|
license = licenses.ofl;
|
|
|
|
platforms = platforms.all;
|
2019-05-31 03:49:50 +01:00
|
|
|
maintainers = with maintainers; [ demize dtzWill ];
|
2019-03-29 07:24:46 +00:00
|
|
|
};
|
|
|
|
}
|
|
|
|
|