$pacman -S mingw64/mingw-w64-x86_64-gcc-ada 8.2.0-3 $pacman -S mingw64/mingw-w64-x86_64-gprbuild-bootstrap-git