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