summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2017-03-12 15:45:21 +0100
committerLudovic Courtès <ludo@gnu.org>2017-03-12 17:47:25 +0100
commit998ac26a1e4f025ac75147c3497453615bb32d40 (patch)
tree660cde75cd28df344943cae29e0f9e785c1c2a19
parent301f12ec92808e29965e1d143451797012785648 (diff)
downloadpatches-998ac26a1e4f025ac75147c3497453615bb32d40.tar
patches-998ac26a1e4f025ac75147c3497453615bb32d40.tar.gz
gnu: tintin++: Use a mirror:// URI.
* gnu/packages/games.scm (tintin++)[source]: Use mirror://sourceforge.
-rw-r--r--gnu/packages/games.scm4
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/games.scm b/gnu/packages/games.scm
index 550652eefd..efa904f7df 100644
--- a/gnu/packages/games.scm
+++ b/gnu/packages/games.scm
@@ -2880,8 +2880,8 @@ the GNU GPL.")
(version "2.01.2")
(source (origin
(method url-fetch)
- (uri (string-append "https://sourceforge.net/projects/tintin"
- "/files/TinTin++ Source Code/" version
+ (uri (string-append "mirror://sourceforge/tintin"
+ "/TinTin++ Source Code/" version
"/tintin" "-" version ".tar.gz"))
(sha256
(base32