guix-devel
[Top][All Lists]
Advanced

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

Re: [PATCH 3/3] build: Default to https://ci.guix.info for substitutes.


From: Ricardo Wurmus
Subject: Re: [PATCH 3/3] build: Default to https://ci.guix.info for substitutes.
Date: Mon, 03 Dec 2018 21:38:36 +0100
User-agent: mu4e 1.0; emacs 26.1

Ludovic Courtès <address@hidden> writes:

> * doc/guix.texi (SUBSTITUTE-SERVER): Switch to ci.guix.info.
[…]
> diff --git a/doc/guix.texi b/doc/guix.texi
> index d96c35eace..a5ae1c65e6 100644
> --- a/doc/guix.texi
> +++ b/doc/guix.texi
> @@ -14,7 +14,7 @@
>  @set KEY-SERVER pool.sks-keyservers.net
>  
>  @c The official substitute server used by default.
> address@hidden SUBSTITUTE-SERVER ci.guix.info
> address@hidden SUBSTITUTE-SERVER mirror.hydra.gnu.org

Is this really correct?

-- 
Ricardo




reply via email to

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