From d4cf5b018a6ec9170ca1b8c46023003c164364b9 Mon Sep 17 00:00:00 2001
From: Efraim Flashner <efraim@flashner.co.il>
Date: Thu, 15 Aug 2019 21:03:19 +0300
Subject: [PATCH] gnu: einstein: Use mirror for source download.

* gnu/packages/games.scm (einstein)[source]: Use 'mirror' syntax.
---
 gnu/packages/games.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 @@ (define-public einstein
     (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