diff options
author | Efraim Flashner <efraim@flashner.co.il> | 2018-03-14 21:10:27 +0200 |
---|---|---|
committer | Efraim Flashner <efraim@flashner.co.il> | 2018-03-14 21:16:54 +0200 |
commit | b4bb2750ffa26d73a2f262561d28dc52d173ee71 (patch) | |
tree | 9b47bba52c8ae430d60c26737864287e2df99c68 /gnu/packages | |
parent | de20fd6a3aedf0f2d75d02d49573477a909dca19 (diff) |
gnu: texlive-metapost: Declare a source file-name.
* gnu/packages/tex.scm (texlive-metapost)[source]: Declare a source
file-name.
Diffstat (limited to 'gnu/packages')
-rw-r--r-- | gnu/packages/tex.scm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm index 324161c4df..e7e7f19020 100644 --- a/gnu/packages/tex.scm +++ b/gnu/packages/tex.scm @@ -3635,6 +3635,7 @@ OT2 encoded fonts, CM bright shaped fonts and Concrete shaped fonts.") %texlive-tag "/Master/texmf-dist/" "/metapost")) (revision %texlive-revision))) + (file-name (string-append name "-" version "-checkout")) (sha256 (base32 "03nvjddffiz796wll6axzmgfvynyciy2mqamv20qx252w71vwkwd")))) |