diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2018-03-13 19:51:41 +0200 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2018-03-13 20:17:10 +0200 |
| commit | 671249b934728b25bc4ccc710e78273981af5c1c (patch) | |
| tree | 4cc4337220bb5847c2711e32446d6f7410fb9df3 | |
| parent | 64f925cb4bb726b07e1d115e1132688ca47bdefe (diff) | |
gnu: tinyxml: Declare a source file-name.
* gnu/packages/xml.scm (tinyxml)[source]: Declare a source file-name.
| -rw-r--r-- | gnu/packages/xml.scm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/packages/xml.scm b/gnu/packages/xml.scm index 5f7a95463a..80933a872b 100644 --- a/gnu/packages/xml.scm +++ b/gnu/packages/xml.scm @@ -993,6 +993,7 @@ UTF-8 and UTF-16 encoding.") version "/tinyxml_" (string-join (string-split version #\.) "_") ".tar.gz")) + (file-name (string-append name "-" version ".tar.gz")) (sha256 (base32 "14smciid19lvkxqznfig77jxn5s4iq3jpb47vh5a6zcaqp7gvg8m")) |