From 05cfbaad1ff20a1cef9454071e07ffaa17dea315 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 25 Aug 2015 23:28:31 +0200 Subject: [PATCH] * doc/org/install.org: Suggest using the stable packages with Ubuntu. --- doc/org/install.org | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/org/install.org b/doc/org/install.org index 90f484306..25ae8076d 100644 --- a/doc/org/install.org +++ b/doc/org/install.org @@ -82,7 +82,7 @@ examples). The packages containing the libraries (=libspot0=, =libbddx0=, =libspotltsmin0=) are automatically installed as dependencies of the previous packages. -These packages should work in a recent *Ubuntu* as well, provided you +The stable packages should work in a recent *Ubuntu* as well, provided you also add a path to a repository that distributes the GCC 4.9 runtime. You can do that for instance with: