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) | |
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 fde28b4a070..28b0a0d43eb 100644 --- a/doc/guix.texi +++ b/doc/guix.texi | |||
| @@ -8329,7 +8329,7 @@ More and more system services are provided (@pxref{Services}), but some | |||
| 8329 | may be missing. | 8329 | may be missing. |
| 8330 | 8330 | ||
| 8331 | @item | 8331 | @item |
| 8332 | More than 6,500 packages are available, but you might | 8332 | More than 7,500 packages are available, but you might |
| 8333 | occasionally find that a useful package is missing. | 8333 | occasionally find that a useful package is missing. |
| 8334 | 8334 | ||
| 8335 | @item | 8335 | @item |