Test ran at 2025-07-17 12:49:40.845994+00:00 SOLUTION: gnat_riscv64_elf=15.1.2: The GNAT Ada compiler - RISC-V cross-compiler Provides: gnat=15.1.2 Origin: (case OS is Linux => (case Host_Arch is Aarch64 => binary archive gnat-riscv64-elf-linux64-aarch64-15.1.0-2.tar.gz at https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-15.1.0-2/gnat-riscv64-elf-linux64-aarch64-15.1.0-2.tar.gz, X86_64 => binary archive gnat-riscv64-elf-linux64-x86_64-15.1.0-2.tar.gz at https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-15.1.0-2/gnat-riscv64-elf-linux64-x86_64-15.1.0-2.tar.gz), Macos => (case Host_Arch is Aarch64 => binary archive gnat-riscv64-elf-darwin-aarch64-15.1.0-2.tar.gz at https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-15.1.0-2/gnat-riscv64-elf-darwin-aarch64-15.1.0-2.tar.gz, X86_64 => binary archive gnat-riscv64-elf-darwin-x86_64-15.1.0-2.tar.gz at https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-15.1.0-2/gnat-riscv64-elf-darwin-x86_64-15.1.0-2.tar.gz), Windows => (case Host_Arch is X86_64 => binary archive gnat-riscv64-elf-windows64-x86_64-15.1.0-2.tar.gz at https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-15.1.0-2/gnat-riscv64-elf-windows64-x86_64-15.1.0-2.tar.gz)) with hash sha256:3f5200a51394bb008653a64bd262662143783c8c4ad6a44e3d811496e0dc7cfc Properties: Auto_Gpr_With: auto-gpr-with=false Configuration: no modifiers Description: The GNAT Ada compiler - RISC-V cross-compiler Environment: PATH=${CRATE_ROOT}/bin:${PATH} License: GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1 Maintainer: chouteau@adacore.com Maintainer: sagaert@adacore.com Maintainers_Logins: Fabien-Chouteau Maintainers_Logins: AldanTanneo Name: gnat_riscv64_elf Version: 15.1.2 Website: https://github.com/alire-project/GNAT-FSF-builds LOG: [alr test] Testing gnat_riscv64_elf=15.1.2 [alr test] Spawning retrieval for remote crate: alr -d -n get gnat_riscv64_elf=15.1.2 Note: Deploying gnat_riscv64_elf=15.1.2... #=#=# ##O#-# 0.0% # 1.5% #### 5.7% ###### 9.0% ######### 12.7% ############# 18.1% ################ 22.6% ################## 25.6% ##################### 29.8% ######################### 34.9% ############################ 39.0% ################################ 45.2% #################################### 50.2% ####################################### 55.2% ########################################### 60.9% ############################################### 66.2% #################################################### 72.4% ######################################################## 78.0% ########################################################### 82.6% ############################################################### 88.9% ################################################################### 93.7% ####################################################################### 99.3% ######################################################################## 100.0% gnat_riscv64_elf=15.1.2 successfully retrieved. There are no dependencies. [alr test] Test completed SUCCESSFULLY