On Tue, Jan 12, 2021 at 03:21:14PM +0100, Julien Lepiller wrote: > Le Sun, 17 Mar 2019 14:53:56 +0100, > "pelzflorian (Florian Pelz)" <pelzflor...@pelzflorian.de> a écrit : > > Where the manual refers to the default substitute server > > https://ci.guix.info, the translated manuals wrongly use > > https://ci.guix.fr.info or similar. > > Since we don't use the guix.info domain anymore, this should not be an > issue anymore. I'm closing this issue, but feel free to re-open if you > think this is still an issue.
Thank you for closing! I didn’t even see the issue anymore at the one place where ci.guix.info was still used. Ce que montre cet exemple est que ‘kcoreaddons’ et probablement les 58 paquets qui en dépendent n’ont pas de substituts sur ‘ci.guix.info’ ; de même pour ‘qgpgme’ et les 46 paquets qui en dépendent. Anyway I changed that last occurrence of guix.info as 89dbcac107d931fd33eda4a83db445e8a90cc4af. Regards, Florian