Test ran at 2025-07-16 13:10:41.915741+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... #=#=# ##O#-# 0.0% # 2.1% ## 3.6% ## 3.6% ### 5.2% ##### 7.0% ##### 7.7% ###### 9.7% ####### 10.3% ######## 12.1% ########## 13.9% ########### 15.5% ########### 15.6% ########### 16.0% ############ 17.5% ############# 18.5% ############# 19.1% ############# 19.1% ############## 20.6% ################ 22.7% ################# 23.9% ################## 25.8% #################### 27.9% #################### 29.0% ###################### 30.9% ####################### 32.5% ######################## 33.5% ######################## 34.6% ######################## 34.6% ######################### 36.1% ########################### 38.1% ############################ 38.9% ############################ 39.7% ############################ 39.7% ############################# 41.3% ############################### 43.3% ################################ 44.9% ################################# 46.4% ################################## 48.4% ################################### 49.3% #################################### 51.3% ##################################### 52.6% ####################################### 54.2% ######################################## 56.2% ######################################## 56.8% ########################################## 58.8% ########################################### 60.4% ############################################ 61.9% ############################################## 64.0% ############################################## 65.1% ################################################ 67.0% ################################################# 69.1% ################################################## 70.7% ################################################## 70.7% ################################################### 72.2% ##################################################### 74.3% ###################################################### 75.4% ####################################################### 76.9% ######################################################## 77.9% ######################################################### 79.9% ########################################################## 81.0% ########################################################## 81.0% ########################################################### 82.5% ############################################################ 84.6% ############################################################## 86.1% ############################################################### 87.7% ################################################################ 89.6% ################################################################# 90.3% ################################################################## 92.3% ################################################################### 93.9% #################################################################### 95.4% ##################################################################### 96.4% ###################################################################### 97.5% ####################################################################### 99.0% ######################################################################## 100.0% gnat_riscv64_elf=15.1.2 successfully retrieved. There are no dependencies. [alr test] Test completed SUCCESSFULLY