2019-05-13 01:55:32 +00:00
|
|
|
{ lib, fetchzip }:
|
2018-08-19 23:43:55 +00:00
|
|
|
|
|
|
|
let
|
|
|
|
majorVersion = "0";
|
|
|
|
minorVersion = "110";
|
|
|
|
pname = "f5_6";
|
|
|
|
in
|
|
|
|
|
2019-08-13 21:52:01 +00:00
|
|
|
fetchzip {
|
2018-08-19 23:43:55 +00:00
|
|
|
name = "${pname}-font-${majorVersion}.${minorVersion}";
|
|
|
|
|
|
|
|
url = "http://dotcolon.net/DL/font/${pname}_${majorVersion}${minorVersion}.zip";
|
|
|
|
sha256 = "04p6lccd26rhjbpq3ddxi5vkk3lk8lqbpnk8lakjzixp3fgdqpp4";
|
|
|
|
|
|
|
|
postFetch = ''
|
|
|
|
mkdir -p $out/share/fonts/opentype/${pname}
|
|
|
|
unzip -j $downloadedFile \*.otf -d $out/share/fonts/opentype/${pname}
|
|
|
|
'';
|
|
|
|
|
2019-05-13 01:55:32 +00:00
|
|
|
meta = with lib; {
|
2018-08-19 23:43:55 +00:00
|
|
|
homepage = "http://dotcolon.net/font/${pname}/";
|
|
|
|
description = "A weighted decorative font.";
|
|
|
|
platforms = platforms.all;
|
|
|
|
maintainers = with maintainers; [ leenaars ];
|
|
|
|
license = licenses.ofl;
|
|
|
|
};
|
|
|
|
}
|