diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-12-07 00:00:41 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-12-07 00:00:41 +0100 |
| commit | 3933905c5fdf1df0175a355f437c9e10c5d2226f (patch) | |
| tree | f408c66b01a393d8ee97fb6b34e3c40b5601f5a6 /doc/guix.texi | |
| parent | 69f867b18f42c5a5de26fa55acbe1091635073d7 (diff) | |
| parent | 178be030c0e4fdeac5e1c968b5c99d84bb4691db (diff) | |
| download | guix-3933905c5fdf1df0175a355f437c9e10c5d2226f.tar guix-3933905c5fdf1df0175a355f437c9e10c5d2226f.tar.gz | |
Merge branch 'version-0.16.0'
Diffstat (limited to 'doc/guix.texi')
| -rw-r--r-- | doc/guix.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index c138d43242..4ef2601579 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. -@set SUBSTITUTE-SERVER mirror.hydra.gnu.org +@set SUBSTITUTE-SERVER ci.guix.info @copying Copyright @copyright{} 2012, 2013, 2014, 2015, 2016, 2017, 2018 Ludovic Courtès@* @@ -9069,7 +9069,7 @@ More and more system services are provided (@pxref{Services}), but some may be missing. @item -More than 7,500 packages are available, but you might +More than 8,500 packages are available, but you might occasionally find that a useful package is missing. @item |