diff --git a/v5/getting-started/linux.rst b/v5/getting-started/linux.rst
index 4a0fda44..24b156f7 100644
--- a/v5/getting-started/linux.rst
+++ b/v5/getting-started/linux.rst
@@ -26,12 +26,9 @@ available, or if you prefer to install things manually, follow the instructions
 below.
 
 .. note::
-    For users of Debian-based distributions, be aware that the toolchain available
-    through Apt is out of date and likely will not work for PROS projects. For
-    Ubuntu users, you may see references online to a PPA by team-gcc-arm-embedded,
-    but that PPA does not seem to be updated any more. Therefore, if you are
-    using a Debian-based distribution or Ubuntu, please follow the instructions
-    below.
+    If you are using a Debian-based distribution or Ubuntu, the toolchain can be
+    installed through apt in package :code:`gcc-arm-none-eabi`. To install manually,
+    follow the instructions below.
 
 1. Download the latest version of the toolchain from `the Arm developer site <https://developer.arm.com/tools-and-software/open-source-software/developer-tools/gnu-toolchain/gnu-rm/downloads>`_.
    We recommend the "Linux x86_64" release. In the rare event that you are