Test ran at 2025-03-20 01:12:28.469897+00:00

SOLUTION:
gnat_riscv64_elf=14.2.1: The GNAT Ada compiler - RISC-V cross-compiler
Provides: gnat=14.2.1
Origin: (case OS is Linux => (case Host_Arch is X86_64 => binary archive gnat-riscv64-elf-linux64-x86_64-14.2.0-1.tar.gz at https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-14.2.0-1/gnat-riscv64-elf-linux64-x86_64-14.2.0-1.tar.gz), Macos => (case Host_Arch is Aarch64 => binary archive gnat-riscv64-elf-darwin-aarch64-14.2.0-1.tar.gz at https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-14.2.0-1/gnat-riscv64-elf-darwin-aarch64-14.2.0-1.tar.gz, X86_64 => binary archive gnat-riscv64-elf-darwin-x86_64-14.2.0-1.tar.gz at https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-14.2.0-1/gnat-riscv64-elf-darwin-x86_64-14.2.0-1.tar.gz), Windows => (case Host_Arch is X86_64 => binary archive gnat-riscv64-elf-windows64-x86_64-14.2.0-1.tar.gz at https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-14.2.0-1/gnat-riscv64-elf-windows64-x86_64-14.2.0-1.tar.gz)) with hash sha256:4f7383108b971801ece9f24efed02cd918202da22107739996843415ee72522b
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
   Maintainers_Logins: Fabien-Chouteau
   Name: gnat_riscv64_elf
   Version: 14.2.1


LOG:
Spawning: alr -d -n get gnat_riscv64_elf=14.2.1
Note: Deploying gnat_riscv64_elf=14.2.1...

#=#=#                                                                          
                                                                           0.0%
                                                                           1.2%
                                                                           1.2%
##                                                                         2.9%
###                                                                        4.5%
###                                                                        4.7%
####                                                                       5.8%
#####                                                                      7.5%
######                                                                     8.7%
#######                                                                   10.4%
########                                                                  11.6%
#########                                                                 13.5%
##########                                                                14.5%
##########                                                                15.0%
###########                                                               15.6%
###########                                                               16.3%
############                                                              17.2%
############                                                              17.6%
#############                                                             18.6%
#############                                                             18.6%
##############                                                            20.3%
################                                                          22.6%
################                                                          23.2%
#################                                                         24.7%
##################                                                        26.1%
####################                                                      28.4%
#####################                                                     30.1%
######################                                                    31.3%
#######################                                                   32.6%
########################                                                  34.2%
#########################                                                 34.8%
##########################                                                36.8%
###########################                                               37.7%
############################                                              39.5%
#############################                                             40.6%
##############################                                            42.4%
###############################                                           43.5%
################################                                          45.2%
################################                                          45.8%
#################################                                         46.4%
##################################                                        47.5%
##################################                                        47.5%
###################################                                       49.2%
###################################                                       49.8%
#####################################                                     51.7%
#####################################                                     52.2%
######################################                                    54.1%
#######################################                                   55.0%
#########################################                                 57.4%
##########################################                                58.6%
###########################################                               60.3%
###########################################                               60.8%
#############################################                             63.2%
##############################################                            64.1%
###############################################                           66.1%
###############################################                           66.6%
#################################################                         68.3%
##################################################                        69.5%
###################################################                       71.3%
####################################################                      72.4%
#####################################################                     74.7%
######################################################                    75.3%
#######################################################                   77.1%
########################################################                  78.2%
#########################################################                 79.3%
##########################################################                81.1%
###########################################################               82.2%
############################################################              83.5%
############################################################              84.0%
##############################################################            86.4%
##############################################################            86.9%
###############################################################           88.1%
################################################################          89.7%
#################################################################         91.0%
##################################################################        92.7%
##################################################################        92.8%
###################################################################       93.1%
###################################################################       93.9%
####################################################################      95.6%
######################################################################    97.5%
######################################################################    98.5%
######################################################################## 100.0%

gnat_riscv64_elf=14.2.1 successfully retrieved.
There are no dependencies.