Apply 1 suggestion(s) to 1 file(s)

Co-authored-by: Elie Richa <[email protected]>

Author: AnthonyLeonardoGracio

integration/vscode/ada/README.md

@@ -53,9 +53,8 @@ The Ada & SPARK tools are available to the community through different channels:
 
 * [ALIRE](https://alire.ada.dev/): The Ada LIbrary Repository provides the means to install compiler [toolchains](https://alire.ada.dev/docs/#toolchain-management).
 The `gnatprove` crate provides GNATprove.
-Both tools are available for Linux, Windows and macOS.
+Both tools are available for Linux, Windows and macOS (Intel and Apple silicon)
 * On Windows with [msys2](https://www.msys2.org/) you can install the `gcc` and `gprbuild` packages.
-* On macOS you can find GCC releases including GNAT for Intel and Apple silicon at [this project on GitHub](https://github.com/simonjwright/distributing-gcc/releases) courtesy of Simon Wright.
 
 ## Environment Setup