Differences
This shows you the differences between two versions of the page.
tools:gnat [2024/02/26 08:34] – created darron | tools:gnat [2024/02/26 08:35] (current) – darron | ||
---|---|---|---|
Line 2: | Line 2: | ||
< | < | ||
- | apt install gnat | + | apt install gnat ada-reference-manual-2012 |
</ | </ | ||