Test ran at 2025-02-13 01:25:35.383002+00:00

SOLUTION:
gnatprove=14.1.1: Automatic formal verification of SPARK code
Origin: (case OS is Linux => (case Host_Arch is X86_64 => binary archive gnatprove-x86_64-linux-14.1.0-1.tar.gz at https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-14.1.0-1/gnatprove-x86_64-linux-14.1.0-1.tar.gz), Macos => (case Host_Arch is Aarch64 => binary archive gnatprove-aarch64-darwin-14.1.0-1.tar.gz at https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-14.1.0-1/gnatprove-aarch64-darwin-14.1.0-1.tar.gz, X86_64 => binary archive gnatprove-x86_64-darwin-14.1.0-1.tar.gz at https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-14.1.0-1/gnatprove-x86_64-darwin-14.1.0-1.tar.gz), Windows => (case Host_Arch is X86_64 => binary archive gnatprove-x86_64-windows64-14.1.0-1.tar.gz at https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-14.1.0-1/gnatprove-x86_64-windows64-14.1.0-1.tar.gz)) with hash sha256:f6ca6f8c214802b301cc7d9723f73fd088e26c4f0d80c7126993f27bf80494d4
Properties:
   Auto_Gpr_With: auto-gpr-with=false
   Configuration: no modifiers
   Description: Automatic formal verification of SPARK code
   Environment: GPR_PROJECT_PATH=${CRATE_ROOT}/lib/gnat:${GPR_PROJECT_PATH}
   Environment: PATH=${CRATE_ROOT}/bin:${PATH}
   License: GPL-3.0-or-later
   Maintainer: chouteau@adacore.com
   Maintainers_Logins: Fabien-Chouteau
   Name: gnatprove
   Version: 14.1.1


LOG:
Spawning: alr -d -n get gnatprove=14.1.1
Note: Deploying gnatprove=14.1.1...
#=#=#                                                                          

#                                                                          1.4%
##                                                                         3.3%
#####                                                                      8.3%
#########                                                                 12.7%
##########                                                                15.3%
###########                                                               16.0%
############                                                              17.7%
##############                                                            20.7%
################                                                          22.9%
##################                                                        25.4%
####################                                                      28.1%
######################                                                    31.4%
#########################                                                 36.0%
#############################                                             40.6%
###############################                                           43.9%
################################                                          45.6%
###################################                                       48.7%
###################################                                       49.9%
#####################################                                     51.9%
#########################################                                 58.3%
###########################################                               60.3%
#############################################                             62.7%
################################################                          68.0%
###################################################                       72.0%
#####################################################                     75.0%
#########################################################                 80.5%
############################################################              84.4%
###############################################################           88.0%
################################################################          89.6%
#################################################################         91.1%
###################################################################       93.6%
####################################################################      95.1%
#####################################################################     97.1%
#######################################################################   98.7%
#######################################################################   99.6%
######################################################################## 100.0%

gnatprove=14.1.1 successfully retrieved.
There are no dependencies.