From 8311a844164c1637c731f33bca9331a90d79678d Mon Sep 17 00:00:00 2001 From: Marius Bakke Date: Thu, 15 Mar 2018 11:22:03 +0100 Subject: [PATCH] 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"))))