From 7e353a77836245074604173ab33c5ae10d244e8e Mon Sep 17 00:00:00 2001 From: Efraim Flashner Date: Wed, 14 Mar 2018 20:22:43 +0200 Subject: [PATCH] gnu: texlive-latex-filecontents: Declare a source file-name. * gnu/packages/tex.scm (texlive-latex-filecontents)[source]: Declare a source file-name. --- gnu/packages/tex.scm | 1 + 1 file changed, 1 insertion(+) diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm index 05a7cd834b..711ed8ea9e 100644 --- a/gnu/packages/tex.scm +++ b/gnu/packages/tex.scm @@ -1037,6 +1037,7 @@ (define-public texlive-latex-filecontents (source (origin (method svn-fetch) (uri (texlive-ref "latex" "filecontents")) + (file-name (string-append name "-" version "-checkout")) (sha256 (base32 "0swkbxv8vg0yizadfnvrwjb4cj0pn34v9wm6v7wqq903fdav7k7q"))))