From mboxrd@z Thu Jan 1 00:00:00 1970 From: Ricardo Wurmus Subject: Re: [close] Re: Failed to autoload make-page-map in (charting) Date: Tue, 17 Sep 2019 12:45:22 +0200 Message-ID: <87blvjp5fh.fsf@elephly.net> References: <20190916044108.GA12840@a550jk4200.localdomain> <8736gwr8kj.fsf@elephly.net> <20190916095327.GA51883@a550jk4200.localdomain> <87blvkts7b.fsf@member.fsf.org> <20190917042422.GA3145@a550jk4200.localdomain> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:48843) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iAAzR-00048K-Ix for help-guix@gnu.org; Tue, 17 Sep 2019 06:45:46 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iAAzQ-0003H9-Eg for help-guix@gnu.org; Tue, 17 Sep 2019 06:45:45 -0400 Received: from sender4-of-o53.zoho.com ([136.143.188.53]:21313) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1iAAzP-0003G5-Be for help-guix@gnu.org; Tue, 17 Sep 2019 06:45:44 -0400 In-reply-to: <20190917042422.GA3145@a550jk4200.localdomain> List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org Sender: "Help-Guix" To: =?utf-8?B?5YiY5Yqb6ZOt?= Cc: help-guix@gnu.org Hi, > Yes, you are right, ci.guix.gnu.org can serve as a substitute url even > ping it result in 100% package loss [=E2=80=A6] Yes, IMCP is blocked by the institute firewall, so you can=E2=80=99t ping t= he server. Thanks for letting us know that you had sucess in building the system! -- Ricardo