From mboxrd@z Thu Jan 1 00:00:00 1970 From: Ricardo Wurmus Subject: Re: SourceForge URLs changed Date: Sun, 17 Jul 2016 23:40:24 +0200 Message-ID: <87eg6s0wqf.fsf@elephly.net> References: <87zipmmpgd.fsf@gnu.org> <20160716025800.GA17853@jasmine> <20160717205826.GA9798@jasmine> Mime-Version: 1.0 Content-Type: text/plain Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:52224) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bOtni-0005yU-VO for guix-devel@gnu.org; Sun, 17 Jul 2016 17:40:40 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bOtnh-0001av-1P for guix-devel@gnu.org; Sun, 17 Jul 2016 17:40:37 -0400 In-reply-to: <20160717205826.GA9798@jasmine> 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: Leo Famulari Cc: guix-devel Leo Famulari writes: > On Fri, Jul 15, 2016 at 10:58:00PM -0400, Leo Famulari wrote: >> I can begin updating the URLs. It will be a good chance to stretch my >> Guile a little bit. But, feel free to beat me to it :) > > There is just enough variety in the new URLs that I don't know how to > approach it programmatically. So, I'm doing it by hand, which is not > much fun. Please help :) I read claims on the #guix IRC channel that the URLs appear to change over time. Has this been confirmed yet? It would be sad if you or others waste time on changing the URLs only to have them change yet again. ~~ Ricardo