From 8311a844164c1637c731f33bca9331a90d79678d Mon Sep 17 00:00:00 2001
From: Marius Bakke <mbakke@fastmail.com>
Date: Thu, 15 Mar 2018 11:22:03 +0100
Subject: 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 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"))))
-- 
cgit v1.2.3