roboto: init at 2.134 (#18127)

This commit is contained in:
José Romildo Malaquias 2016-08-30 15:26:06 -03:00 committed by Franz Pletz
parent 5ede656a18
commit cb4cd5d7f0
2 changed files with 33 additions and 0 deletions

View File

@ -0,0 +1,31 @@
{ stdenv, fetchurl, unzip }:
stdenv.mkDerivation rec {
name = "roboto-${version}";
version = "2.134";
src = fetchurl {
url = "https://github.com/google/roboto/releases/download/v${version}/roboto-unhinted.zip";
sha256 = "1l033xc2n4754gwakxshh5235cnrnzy7q6zsp5zghn8ib0gdp5rb";
};
nativeBuildInputs = [ unzip ];
installPhase = ''
mkdir -p $out/share/fonts/truetype
cp -a * $out/share/fonts/truetype/
'';
meta = {
homepage = https://github.com/google/roboto;
description = "The Roboto family of fonts";
longDescription = ''
Googles signature family of fonts, the default font on Android and
Chrome OS, and the recommended font for Googles visual language,
Material Design.
'';
license = stdenv.lib.licenses.asl20;
maintainers = [ stdenv.lib.maintainers.romildo ];
platforms = stdenv.lib.platforms.all;
};
}

View File

@ -12106,6 +12106,8 @@ in
r5rs = callPackage ../data/documentation/rnrs/r5rs.nix { }; r5rs = callPackage ../data/documentation/rnrs/r5rs.nix { };
roboto = callPackage ../data/fonts/roboto { };
hasklig = callPackage ../data/fonts/hasklig {}; hasklig = callPackage ../data/fonts/hasklig {};
sound-theme-freedesktop = callPackage ../data/misc/sound-theme-freedesktop { }; sound-theme-freedesktop = callPackage ../data/misc/sound-theme-freedesktop { };