gnu: tinyxml: Declare a source file-name.

* gnu/packages/xml.scm (tinyxml)[source]: Declare a source file-name.
master
Efraim Flashner 2018-03-13 19:51:41 +02:00
parent 64f925cb4b
commit 671249b934
No known key found for this signature in database
GPG Key ID: 41AAE7DCCA3D8351
1 changed files with 1 additions and 0 deletions

View File

@ -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"))