[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
01/04: gnu: godot: Add a file extension to source file name.
From: |
Marius Bakke |
Subject: |
01/04: gnu: godot: Add a file extension to source file name. |
Date: |
Sat, 28 Apr 2018 10:56:14 -0400 (EDT) |
mbakke pushed a commit to branch master
in repository guix.
commit 8311a844164c1637c731f33bca9331a90d79678d
Author: Marius Bakke <address@hidden>
Date: Thu Mar 15 11:22:03 2018 +0100
gnu: godot: Add a file extension to source file name.
* gnu/packages/game-development.scm (godot)[source](file-name): Append
".tar.gz".
---
gnu/packages/game-development.scm | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/gnu/packages/game-development.scm
b/gnu/packages/game-development.scm
index 0039a73..edbc9c0 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"))))