Error

two or more packages specified (gnat-12-riscv64-linux-gnu unknown)