diff options
author | Efraim Flashner <efraim@flashner.co.il> | 2018-03-14 20:51:09 +0200 |
---|---|---|
committer | Efraim Flashner <efraim@flashner.co.il> | 2018-03-14 21:16:51 +0200 |
commit | aeb135e3a1b6addb77e5149e306ac854bb60b60d (patch) | |
tree | 7c84b2972c6f2005315c6bd7461b04ee57617988 /gnu | |
parent | dae1d9e43627ac478ef9eb2e2f7a69fe880e40d6 (diff) |
gnu: texlive-latex-listings: Declare a source file-name.
* gnu/packages/tex.scm (texlive-latex-listings)[source]: Declare a
source file-name.
Diffstat (limited to 'gnu')
-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 5d5d3a6648..5d83b5a3c0 100644 --- a/gnu/packages/tex.scm +++ b/gnu/packages/tex.scm @@ -2818,6 +2818,7 @@ footnotes with symbols rather than numbers.") (source (origin (method svn-fetch) (uri (texlive-ref "latex" "listings")) + (file-name (string-append name "-" version "-checkout")) (sha256 (base32 "1nsn9wp3wl12b36c0sqrim33lf33cr5wky0h4ncnw8lvqgm7h8wf")))) |