2019-05-13 03:55:32 +02:00
|
|
|
{ lib, fetchzip }:
|
2017-11-25 22:56:59 +01:00
|
|
|
|
2019-08-13 23:52:01 +02:00
|
|
|
fetchzip {
|
2017-11-25 22:56:59 +01:00
|
|
|
name = "vdrsymbols-20100612";
|
|
|
|
|
|
|
|
url = http://andreas.vdr-developer.org/fonts/download/vdrsymbols-ttf-20100612.tgz;
|
|
|
|
|
|
|
|
sha256 = "0wpxns8zqic98c84j18dr4zmj092v07yq07vwwgzblr0rw9n6gzr";
|
|
|
|
|
|
|
|
postFetch = ''
|
|
|
|
tar xvzf "$downloadedFile"
|
|
|
|
install -Dm444 -t "$out/share/fonts/truetype" */*.ttf
|
|
|
|
'';
|
|
|
|
|
2019-05-13 03:55:32 +02:00
|
|
|
meta = with lib; {
|
2017-11-25 22:56:59 +01:00
|
|
|
description = "DejaVu fonts with additional symbols used by VDR";
|
|
|
|
homepage = http://andreas.vdr-developer.org/fonts/;
|
|
|
|
platforms = platforms.all;
|
|
|
|
maintainers = with maintainers; [ ck3d ];
|
|
|
|
|
|
|
|
# Copyright (c) 2003 by Bitstream, Inc. All Rights Reserved.
|
|
|
|
# Copyright (c) 2006 by Tavmjong Bah. All Rights Reserved.
|
|
|
|
# DejaVu changes are in public domain
|
|
|
|
# See https://dejavu-fonts.github.io/License.html for details
|
|
|
|
license = licenses.free;
|
|
|
|
};
|
|
|
|
}
|