diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2018-03-15 11:22:03 +0100 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2018-04-28 16:55:39 +0200 |
| commit | 8311a844164c1637c731f33bca9331a90d79678d (patch) | |
| tree | d64c08d1acaad194897bfefa6b3093a825606197 /gnu/packages/game-development.scm | |
| parent | 7fb1530f2f552c8a70aba2ef1b410c749937e7e8 (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.scm | 2 |
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")))) |