diff options
author | Ludovic Courtès <ludo@gnu.org> | 2018-07-05 11:54:23 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2018-07-05 11:54:23 +0200 |
commit | 63899cc7745e9a856c21c4d2c5d2ca7ab38b2d9f (patch) | |
tree | 21d5bf0c64754cb3423622cca8ebed95d9c6fc27 | |
parent | 900e6d40518d9b47e5d18cc532ce29a9c352c12d (diff) | |
download | patches-63899cc7745e9a856c21c4d2c5d2ca7ab38b2d9f.tar patches-63899cc7745e9a856c21c4d2c5d2ca7ab38b2d9f.tar.gz |
doc: Update package count.
* doc/guix.texi (Limitations): Update number.
-rw-r--r-- | doc/guix.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index fde28b4a07..28b0a0d43e 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -8329,7 +8329,7 @@ More and more system services are provided (@pxref{Services}), but some may be missing. @item -More than 6,500 packages are available, but you might +More than 7,500 packages are available, but you might occasionally find that a useful package is missing. @item |