Test ran at 2025-02-20 01:12:25.524361+00:00

SOLUTION:
gnat_xtensa_esp32_elf=14.2.1: The GNAT Ada compiler - ESP32 cross-compiler
Provides: gnat=14.2.1
Origin: (case OS is Linux => (case Host_Arch is X86_64 => binary archive gnat-xtensa-esp32-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-xtensa-esp32-elf-linux64-x86_64-14.2.0-1.tar.gz), Macos => (case Host_Arch is Aarch64 => binary archive gnat-xtensa-esp32-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-xtensa-esp32-elf-darwin-aarch64-14.2.0-1.tar.gz, X86_64 => binary archive gnat-xtensa-esp32-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-xtensa-esp32-elf-darwin-x86_64-14.2.0-1.tar.gz), Windows => (case Host_Arch is X86_64 => binary archive gnat-xtensa-esp32-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-xtensa-esp32-elf-windows64-x86_64-14.2.0-1.tar.gz)) with hash sha256:f8471bd4ae554a1d86564c399cfd5482feb6ec7333ad8ba2dff5f62176a72aba
Properties:
   Auto_Gpr_With: auto-gpr-with=false
   Configuration: no modifiers
   Description: The GNAT Ada compiler - ESP32 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_xtensa_esp32_elf
   Version: 14.2.1


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

#=#=#                                                                          
##O#-#                                                                         
                                                                           0.0%
                                                                           0.0%
                                                                           0.0%
                                                                           0.0%
                                                                           0.0%
                                                                           0.0%
                                                                           0.0%
                                                                           0.0%
                                                                           0.0%
                                                                           0.1%
                                                                           0.1%
                                                                           0.1%
                                                                           0.1%
                                                                           0.1%
                                                                           0.1%
                                                                           0.1%
                                                                           0.1%
                                                                           0.1%
                                                                           0.1%
                                                                           0.1%
                                                                           0.1%
                                                                           0.2%
                                                                           0.2%
                                                                           0.2%
                                                                           0.2%
                                                                           0.2%
                                                                           0.2%
                                                                           0.2%
                                                                           0.2%
                                                                           0.2%
                                                                           0.2%
                                                                           0.2%
                                                                           0.2%
                                                                           0.3%
                                                                           0.3%
                                                                           0.3%
                                                                           0.3%
                                                                           0.3%
                                                                           0.3%
                                                                           0.3%
                                                                           0.3%
                                                                           0.3%
                                                                           0.3%
                                                                           0.3%
                                                                           0.3%
                                                                           0.4%
                                                                           0.4%
                                                                           0.4%
                                                                           0.4%
                                                                           0.4%
                                                                           0.4%
                                                                           0.4%
                                                                           0.4%
                                                                           0.5%
                                                                           0.5%
                                                                           0.5%
                                                                           0.5%
                                                                           0.5%
                                                                           0.5%
                                                                           0.5%
                                                                           0.5%
                                                                           0.5%
                                                                           0.6%
                                                                           0.6%
                                                                           0.6%
                                                                           0.6%
                                                                           0.6%
                                                                           0.6%
                                                                           0.6%
                                                                           0.7%
                                                                           0.7%
                                                                           0.7%
                                                                           0.7%
                                                                           0.7%
                                                                           0.7%
                                                                           0.7%
                                                                           0.8%
                                                                           0.8%
                                                                           0.8%
                                                                           0.8%
                                                                           0.8%
                                                                           0.8%
                                                                           0.9%
                                                                           0.9%
                                                                           0.9%
                                                                           0.9%
                                                                           0.9%
                                                                           0.9%
                                                                           1.0%
                                                                           1.0%
                                                                           1.0%
                                                                           1.0%
                                                                           1.1%
                                                                           1.1%
                                                                           1.1%
                                                                           1.1%
                                                                           1.1%
                                                                           1.1%
                                                                           1.1%
                                                                           1.2%
                                                                           1.2%
                                                                           1.2%
                                                                           1.2%
                                                                           1.2%
                                                                           1.2%
                                                                           1.3%
                                                                           1.3%
                                                                           1.3%
                                                                           1.3%
                                                                           1.4%
                                                                           1.4%
#                                                                          1.4%
#                                                                          1.5%
#                                                                          1.5%
#                                                                          1.5%
#                                                                          1.5%
#                                                                          1.6%
#                                                                          1.6%
#                                                                          1.7%
#                                                                          1.7%
#                                                                          1.7%
#                                                                          1.8%
#                                                                          1.8%
#                                                                          1.8%
#                                                                          1.8%
#                                                                          1.8%
#                                                                          1.9%
#                                                                          1.9%
#                                                                          1.9%
#                                                                          1.9%
#                                                                          1.9%
#                                                                          2.0%
#                                                                          2.0%
#                                                                          2.0%
#                                                                          2.1%
#                                                                          2.1%
#                                                                          2.1%
#                                                                          2.1%
#                                                                          2.1%
#                                                                          2.2%
#                                                                          2.2%
#                                                                          2.3%
#                                                                          2.3%
#                                                                          2.3%
#                                                                          2.3%
#                                                                          2.4%
#                                                                          2.4%
#                                                                          2.5%
#                                                                          2.6%
#                                                                          2.6%
#                                                                          2.7%
#                                                                          2.7%
#                                                                          2.7%
#                                                                          2.8%
##                                                                         2.8%
##                                                                         2.9%
##                                                                         2.9%
##                                                                         2.9%
##                                                                         2.9%
##                                                                         3.0%
##                                                                         3.0%
##                                                                         3.1%
##                                                                         3.1%
##                                                                         3.2%
##                                                                         3.2%
##                                                                         3.2%
##                                                                         3.3%
##                                                                         3.3%
##                                                                         3.4%
##                                                                         3.4%
##                                                                         3.5%
##                                                                         3.5%
##                                                                         3.5%
##                                                                         3.6%
##                                                                         3.7%
##                                                                         3.7%
##                                                                         3.8%
##                                                                         3.8%
##                                                                         3.9%
##                                                                         3.9%
##                                                                         3.9%
##                                                                         3.9%
##                                                                         4.0%
##                                                                         4.0%
##                                                                         4.1%
##                                                                         4.2%
###                                                                        4.2%
###                                                                        4.2%
###                                                                        4.3%
###                                                                        4.3%
###                                                                        4.4%
###                                                                        4.4%
###                                                                        4.5%
###                                                                        4.5%
###                                                                        4.5%
###                                                                        4.6%
###                                                                        4.6%
###                                                                        4.7%
###                                                                        4.8%
###                                                                        4.8%
###                                                                        4.8%
###                                                                        4.9%
###                                                                        5.4%
#####                                                                      7.2%
######                                                                     9.7%
#########                                                                 13.6%
##########                                                                15.1%
#############                                                             18.3%
#############                                                             19.3%
###############                                                           22.1%
#################                                                         24.1%
###################                                                       27.5%
####################                                                      28.9%
#####################                                                     30.3%
#######################                                                   32.6%
########################                                                  33.8%
###########################                                               37.7%
###########################                                               38.6%
#############################                                             41.6%
###############################                                           43.4%
#################################                                         46.9%
##################################                                        48.2%
#####################################                                     51.9%
######################################                                    53.0%
########################################                                  55.7%
#########################################                                 57.9%
############################################                              61.7%
#############################################                             63.3%
###############################################                           66.6%
################################################                          67.5%
##################################################                        70.5%
####################################################                      72.3%
#####################################################                     74.2%
#####################################################                     74.3%
######################################################                    76.2%
#######################################################                   77.1%
##########################################################                81.0%
###########################################################               82.0%
#############################################################             85.9%
##############################################################            86.8%
###############################################################           88.9%
#################################################################         90.8%
#################################################################         91.6%
##################################################################        92.1%
##################################################################        92.4%
##################################################################        92.5%
##################################################################        92.7%
##################################################################        92.8%
##################################################################        92.9%
##################################################################        93.0%
###################################################################       93.1%
###################################################################       93.2%
###################################################################       93.8%
###################################################################       94.2%
###################################################################       94.3%
###################################################################       94.4%
####################################################################      94.5%
####################################################################      94.6%
####################################################################      94.8%
####################################################################      94.8%
####################################################################      95.5%
####################################################################      95.6%
####################################################################      95.7%
#####################################################################     95.9%
#####################################################################     96.0%
#####################################################################     96.0%
#####################################################################     96.1%
#####################################################################     96.4%
######################################################################    98.5%
######################################################################## 100.0%

gnat_xtensa_esp32_elf=14.2.1 successfully retrieved.
There are no dependencies.