guix-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH 02/12] guix: Add a "pypi-uri" helper method.


From: Cyril Roelandt
Subject: Re: [PATCH 02/12] guix: Add a "pypi-uri" helper method.
Date: Wed, 14 Oct 2015 01:14:17 +0200
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Icedove/38.2.0

On 10/13/2015 03:51 PM, Thompson, David wrote:
> Yeah, get rid of the mirror thing and this patch looks good to me.

Yeah, will do. I thought we might add mirrors, but apparently there are
no official mirrors any more, so...

Cyril.



reply via email to

[Prev in Thread] Current Thread [Next in Thread]