Test ran at 2025-07-27 13:11:11.819204+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:dde2bff7eb400798118341ac13b7975cddfe82408e6f519dbf632e4b40fa3bb9 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... #=#=# 0.0% # 1.7% ### 4.8% ##### 7.2% ####### 10.6% ######### 12.9% ########### 15.5% ############# 18.1% ############## 20.6% ################ 23.2% ################## 25.8% #################### 28.4% ###################### 30.9% ###################### 31.1% ####################### 32.2% ######################## 33.5% ######################## 33.8% ######################### 35.8% ########################### 38.7% ############################# 40.9% ############################### 43.4% ################################# 46.0% ################################### 49.0% ##################################### 51.7% ##################################### 52.6% ##################################### 52.7% ####################################### 55.2% ######################################### 57.8% ########################################### 60.3% ############################################ 62.3% ############################################# 62.9% ############################################# 63.3% ############################################### 65.5% ############################################### 65.5% ################################################ 67.1% ################################################ 67.7% ################################################## 69.6% ################################################## 70.7% ################################################## 70.7% ################################################### 71.7% ##################################################### 74.2% ###################################################### 76.0% ######################################################## 78.4% ########################################################### 82.1% ############################################################## 86.2% ############################################################## 86.2% ############################################################### 87.7% ################################################################ 90.3% ################################################################## 92.8% ################################################################### 93.4% ################################################################### 93.4% #################################################################### 95.4% ###################################################################### 98.4% ######################################################################## 100.0% gnat_riscv64_elf=15.1.2 successfully retrieved. There are no dependencies. [alr test] Test completed SUCCESSFULLY