From mboxrd@z Thu Jan 1 00:00:00 1970 From: John Soo Subject: libelf uri broken? Date: Sat, 25 May 2019 17:58:41 -0700 Message-ID: Mime-Version: 1.0 (1.0) Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([209.51.188.92]:50727) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hUhVX-0007GH-31 for guix-devel@gnu.org; Sat, 25 May 2019 20:59:27 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hUhUt-0007Mu-6B for guix-devel@gnu.org; Sat, 25 May 2019 20:58:47 -0400 Received: from mail-pf1-x432.google.com ([2607:f8b0:4864:20::432]:45928) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1hUhUs-0007MP-RN for guix-devel@gnu.org; Sat, 25 May 2019 20:58:47 -0400 Received: by mail-pf1-x432.google.com with SMTP id s11so7480821pfm.12 for ; Sat, 25 May 2019 17:58:46 -0700 (PDT) Received: from ?IPv6:2600:1700:83b0:8bd0:99f7:5cc3:b59d:b8bc? ([2600:1700:83b0:8bd0:99f7:5cc3:b59d:b8bc]) by smtp.gmail.com with ESMTPSA id f28sm7419562pfk.104.2019.05.25.17.58.44 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sat, 25 May 2019 17:58:44 -0700 (PDT) List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: guix-devel@gnu.org Hi guix, I was wondering if the url we use for the origin of libelf is still valid. I= tried curl and it redirected to an unresolved address. Looks like we have s= ome substitutes on hydra, so it wasn=E2=80=99t such a problem. Just checking= .=20 - John=