gnu: godot: Add a file extension to source file name.

* gnu/packages/game-development.scm (godot)[source](file-name): Append ".tar.gz".
This commit is contained in:
Marius Bakke 2018-03-15 11:22:03 +01:00
parent 7fb1530f2f
commit 8311a84416
No known key found for this signature in database
GPG key ID: A2A06DF2A33A54FA

View file

@ -1070,7 +1070,7 @@ (define-public godot
(uri
(string-append "https://github.com/godotengine/godot/archive/"
version "-stable.tar.gz"))
(file-name (string-append name "-" version))
(file-name (string-append name "-" version ".tar.gz"))
(sha256
(base32
"0k8c12nzhl98i9il9s3awbwdamkrwxk0s47jr7n8a3z93rpszd2p"))))