2019-06-16 21:59:06 +02:00
|
|
|
{ fetchzip }:
|
2009-11-18 10:39:59 +01:00
|
|
|
|
2017-08-10 21:43:49 +02:00
|
|
|
fetchzip {
|
2018-11-19 22:45:30 +01:00
|
|
|
name = "lmodern-2.004.5";
|
2008-04-26 17:22:48 +02:00
|
|
|
|
2018-11-19 22:45:30 +01:00
|
|
|
url = mirror://debian/pool/main/l/lmodern/lmodern_2.004.5.orig.tar.gz;
|
2017-08-10 21:43:49 +02:00
|
|
|
|
|
|
|
postFetch = ''
|
|
|
|
tar xzvf $downloadedFile
|
|
|
|
|
2013-10-14 08:36:39 +02:00
|
|
|
mkdir -p $out/texmf-dist/
|
2012-01-18 21:16:00 +01:00
|
|
|
mkdir -p $out/share/fonts/
|
2008-04-26 17:22:48 +02:00
|
|
|
|
2018-11-19 22:45:30 +01: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 10:44:48 +01:00
|
|
|
|
2017-08-10 21:43:49 +02:00
|
|
|
ln -s -r $out/texmf* $out/share/
|
2009-11-18 10:39:59 +01:00
|
|
|
'';
|
2008-04-26 17:22:48 +02:00
|
|
|
|
2018-11-19 22:45:30 +01:00
|
|
|
sha256 = "11f10qnp8a435lhh19zc2znlf9q4isynmvjmvr63g5n5fhvhc192";
|
2017-08-10 21:43:49 +02:00
|
|
|
|
2008-04-26 17:22:48 +02:00
|
|
|
meta = {
|
|
|
|
description = "Latin Modern font";
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|