2019-05-13 02:55:32 +01:00
|
|
|
{ lib, fetchzip }:
|
2009-11-18 09:39:59 +00:00
|
|
|
|
2017-08-10 20:43:49 +01:00
|
|
|
fetchzip {
|
2018-11-19 21:45:30 +00:00
|
|
|
name = "lmodern-2.004.5";
|
2008-04-26 16:22:48 +01:00
|
|
|
|
2018-11-19 21:45:30 +00:00
|
|
|
url = mirror://debian/pool/main/l/lmodern/lmodern_2.004.5.orig.tar.gz;
|
2017-08-10 20:43:49 +01:00
|
|
|
|
|
|
|
postFetch = ''
|
|
|
|
tar xzvf $downloadedFile
|
|
|
|
|
2013-10-14 07:36:39 +01:00
|
|
|
mkdir -p $out/texmf-dist/
|
2012-01-18 20:16:00 +00:00
|
|
|
mkdir -p $out/share/fonts/
|
2008-04-26 16:22:48 +01:00
|
|
|
|
2018-11-19 21:45:30 +00:00
|
|
|
cp -r lmodern-2.004.5/* $out/texmf-dist/
|
|
|
|
cp -r lmodern-2.004.5/fonts/{opentype,type1} $out/share/fonts/
|
2010-02-11 09:44:48 +00:00
|
|
|
|
2017-08-10 20:43:49 +01:00
|
|
|
ln -s -r $out/texmf* $out/share/
|
2009-11-18 09:39:59 +00:00
|
|
|
'';
|
2008-04-26 16:22:48 +01:00
|
|
|
|
2018-11-19 21:45:30 +00:00
|
|
|
sha256 = "11f10qnp8a435lhh19zc2znlf9q4isynmvjmvr63g5n5fhvhc192";
|
2017-08-10 20:43:49 +01:00
|
|
|
|
2008-04-26 16:22:48 +01:00
|
|
|
meta = {
|
|
|
|
description = "Latin Modern font";
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|