summaryrefslogtreecommitdiff
path: root/gnu/packages/game-development.scm
diff options
context:
space:
mode:
authorMarius Bakke <mbakke@fastmail.com>2018-03-15 11:22:03 +0100
committerMarius Bakke <mbakke@fastmail.com>2018-04-28 16:55:39 +0200
commit8311a844164c1637c731f33bca9331a90d79678d (patch)
treed64c08d1acaad194897bfefa6b3093a825606197 /gnu/packages/game-development.scm
parent7fb1530f2f552c8a70aba2ef1b410c749937e7e8 (diff)
gnu: godot: Add a file extension to source file name.
* gnu/packages/game-development.scm (godot)[source](file-name): Append ".tar.gz".
Diffstat (limited to 'gnu/packages/game-development.scm')
-rw-r--r--gnu/packages/game-development.scm2
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/packages/game-development.scm b/gnu/packages/game-development.scm
index 0039a738cc..edbc9c0ca5 100644
--- a/gnu/packages/game-development.scm
+++ b/gnu/packages/game-development.scm
@@ -1070,7 +1070,7 @@ games.")
(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"))))