diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2019-08-15 21:03:19 +0300 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2019-08-15 21:03:19 +0300 |
| commit | d4cf5b018a6ec9170ca1b8c46023003c164364b9 (patch) | |
| tree | c50bf5c92960b8d6c8831e4b7370be227e28fb11 /gnu/packages | |
| parent | e3a39ade716eff98d2cdc2ebfced2efc021cbcd5 (diff) | |
| download | patches-d4cf5b018a6ec9170ca1b8c46023003c164364b9.tar patches-d4cf5b018a6ec9170ca1b8c46023003c164364b9.tar.gz | |
gnu: einstein: Use mirror for source download.
* gnu/packages/games.scm (einstein)[source]: Use 'mirror' syntax.
Diffstat (limited to 'gnu/packages')
| -rw-r--r-- | gnu/packages/games.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/packages/games.scm b/gnu/packages/games.scm index 92df556970..c37364e369 100644 --- a/gnu/packages/games.scm +++ b/gnu/packages/games.scm @@ -2830,7 +2830,7 @@ players.") (version "2.0") (source (origin (method url-fetch) - (uri (string-append "http://http.debian.net/debian/pool/main/e/" + (uri (string-append "mirror://debian/pool/main/e/" "einstein/einstein_2.0.dfsg.2.orig.tar.gz")) (sha256 (base32 |