2023-01-18 20:29:32 +00:00
|
|
|
{ lib, stdenvNoCC, fetchurl }:
|
2017-11-25 21:56:59 +00:00
|
|
|
|
2023-01-18 20:29:32 +00:00
|
|
|
stdenvNoCC.mkDerivation rec {
|
|
|
|
|
pname = "vdrsymbols";
|
|
|
|
|
version = "20100612";
|
2017-11-25 21:56:59 +00:00
|
|
|
|
2023-01-18 20:29:32 +00:00
|
|
|
src = fetchurl {
|
|
|
|
|
url = "http://andreas.vdr-developer.org/fonts/download/${pname}-ttf-${version}.tgz";
|
|
|
|
|
hash = "sha256-YxB+JcDkta5are+OQyP/WKDL0vllgn0m26bU9mQ3C/Q=";
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
installPhase = ''
|
|
|
|
|
runHook preInstall
|
2017-11-25 21:56:59 +00:00
|
|
|
|
2023-01-18 20:29:32 +00:00
|
|
|
install -Dm444 -t "$out/share/fonts/truetype" *.ttf
|
2017-11-25 21:56:59 +00:00
|
|
|
|
2023-01-18 20:29:32 +00:00
|
|
|
runHook postInstall
|
2017-11-25 21:56:59 +00:00
|
|
|
'';
|
|
|
|
|
|
2019-05-13 01:55:32 +00:00
|
|
|
meta = with lib; {
|
2017-11-25 21:56:59 +00:00
|
|
|
description = "DejaVu fonts with additional symbols used by VDR";
|
2020-04-01 01:11:51 +00:00
|
|
|
homepage = "http://andreas.vdr-developer.org/fonts/";
|
2017-11-25 21:56:59 +00:00
|
|
|
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;
|
|
|
|
|
};
|
|
|
|
|
}
|
