On Sat, Dec 09, 2017 at 05:03:16PM +0000, ng0 wrote:
> Switch source to use the new location at gnu.org.
> This includes a tarball format change (tar.bz2 -> tar.xz),
> something that wasn't possible on our Drupal Site installation.
> Implicit: there's also a hash change.
> 
> Thanks to the team at GNU that handled this, although the
> procedure took quiet a long time to finish.
> -- 
> GnuPG: A88C8ADD129828D7EAC02E52E22F9BBFEE348588
> GnuPG: https://c.n0.is/ng0_pubkeys/tree/keys
>   WWW: https://n0.is

> From bfed8a4697de7c7c966c58e1dc7a9b5ccdcc40f3 Mon Sep 17 00:00:00 2001
> From: ng0 <ng0@n0.is>
> Date: Sat, 9 Dec 2017 16:53:50 +0000
> Subject: [PATCH] gnu: gnurl: Use new download URL.
> 
> * gnu/packages/gnunet.scm (gnurl)[source]: Use mirror://gnu.

Okay, pushed as d8c9be80794335285daa332f0a836bec6083eafc