On Mon, Jan 30, 2017 at 09:16:08PM +0100, Marius Bakke wrote: > > Oops, missed a little detail: > > Leo Famulari writes: > > (source (origin > > (method url-fetch) > > - (uri (string-append "http://www.tcpdump.org/release/tcpdump-" > > - version ".tar.gz")) > > + (uri > > + (list > > + (string-append "http://http.debian.net/debian/pool/main/t/" > > + name "/" name "_" version ".orig.tar.gz") > > + (string-append "http://www.tcpdump.org/release/tcpdump-" > > + version ".tar.gz"))) > > Perhaps a (file-name) field should be added here, since the two URLs > provide different file names? Thank you for the good suggestions and the quick review! Pushed as af7d72b16c7652e9ddc3c441017de5c9bb9205f2