我对编程还很陌生。
我正在尝试为我的 Vscode 安装编译器。我尝试使用 GNAT 但不知道如何安装它，所以我使用了 mingw64。
我按照在线文档进行操作，我想安装以下软件包：
pacman -S mingw-w64-gcc-ada mingw-w64-gprbuild mingw-w64-gdb（VScode文档请参考ADA & SPARK包）
我尝试在 MSYS2 命令提示符中运行此命令，但每次都会显示“错误：未找到目标”。
我遵循了 Stack Overflow 上其他线程上其他用户的建议，但我遇到了同样的错误。 例如，我尝试多次使用命令
pacman -Syupacman -Ss mingw-w64-gcc-ada有人能解答我的问题吗？提前谢谢你。
我多次尝试为 mingw 安装软件包，但总是遇到相同的错误：
error : target not found: [name of the package]如果您是 Ada 生态系统的新手，我建议您从 https://www.adacore.com/download
下载 GNAT 编译器版本目前官方推荐的方法是使用 Alire 包管理器。如果您习惯了包管理器，这也是一种用户友好的入门方式。